Formalized Common Knowledge
|
Formalized Common Knowledge |
 |
||||||||||
|
Paste the following into a Compose window in your KB Browser and evaluate it before attempting to use the planner.
Default Mt: UniversalVocabularyMt.
Constant: SituationPredicate.
isa: PredicateCategory.
genls: Predicate.
comment: "#$SituationPredicate is a collection of predicates that are used to make assertions about situations (dynamic or static occurrences, e.g. \"walking\", or \"containing something\") without reifying the situation. The representation of situations in terms of #$SituationPredicates is an alternative to the Davidsonian-style representation of situations in which the \"participants\" in a situation are related to the reified individual situation (an instance of #$Situation) in which they participate (for representational approach, see #$Role). The arguments to an instance of #$SituationPredicate will be the participants in the situation, and the actual occurrence is not explicitly mentioned. For situations which are dynamic (involving a change in the world, even if only temporary), see the more specific #$EventPredicate, or in the case where there is an agentive force acting intentionally, #$ActionPredicate.".
Default Mt: BaseKB.
definingMt: SituationPredicateRepresentationMt.
;;***********************************
Default Mt: UniversalVocabularyMt.
Constant: SimpleSituationPredicate.
isa: PredicateCategory.
genls: SituationPredicate.
comment: "A specialization of #$SituationPredicate (q.v.). Each instance of #$SimpleSituationPredicate is such that a task specification formed with it does not decompose into further situations, in contrast to specifications formed with instances of #$DecomposableSituationPredicate (q.v.). Note that whether a predicate is an instance of #$SimpleSituationPredicate or #$DecomposableSituationPredicate depends on context.".
F: (genls SimpleActionPredicate SimpleSituationPredicate).
;;***********************************
Default Mt: UniversalVocabularyMt.
Constant: DecomposableSituationPredicate.
isa: PredicateCategory Collection.
genls: SituationPredicate.
comment: "A specialization of #$SituationPredicate (q.v.). Each instance of #$DecomposableSituationPredicate is such that a task specification formed with it may decompose into further situations, in contrast to task specifications formed with instances of #$SimpleSituationPredicate (q.v.). Note that whether a predicate is an instance of #$SimpleSituationPredicate or #$DecomposableSituationPredicate depends on context.".
F: (genls ComplexActionPredicate DecomposableSituationPredicate).
Default Mt: EnglishMt.
F: (#$multiWordString
("decomposable" "situation") #$Predicate-TheWord #$CountNoun #$DecomposableSituationPredicate).
|
