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

A Tool-Supported Approach to Engineering HTN Planning Models

McCluskey, T.L. and Kitchin, Diane E. (1998) A Tool-Supported Approach to Engineering HTN Planning Models. In: Tenth IEEE International Conference on Tools with Artificial Intelligence, 1998, Taiwan.

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

    Abstract

    Our research concerns formal, expressive, object centred languages and tools for use in engineering domains for planning applications. In this paper we extend our recent work on an object-centred language for encoding precondition
    planning domains to a language called OCLh,
    designed for HTN planning. Domain encodings for HTN planners are particularly troublesome, because they tend to be used in knowledged-based applications requiring a great deal of ‘domain engineering’, and the abstract operators
    central to an HTN model do not share the fairly clear declarative semantics of concrete pre- and post condition operators. Central to our approach is the development, in parallel, of the abstract operator set and the hierarchical state specification of the objects that the operators manipulate. In this paper we define and illustrate a transparency property, together with a transparency checking tool, which helps the developer to encode a clear planning model in
    OCLh. Our encoding of the Translog domain is used as an extended example to illustrate the approach.

    Item Type: Conference or Workshop Item (Paper)
    Subjects: T Technology > T Technology (General)
    T Technology > TA Engineering (General). Civil engineering (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: Sharon Beastall
    Date Deposited: 24 Jun 2010 13:47
    Last Modified: 05 Jan 2011 11:14
    URI: http://eprints.hud.ac.uk/id/eprint/7935

    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 ©