Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| trusts |
| appearance as argument number 1 |
|
| (instance trusts TernaryPredicate) | Law.kif 336-336 | trusts is an instance of ternary predicate |
| (domain trusts 1 AutonomousAgent) | Law.kif 337-337 | The number 1 argument of trusts is an instance of agent |
| (domain trusts 2 AutonomousAgent) | Law.kif 338-338 | The number 2 argument of trusts is an instance of agent |
| (domainSubclass trusts 3 IntentionalProcess) | Law.kif 339-339 | The number 3 argument of trusts is a subclass of intentional process |
| (documentation trusts EnglishLanguage "A Relation between two Agents and a class of Processes where the first agent believes that the second agent will do what he says, at least with respect to that kind of action.") | Law.kif 343-345 | The number 3 argument of trusts is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage trusts "trusts") | Law.kif 340-340 | |
| (format EnglishLanguage trusts " %1 trusts %2 will do %3") | Law.kif 341-341 |
| antecedent |
|
|
| (=> (trusts ?A1 ?A2 ?P) (not (distrusts ?A1 ?A2 ?P))) |
Law.kif 360-363 | If X trusts Y will do Z, then X distrusts Y will do Z |
| (=> (trusts ?A1 ?A2 (KappaFn ?P (capability ?P agent ?A2))) (knows ?A1 (capability ?P agent ?A2))) |
Law.kif 365-370 | If X trusts Y will do the class described by Z, then X knows Y is capable of doing Z as a agent |
| (=> (trusts ?A1 ?A2 ?P) (believes ?A1 (modalAttribute (exists (?PI) (and (instance ?PI ?P) (agent ?PI ?A2))) Possibility))) |
Law.kif 372-380 | If X trusts Y will do Z, then X believes the statement there exists W such that W is an instance of Z and Y is an agent of W has the modal force of possibility |
| (=> (trusts ?A1 ?A2 ?P) (believes ?A1 (=> (and (instance ?S Stating) (containsFormula ?S (and (instance ?PI ?P) (agent ?PI ?A2)))) (modalAttribute (and (instance ?PI ?P) (agent ?PI ?A2)) Likely)))) |
Law.kif 382-396 | If X trusts Y will do Z, then X believes W is an instance of stating, W contains the formula V is an instance of Z, Y is an agent of Vthe statement V is an instance of Z, and Y is an agent of V has the modal force of likely |
| consequent |
|
|
| (=> (distrusts ?A1 ?A2 ?P) (not (trusts ?A1 ?A2 ?P))) |
Law.kif 398-401 | If X distrusts Y will do Z, then X trusts Y will do Z |
|