Location of Repository

OCLh: A Sound and Supportive Planning Domain Modelling Language

By T.L. McCluskey, Peter Jarvis and Diane E. Kitchin

Abstract

In this paper we postulate OCLh as a prototype for future planning domain modelling languages which are foundationally sound, but offer features that are attractive and supportive to knowledge engineers. The novel contributions of this paper is that it (a) describes a truth criterion for OCLh and details a proof that the criterion is sufficient for ensuring necessary truth in a partial plan structure (b) evaluates OCLh, illustrating its pragmatic benefits by comparing it with O-Plan’s TF. We show using a real example how OCLh’s structuring devices aid the knowledge engineer in building a model. Finally, the example and comparison with TF identifies further development work to advance OCLh as potential high level research language for modelling operator based planning domains

Topics: T1
Publisher: University of Huddersfield
OAI identifier: oai:eprints.hud.ac.uk:8145

Suggested articles

Preview


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.