Next: The initial situation
Up: The domain description
Previous: The action proposition
is a collection of terms of the form:
axiom(F1 , F2)
where F1 and F2 are fluent literals. The intuitive meaning of
this axiom is that in any state where F1 is true then F2 most be
true too. The use of axioms is very limited at this point in the
planner. It is assumed that the ramification effects of axioms are
one step only. That is, there cannot be two ground instances (i.e.
replacement of variables with object symbols) of axioms such that the
ground axioms are of the form axiom(f1 , f2) and axiom(f2 , f3).
Next: The initial situation
Up: The domain description
Previous: The action proposition
www-admin@icot.or.jp