Search:
Computing and Library Services - delivering an inspiring information environment

OCLh: A Sound and Supportive Planning Domain Modelling Language

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)

[img]
Preview
PDF - Accepted Version
Download (92kB) | Preview

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.

Item Type: Monograph (Technical Report)
Subjects: T Technology > T Technology (General)
Schools: School of Computing and Engineering
School of Computing and Engineering > Pedagogical Research Group
School of Computing and Engineering > High-Performance Intelligent Computing
School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge
School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge

?? tserg ??
School of Computing and Engineering > Serious Games Research Group
Related URLs:
Depositing User: Cherry Edmunds
Date Deposited: 16 Jul 2010 11:59
Last Modified: 21 Aug 2015 15:34
URI: http://eprints.hud.ac.uk/id/eprint/8145

Downloads

Downloads per month over past year

Repository Staff Only: item control page

View Item View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©