trusts - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - trusts

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 368-370
(domain trusts 1 AutonomousAgent)	Law.kif 362-362	The number 1 argument of trusts is an instance of agent
(domain trusts 2 AutonomousAgent)	Law.kif 363-363	The number 2 argument of trusts is an instance of agent
(domainSubclass trusts 3 IntentionalProcess)	Law.kif 364-364	The number 3 argument of trusts is a subclass of intentional process
(instance trusts TernaryPredicate)	Law.kif 361-361	trusts is an instance of ternary predicate

appearance as argument number 2

(format EnglishLanguage trusts " %1 trusts %2 will do %3")	Law.kif 366-366
(termFormat EnglishLanguage trusts "trusts")	Law.kif 365-365

antecedent

(=> (trusts ?A1 ?A2 (capability ?P agent ?A2)) (knows ?A1 (capability ?P agent ?A2)))	Law.kif 390-394	If a cognitive agent trusts an agent will do the agent is capable of doing an entity as a agent, then the cognitive agent knows the agent is capable of doing the entity as a agent
(=> (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 406-421	If a cognitive agent trusts an agent will do a kind of intentional process, then the cognitive agent believes if there exist an entity, a kind of intentional processI and the kind of intentional process such that the entity is an instance of stating and the entity contains the formula the kind of intentional processI is an instance of the kind of intentional process and the agent is an agent of the kind of intentional processI, then the statement the kind of intentional processI is an instance of the kind of intentional process and the agent is an agent of the kind of intentional processI has the modal force of likely
(=> (trusts ?A1 ?A2 ?P) (believes ?A1 (modalAttribute (exists (?PI) (and (instance ?PI ?P) (agent ?PI ?A2))) Possibility)))	Law.kif 396-404	If a cognitive agent trusts an agent will do a kind of intentional process, then the cognitive agent believes the statement there exists a kind of intentional processI such that the kind of intentional processI is an instance of the kind of intentional process and the agent is an agent of the kind of intentional processI has the modal force of possibility
(=> (trusts ?A1 ?A2 ?P) (not (distrusts ?A1 ?A2 ?P)))	Law.kif 385-388	If an agent trusts another agent will do a kind of intentional process, then not the agent distrusts the other agent will do a kind of intentional process

consequent

(=>
    (distrusts ?A1 ?A2 ?P)
    (not
        (trusts ?A1 ?A2 ?P)))

Law.kif 423-426

If an agent distrusts another agent will do a kind of intentional process,
then not the agent trusts the other agent will do a kind of intentional process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners