Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version
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.