[论文解读] An Overview of Hierarchical Task Network Planning

Ilce Georgievski, Marco Aiello|arXiv (Cornell University)|Mar 28, 2014

Service-Oriented Architecture and Web Services参考文献 122被引用 39

一句话总结

本文提出了一套全面的框架，用于分析层次任务网络（HTN）规划，通过统一形式化模型、定义搜索空间解释的关键概念，并从五个维度对HTN规划器进行评估：领域编写、表达能力、能力、性能和适用性。研究结果表明，基于状态的HTN规划在Web服务组合应用中占据主导地位，其中SHOP2和O-Plan2是最广泛使用的规划器，同时指出了在标准化、不确定性处理以及真实世界评估方面存在的关键空白。

ABSTRACT

Hierarchies are the most common structure used to understand the world better. In galaxies, for instance, multiple-star systems are organised in a hierarchical system. Then, governmental and company organisations are structured using a hierarchy, while the Internet, which is used on a daily basis, has a space of domain names arranged hierarchically. Since Artificial Intelligence (AI) planning portrays information about the world and reasons to solve some of world's problems, Hierarchical Task Network (HTN) planning has been introduced almost 40 years ago to represent and deal with hierarchies. Its requirement for rich domain knowledge to characterise the world enables HTN planning to be very useful, but also to perform well. However, the history of almost 40 years obfuscates the current understanding of HTN planning in terms of accomplishments, planning models, similarities and differences among hierarchical planners, and its current and objective image. On top of these issues, attention attracts the ability of hierarchical planning to truly cope with the requirements of applications from the real world. We propose a framework-based approach to remedy this situation. First, we provide a basis for defining different formal models of hierarchical planning, and define two models that comprise a large portion of HTN planners. Second, we provide a set of concepts that helps to interpret HTN planners from the aspect of their search space. Then, we analyse and compare the planners based on a variety of properties organised in five segments, namely domain authoring, expressiveness, competence, performance and applicability. Furthermore, we select Web service composition as a real-world and current application, and classify and compare the approaches that employ HTN planning to solve the problem of service composition. Finally, we conclude with our findings and present directions for future work.

研究动机与目标

• 为近40年来HTN规划研究中缺乏清晰性和整合性提供解决方案。
• 提出一个正式且概念性的框架，用于建模HTN规划器并分析其搜索空间特性。
• 从五个关键维度（领域编写、表达能力、能力、性能和适用性）系统评估HTN规划器。
• 分析HTN规划在真实世界应用中的使用情况，特别是Web服务组合，并评估现有方法。
• 识别开放的研究挑战，包括标准化、不确定性处理以及提升HTN规划中人机交互质量。

提出的方法

• 提出一个理论框架，用于定义和比较层次规划的形式化模型，重点关注基于计划的HTN规划和基于状态的HTN规划。
• 提出一个基于任务分解、约束、显式条件和搜索空间结构的概念性框架，用于解释HTN规划器。
• 采用五维分析框架（领域编写、表达能力、能力、性能和适用性）对HTN规划器进行系统性比较。
• 对基于HTN规划的Web服务组合方法进行分类与评估，强调预处理和内部表示的作用。
• 分析现有HTN规划器（如SHOP2、O-Plan2、SIPE-2）在真实环境中的优势与局限性。
• 通过文献的批判性回顾识别关键研究空白，包括缺乏标准语法/语义、对不确定性的处理有限，以及缺乏真实世界评估。

实验结果

研究问题

• RQ1 如何建立一个统一框架，以建模和比较不同HTN规划形式化及其底层搜索空间？
• RQ2 在领域编写、表达能力、能力、性能和适用性方面，主要HTN规划器之间存在哪些关键差异与相似之处？
• RQ3 当前HTN规划方法在多大程度上支持真实世界需求，如不确定性、故障处理和分布式规划？
• RQ4 基于HTN的Web服务组合方法在实践中表现如何，其在表达能力和评估方面存在哪些局限性？
• RQ5 HTN规划中存在哪些主要开放挑战，需要进一步研究，特别是标准化、语义学以及人机交互方面？

主要发现

• 基于状态的HTN规划是Web服务组合中的主导方法，大多数研究使用该方法来建模和解决服务组合问题。
• O-Plan2和SHOP2是在实践中应用最广泛的HTN规划器，表明其在真实世界中具有强大的采用程度，尽管其形式化比较仍有限。
• 绝大多数Web服务组合方法使用预处理步骤，将外部服务描述转换为内部兼容HTN的表示形式。
• 目前尚无统一的语法或语义用于指定HTN领域和问题，这阻碍了规划器的直接比较和标准评估。
• 当前方法大多无法处理不确定性、非确定性或动态故障，仅有少数研究探索了感知或持续规划。
• 尚未开展对基于HTN的Web服务组合方法的真实世界评估——大多数方法在合成或经典规划问题上进行测试，限制了其在真实世界中的有效性。