AKT EPrint Archive

An Ontological Formalization of the Planning Task

Rajpathak, Dr Dnyanesh and Motta, Prof Enrico (2004) An Ontological Formalization of the Planning Task . In Varzi, Dr Achille and Vieu, Dr Laure, Eds. Proceedings International Conference on Formal Ontologies in Information Systems (FOIS'04), pages pp. 305-316, Torino, Italy.

Full text available as:

PDF - Requires Adobe Acrobat Reader or other PDF viewer.

In this paper we propose a generic task ontology, which formalizes the space of planning problems. Although planning is one of the oldest researched areas in Artificial Intelligence and attempts have been made in the past at developing task ontologies for planning, these formalizations suffer from serious limitations: they do not exhibit the required level of formalization and precision and they usually fail to include some of the key concepts required for specifying planning problems. In con-trast with earlier proposals, our task ontology formalizes the nature of the planning task independently of any planning paradigm, specific domains, or applications and provides a fine-grained, precise and comprehensive characterization of the space of planning problems. Finally, in addition to producing a formal specification we have also operationalized the ontology into a set of executable definitions, which provide a concrete reusable resource for knowledge acquisition and system development in planning applications.

Keywords:Planning, Ontologies, Task Ontologies, Reusable Knowledge Components, Knowledge Engineering, Knowledge Modelling
Subjects:AKT Challenges > Knowledge reuse
AKT Challenges > Knowledge acquisition
AKT Challenges > Knowledge modelling
ID Code:504
Deposited By:Rajpathak, Dr Dnyanesh
Deposited On:06 April 2006

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