Skip to main content
Article thumbnail
Location of Repository

A Tool-Supported Approach to Engineering HTN Planning Models

By T.L. McCluskey and Diane E. Kitchin

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\ud planning domains to a language called OCLh,\ud 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\ud 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\ud OCLh. Our encoding of the Translog domain is used as an extended example to illustrate the approach

Topics: T1, TA
Year: 1998
OAI identifier: oai:eprints.hud.ac.uk:7935

Suggested articles

Citations

  1. (1991). Automatically Generating Abstractions for Problem Solving. doi
  2. (1994). Comparing Partial Order Planning and Task Reduction Planning: A preliminary report. doi
  3. (1993). Compilation-Based Performance Improvement for Generative Planners.
  4. (1992). Cultural support for improvisation.
  5. (1997). Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency. doi
  6. (1990). Formalizing planning knowledge for hierarchical planning. doi
  7. (1995). Hierarchical Task Network Planning: Formalization, Analysis, and Implementation.
  8. (1994). Knowledge Level Planning. doi
  9. (1997). Natural Hierarchical Planning using Operator Decomposition. doi
  10. (1998). Object-Centred Generative Planning.
  11. (1996). Object-Centred Planning: Lifting Classical Planning from the Literal Level to the Object Level. doi
  12. (1994). On precondition achievement and the computational economics of automatic planning.
  13. (1998). TF Method: An Initial Framework for Modelling and Analysing Planning Domains.
  14. (1995). Towards an Intelligent Planning Knowledge Base Development Environment.
  15. (1995). Translog: A Planning Domain for the Development and Benchmarking of Planning Systems.
  16. (1994). UMCP: A Sound and Complete Procedure for Hierarchical Task Network Planning.

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.