Next: The axiom set
Up: The domain description
Previous: The type declaration
is a collection of
deterministic and non-deterministic effect propositions and action
laws plus a set of action executavility conditions.
· A deterministic effect proposition is an expression of the form:
causes(A,F,[P1 ,..., Pn])
where A is a non-sensing action, and F and each of the P1 is a
fluent literal. A fluent literal is either a fluent f or its
negation denoted by neg(f). The intuitive reading of this
proposition is: the execution of A in a situation where
P1 ,..., Pn are true causes F to be true.
· A non-deterministic effect proposition is an expression of the form:
affects(A,F,[P1 ,..., Pn])
where A is a non-sensing action, F is a fluent and each of the
P1 is a fluent literal. The intuitive reading of this proposition
is: the execution of A in a situation where P1 ,..., Pn are
true causes F to be unknown.
· A knowledge law is an expression of the form:
causes_to_know(A,F,[P1 ,..., Pn])
where A is a sensing action, F is a fluent and each of the
P1 is a fluent literal. The intuitive reading of this
proposition is: the execution of A in a situation where
P1 ,..., Pn are true causes the value of F to be known.
· Executavility conditions impose restrictions
on the situations where an action can be executed. For a non-sensing
action A, its
executavility conditions are described with propositions of the form:
possible(A,[P1 ,..., Pn])
where each P1 is a fluent literal. This intuitively says that A
is executable in a state where P1 ,..., Pn are true. For
a sensing action A the executavility conditions are expressions of the form:
sensing_possible(A,[P1 ,..., Pn])
with similar meaning than the executavility conditions of non-sensing
actions.
Next: The axiom set
Up: The domain description
Previous: The type declaration
www-admin@icot.or.jp