Semantics for Hierarchical Task-Network Planning

Abstract

One big obstacle to understanding the nature of hierarchical task network (HTN) planning has been the lack of a clear theoretical framework. In particular, no one has yet presented a clear and concise HTN algorithm that is sound and complete. In this paper, the authors present a formal syntax and semantics for HTN planning. Based on this syntax and semantics, they are able to define an algorithm for HTN planning and prove that it is sound and complete. They also develop several definitions of expressivity for planning languages and prove that HTN planning is strictly more expressive than STRIPS-style planning according to those definitions.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1995
Accession Number
ADA445810

Entities

People

  • Dana S. Nau
  • James Hendler
  • Kutluhan Erol

Organizations

  • University of Maryland

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Computer Science
  • Computers
  • Information Operations
  • Language
  • Linguistics
  • Maryland
  • Military Research
  • Semantics
  • Universities
  • Words (Language)

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Robotics and Automation.
  • Team-Based Human-Centered Cognitive Task Decision Making and Information Performance.