A special kind of predicate relation: fluent defines
conditions.
Fluent arguments are a vector of propositions that may
or may not be true in
a state where
States are a special class with
a successor function <.
and each proposition
takes three arguments: a property, an object, and
a value.
Example:
Colored({ (Color(My-House, Blue)}) may
be true in St0
when
the Color of My-House is Blue in
that state,
whatever that has been defined to mean in the world model.
The properties of the condition fluent(properties) can be
nicely represented as RDF triples, or also with the
expression Propi = p(o):=v where
condition
C=F(Propi)→.
Let Pp, Ep represent the union of the properties
of each set of conditions. For example,
Pp = ∪ Propij,
