McCluskey, T.L., Jarvis, Peter and Kitchin, Diane E. (1999) OCLh: A Sound and Supportive Planning Domain Modelling Language. Technical Report. University of Huddersfield. (Unpublished)
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.

Library
Documents
[img]
Preview
ocl99.pdf - Accepted Version

Download (92kB) | Preview
Statistics

Downloads

Downloads per month over past year

Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email