Hierarchical Task-Network Planning: Formalization and Analysis

9306580 NAU这是第一次为为期三年的持续奖励提供资金。拟议工作的一个主要目标是定义、分析和阐明HTN规划系统设计的特点。拟议的工作将有以下好处：它将正确地描述HTN规划，并提供一个框架，该框架考虑了现有规划系统中使用的许多特征，但尚未完全形式化(包括减少、批评、承诺选择和过滤条件)。它将清楚地了解HTN规划的效率和表现力，以及这些与其他规划方法(如使用STRIPS式操作符进行规划)的效率和表现力的比较。它将提供方法来确定一组给定的方法和批评者是否正确地描述了他们本应解决的规划问题。它将描述HTN规划者可以有效运作的规划领域的特点，并为这些领域开发高效的规划系统。

9306580 Nau This is the first year funding of a three-year continuing award. A primary goal of the proposed work is to define, analyze, and explicate features of the design of HTN planning systems. The proposed work will have the following benefits: It will correctly characterize HTN planning and provide a framework which accounts for many features used in existing planning systems, but not yet completely formalized (including reduction, critics, commitment choices and filter conditions). It will provide a clear understanding of the efficiency and expressivity of HTN planning, and how these compare with the efficiency and expressivity of other approaches to planning (such as planning with STRIPS-style operators). It will provide ways to determine whether a given set of methods and critics correctly describe the planning problem they were meant to solve. It will describe the characteristics of planning domains in which HTN planners can operate efficiently, and develop efficient planning systems for those domains.