AKT EPrint Archive

An ontological account of action in processes and plans

Aitken, Stuart (2005) An ontological account of action in processes and plans. Knowledge-Based Systems Journal 18(6):pp. 295-305.

This document is not available online.

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.

ID Code:460
Deposited By:Aitken, Dr S
Deposited On:23 March 2006
Alternative Locations:http://dx.doi.org/doi:10.1016/j.knosys.2005.04.001

Contact the site administrator at: hg@ecs.soton.ac.uk