《HTN 执行：一种形式化方法与算法》的增补
人工智能
2021-07-06 v2
摘要
当某一领域的“标准操作程序”可用时，分层任务网络(HTN)规划是一种实用且高效的规划方法。如同信念-愿望-意图(BDI)智能体推理，HTN 规划对目标进行分层且基于上下文的细化，将其分解为子目标与基本动作。然而，HTN 规划器会“前瞻”选择某一细化而非另一细化的后果，而 BDI 智能体则将细化与执行交错进行。近来人们重新关注使 HTN 规划器表现得更像 BDI 智能体系统，例如拥有执行与规划的统一表示。然而，以往该主题的工作仍停留在非形式化或面向实现的层面。本文是对“HTN 执行”的形式化阐述，其支持交错式的慎思、执行与失败恢复。我们使用最一般 HTN 规划形式化的语法并构建于其核心语义之上，且提供一种将我们的新形式化与外生事件处理相结合的算法。我们还研究了 HTN 执行的属性及其与 HTN 规划的关系。
引用
@article{arxiv.1806.02127,
title = {Addendum to "HTN Acting: A Formalism and an Algorithm"},
author = {Lavindra de Silva},
journal= {arXiv preprint arXiv:1806.02127},
year = {2021}
}
备注
This paper is a more detailed version of the following publication: Lavindra de Silva, "HTN Acting: A Formalism and an Algorithm", in Proceedings of AAMAS 2018