论文标题
HDDL 2.1：随着时间的推移定义HTN形式主义
HDDL 2.1: Towards Defining an HTN Formalism with Time
论文作者
论文摘要
现实世界的规划应用，例如行业和机器人技术，都需要建模丰富而多样化的情况。他们的决议通常需要协调和同时执行。在某些情况下，此类计划问题自然地以层次结构方式分解，并由等级任务网络（HTN）形式主义表示。用于指定规划域的PDDL语言已经发展为涵盖不同的计划范例。但是，制定数值和时间约束在定义解决方案时同意的真实和复杂方案仍然是一个挑战。我们的主张旨在填补现有计划语言和运营需求之间的空白。为此，我们建议将HDDL从PDDL 2.1和ANML中扩展，以表达时间和数值表达。本文开展了有关扩展HDDL所需的语义和语法的讨论，并通过观察卫星规划问题的地球建模来说明这些需求。
Real world applications of planning, like in industry and robotics, require modelling rich and diverse scenarios. Their resolution usually requires coordinated and concurrent action executions. In several cases, such planning problems are naturally decomposed in a hierarchical way and expressed by a Hierarchical Task Network (HTN) formalism. The PDDL language used to specify planning domains has evolved to cover the different planning paradigms. However, formulating real and complex scenarios where numerical and temporal constraints concur in defining a solution is still a challenge. Our proposition aims at filling the gap between existing planning languages and operational needs. To do so, we propose to extend HDDL taking inspiration from PDDL 2.1 and ANML to express temporal and numerical expressions. This paper opens discussions on the semantics and the syntax needed to extend HDDL, and illustrate these needs with the modelling of an Earth Observing Satellite planning problem.
