Reasoning about actions: Non-deterministic effects, Constraints,
In this paper we consider several aspects of reasoning about
actions: effects (direct, indirect, nondeterministic) of actions,
qualification and executability of actions, constraints and
their manifestations as ramifications and/or qualification,
and propose a language that facilitates representing and reasoning
about all of the above in a uniform manner.
This language allows us to be able to express effects of action
and constraints with same first order representation but different
intuitive behavior to be specified differently.
We then discuss how we can use state specifications
to extend the action description languages $\cala$ and $\call$.