OCLh: A Sound and Supportive Planning Domain Modelling Language

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.