Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ChangingPassword(change password) |
| appearance as argument number 1 |
|
| (subclass ChangingPassword UserDirectAction) | ComputingBrands.kif 3980-3980 | Change password is a subclass of user direct action |
| (documentation ChangingPassword EnglishLanguage "The Process of changing the password associated with a particular UserAccount.") | ComputingBrands.kif 3981-3982 | Change password is a subclass of user direct action |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ChangingPassword "change password") | ComputingBrands.kif 3983-3983 |
| antecedent |
|
|
| (=> (and (instance ?CP ChangingPassword) (agent ?CP ?A) (hasAccount ?A ?UA) (password ?P1 ?UA)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?P2) (and (instance ?P2 ComputerPassword) (not (equal ?P2 ?P1)) (password ?P2 ?UA))))) |
ComputingBrands.kif 3985-3998 | If X is an instance of change password, Y is an agent of X, Y has account Z, and Z has password W, then there exists V such that V is an instance of computer password, equal V, W, and Z has password V holds during immediately after the time of existence of X |
| consequent |
|
|
| (=> (and (hasAccount ?U ?AC) (password ?P ?AC) (deviceAccount ?AC ?D) (not (knows ?U (password ?P ?AC))) (knows ?U (recoveryKey ?S ?AC)) (possesses ?U ?D)) (modalAttribute (exists (?C) (and (instance ?C ChangingPassword) (patient ?C ?AC) (agent ?C ?U))) Possibility)) |
ComputingBrands.kif 4333-4350 | If All of the following hold: (1) X has account Y (2) Y has password Z (3) device account Y and W (4) X doesn't know Y has password Z (5) X knows the account Y has recovery key V (6) X possesses W, then the statement there exists U such that U is an instance of change password, Y is a patient of U, and X is an agent of U has the modal force of possibility |
|