Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FailureFn |
| appearance as argument number 1 |
|
| (instance FailureFn UnaryFunction) | ComputingBrands.kif 4420-4420 | Failure fn is an instance of unary function |
| (documentation FailureFn EnglishLanguage "A Function that takes a class of actions and returns a class of actions where the agent desires to be the agent of the Process of a given type, but fails to execute the process.") | ComputingBrands.kif 4421-4424 | Failure fn is an instance of unary function |
| (domainSubclass FailureFn 1 IntentionalProcess) | ComputingBrands.kif 4425-4425 | The number 1 argument of failure fn is a subclass of intentional process |
| (rangeSubclass FailureFn Process) | ComputingBrands.kif 4426-4426 | The values returned by failure fn are subclasses of process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FailureFn "failure fn") | domainEnglishFormat.kif 64850-64850 |
| antecedent |
|
|
| (=> (and (instance ?F (FailureFn ?C)) (agent ?F ?A)) (and (desires ?A (exists (?I) (and (instance ?I ?C) (agent ?I ?A)))) (not (exists (?I) (and (instance ?I ?C) (during (WhenFn ?I) (WhenFn ?F)) (agent ?I ?A)))))) |
ComputingBrands.kif 4428-4443 | If X is an instance of failure fn Y and Z is an agent of X, then Z desires there exists W such that W is an instance of Y and Z is an agent of W and there doesn't exist W such that W is an instance of Y, the time of existence of W takes place during the time of existence of X, and Z is an agent of W |
| statement |
|
|
| (equal AccountCreationRejected (FailureFn CreatingAnAccount)) |
ComputingBrands.kif 4445-4445 | equal account creation rejected and failure fn creating an account |
|