AI Agents 相关度: 7/10

Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version

Andrea Micheli, Enrico Scala, Alessandro Valentini
arXiv: 2603.12188v1 发布: 2026-03-12 更新: 2026-03-12

AI 摘要

提出了一种将时序数值规划编译为 PDDL+ 的实用方法,并验证了其有效性。

主要贡献

  • 提出了一种实用的时序规划到PDDL+的编译方法
  • 证明了编译的语义完整性,仅需动作不自重叠
  • 实验验证了编译方法对困难时序数值问题的有效性

方法论

设计了一种从时序规划问题到 PDDL+ 的编译流程,并进行了实验评估。

原文摘要

Since the introduction of the PDDL+ modeling language, it was known that temporal planning with durative actions (as in PDDL 2.1) could be compiled into PDDL+. However, no practical compilation was presented in the literature ever since. We present a practical compilation from temporal planning with durative actions into PDDL+, fully capturing the semantics and only assuming the non-self-overlapping of actions. Our compilation is polynomial, retains the plan length up to a constant factor and is experimentally shown to be of practical relevance for hard temporal numeric problems.

标签

时序规划 PDDL+ 编译 自动化规划

arXiv 分类

cs.AI