HDDL 2.1：迈向定义带时间的 HTN 形式化
人工智能
2022-06-07 v1
摘要
规划的现实应用，如工业和机器人领域，需要建模丰富且多样的情景。其求解通常需要协调且并发的动作执行。在若干情况下，此类规划问题以层次化方式自然分解，并由层次任务网络（HTN）形式化表达。用于指定规划领域的 PDDL 语言已演进以覆盖不同规划范式。然而，表述数值与时间约束共同定义解的真实的复杂情景仍具挑战。我们的提案旨在填补现有规划语言与操作需求之间的鸿沟。为此，我们提议受 PDDL 2.1 和 ANML 启发扩展 HDDL 以表达时间与数值表达式。本文开启了关于扩展 HDDL 所需语义与语法的讨论，并通过一个地球观测卫星规划问题的建模说明这些需求。
引用
@article{arxiv.2206.01822,
title = {HDDL 2.1: Towards Defining an HTN Formalism with Time},
author = {D. Pellier and H. Fiorino and M. Grand and A. Albore and R. Bailon-Ruiz},
journal= {arXiv preprint arXiv:2206.01822},
year = {2022}
}