Accession Number:
ADA445803
Title:
A Critical Look at Critics in HTN Planning
Descriptive Note:
Technical research rept.
Corporate Author:
MARYLAND UNIV COLLEGE PARK INST FOR SYSTEMS RESEARCH
Personal Author(s):
Report Date:
1995-01-01
Pagination or Media Count:
9.0
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.
Descriptors:
Subject Categories:
- Computer Programming and Software
- Cybernetics