Next: Plans and plan
Up: The domain description
Previous: The axiom set
comprises two subsections.
The first subsection introduces the objects of the domain and their
types. This is defined with terms of the form:
t(o)
where t is a type symbol and o is an object symbol. The second
subsection introduces the state of the initial situation. This is
defined with terms of the following two forms:
intially(f1)
intially_unknown(f2)
where f1 and f2 are ground fluents (i.e. fluents
with no variables). The intended meaning of these terms are: In the
initial situation f1 is true and f2 is unknown. If a ground
fluent f is not mentioned in any of the initial terms it is assumed
false in the initial situation.
Next: Plans and plan
Up: The domain description
Previous: The axiom set
www-admin@icot.or.jp