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.
|
Instances | believes | The 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. |
| knows | The 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. |
| says | A 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. |