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 (89kB) | 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 > Informatics Research Group
    School of Computing and Engineering > Informatics Research Group > Knowledge Engineering and Intelligent Interfaces
    School of Computing and Engineering > Informatics Research Group > Software Engineering Research Group
    School of Computing and Engineering > Serious Games Research Group
    Related URLs:
    Depositing User: Cherry Edmunds
    Date Deposited: 16 Jul 2010 12:59
    Last Modified: 05 Jan 2011 11:13
    URI: http://eprints.hud.ac.uk/id/eprint/8145

    Document Downloads

    Downloader Countries

    More statistics for this item...

    Item control for Repository Staff only:

    View Item

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