A Critical Look at Critics in HTN Planning

Abstract

Detecting interactions and resolving conflicts is one of the key issues for generative planning systems. Hierarchical Task Network (HTN) planning systems use critics for this purpose. Critics have provided extra efficiency and flexibility to HTN planning systems, but their procedural -- and sometimes domain-specific -- nature has not been amenable to analytical studies. As a result, little work is available on the correctness or efficiency of critics. This paper describes a principled approach to handling conflicts, as implemented in Universal Method-Composition Planner (UMCP), an HTN planning system. Critics in UMCP have desirable properties such as systematicity, and the preservation of soundness and completeness.

Open PDF

Document Details

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

Entities

People

  • Dana S. Nau
  • James Hendler
  • Kutluhan Erol
  • Reiko Tsuneto

Organizations

  • University of Maryland

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Availability
  • Classification
  • Computer Science
  • Computers
  • Contracts
  • Cooperation
  • Efficiency
  • Information Operations
  • Instructions
  • Maryland
  • Military Research
  • Monitoring
  • Resilience
  • Universities

Readers

  • Artificial Intelligence
  • Canadian European Scientific Immigration and Epilepsy Clearance Studies
  • Mathematical Modeling and Probability Theory.