HDDL 2.1：面向时序 HTN 规划的形式化与语义定义
人工智能
2023-06-14 v1
摘要
工业与机器人等领域的真实世界应用需要对丰富多样的自动化规划问题进行建模。其求解通常需要协调且并行的动作执行。在若干情形下，这些问题以层次化方式自然分解，并由层次任务网络（Hierarchical Task Network，HTN）形式化表达。HDDL 作为规划领域定义语言（Planning Domain Definition Language，PDDL）的层次化扩展，与 PDDL 2.1 不同，不允许表示带数值与时序约束的规划问题，而这对真实世界应用至关重要。我们提议弥合 HDDL 与这些操作需求之间的差距，并受 PDDL 2.1 启发扩展 HDDL 以表达数值与时序表达式。本文开启了关于未来 HDDL 2.1 扩展所需语义与语法的讨论。
引用
@article{arxiv.2306.07353,
title = {HDDL 2.1: Towards Defining a Formalism and a Semantics for Temporal HTN Planning},
author = {Damien Pellier and Alexandre Albore and Humbert Fiorino and Rafael Bailon-Ruiz},
journal= {arXiv preprint arXiv:2306.07353},
year = {2023}
}
备注
5 pages, International Workshop of Hierarchical Planning (ICAPS), 2023