发表机构
Univ. Grenoble Alpes（格勒诺布尔大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文针对HTN规划数值推理支持不足的问题，研究数值TOHTN规划，将SAT编码扩展结合SMT处理数值流，引入基准套件，实验表明该编码可作为有竞争力的基线，为更优HTN规划方法铺路。
AI 中文摘要
近年来HTN规划受到广泛关注，但数值推理的支持仍非常有限。本文研究数值全序HTN（TOHTN）规划，展示如何将基于标准SAT的编码自然扩展以结合SMT来处理数值流。此外，我们引入了一套数值TOHTN规划的基准测试套件，为该领域提供首个通用评估基础。实验结果表明，这种简单编码已构成具有竞争力的基线。本工作为更具表达力的HTN规划方法开辟了道路。
英文摘要
While HTN planning has received significant attention in recent years, support for numerical reasoning remains very limited. In this paper, we investigate numerical Totally-Ordered HTN (TOHTN) planning and show how standard SAT-based encodings can be naturally extended with SMT to handle numeric fluents. In addition, we introduce a benchmark suite for numerical TOHTN planning, providing a first common basis for evaluation in this setting. Experimental results show that this simple encoding already constitutes a competitive baseline. This work opens the way to more expressive approaches to HTN planning.
Commentspages 32-36
Journal refProceedings of the 9th ICAPS Workshop on Hierarchical Planning (HPlan 2026)
