An ontological account of action in processes and plans

This paper formalises the constraints governing the relationship between actions and their preconditions and effects in processes and plans. By providing axiomatisations and a model theory, we establish a sound basis for both deductive and constraint satisfaction-based reasoning. The constraints we present are expressed in a common ontology of classes and relations that is the basis of process and plan representations.