trusts |
appearance as argument number 1 |
(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 362-364 | |
(domain trusts 1 AutonomousAgent) | Law.kif 356-356 | |
(domain trusts 2 AutonomousAgent) | Law.kif 357-357 | |
(domainSubclass trusts 3 IntentionalProcess) | Law.kif 358-358 | |
(instance trusts TernaryPredicate) | Law.kif 355-355 |
appearance as argument number 2 |
(format EnglishLanguage trusts " %1 trusts %2") | Law.kif 360-360 | |
(termFormat EnglishLanguage trusts "trusts") | Law.kif 359-359 |
antecedent |
(=> (trusts ?A1 ?A2 (capability ?P agent ?A2)) (knows ?A1 (capability ?P agent ?A2))) |
Law.kif 384-388 | |
(=> (trusts ?A1 ?A2 ?P) (believes ?A1 (=> (exists (?S ?PI ?P) (and (instance ?S Stating) (containsFormula ?S (and (instance ?PI ?P) (agent ?PI ?A2))))) (modalAttribute (and (instance ?PI ?P) (agent ?PI ?A2)) Likely)))) |
Law.kif 400-415 | |
(=> (trusts ?A1 ?A2 ?P) (believes ?A1 (modalAttribute (exists (?PI) (and (instance ?PI ?P) (agent ?PI ?A2))) Possibility))) |
Law.kif 390-398 | |
(=> (trusts ?A1 ?A2 ?P) (not (distrusts ?A1 ?A2 ?P))) |
Law.kif 379-382 |
consequent |
(=> (distrusts ?A1 ?A2 ?P) (not (trusts ?A1 ?A2 ?P))) |
Law.kif 417-420 |