Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Sigma KEE - PropositionalAttitude
KB Term: 
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
PropositionalAttitude
The Class of IntentionalRelations where the AutonomousAgent has awareness of a Proposition.
Relationships      
Parents AsymmetricRelation A BinaryRelation is asymmetric if and only if it is both an AntisymmetricRelation and an IrreflexiveRelation.
  InheritableRelation The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
  IntentionalRelation The Class of Relations between an AutonomousAgent and one or more Entities, where the Relation requires that the AutonomousAgent have awareness of the Entity.
InstancesbelievesThe epistemic predicate of belief. (believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA.
 considers(considers ?AGENT ?FORMULA) means that ?AGENT considers or wonders about the truth of the proposition expressed by ?FORMULA.
 desires(desires ?AGENT ?FORMULA) means that ?AGENT wants to bring about the state of affairs expressed by ?FORMULA. Note that there is no implication that what is desired by the agent is not already true. Note too that desires is distinguished from wants only in that the former is a PropositionalAttitude, while wants is an ObjectAttitude.
 disapproves(disapproves ?AGENT ?FORMULA) means that ?AGENT has a feeling of antipathy to the state of affairs represented by ?FORMULA, i.e. ?AGENT believes that the realization of ?FORMULA will thwart one of his/her goals. Note that there is no implication that what is disapproved of by an agent is not already true.
 doubts(doubts ?AGENT ?FORMULA) means that ?AGENT is unsure about the truth of ?FORMULA, in particular ?AGENT does not believe that ?FORMULA is true.
 knowsThe epistemic predicate of knowing. (knows ?AGENT ?FORMULA) means that ?AGENT knows the proposition expressed by ?FORMULA. Note that knows entails conscious awareness, so this Predicate cannot be used to express tacit or subconscious or unconscious knowledge.
 saysA basic predicate of Communicating that also entails that the agent is aware of the Formula he or she is communicating. This excludes talking in one's sleep, brain stimulation that causes an utterance, or unconscious parroting of some word or phrase. This can also include writing or gesturing.


Show simplified definition with tree view
Show full definition (without tree view)
Show full 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