时序数值规划的离散PDDL+编译
广义相对论与量子宇宙学
2026-03-13 v1 高能天体物理现象
摘要
自PDDL+建模语言提出以来，人们意识到时序规划（如PDDL 2.1中）可被编译为PDDL+。然而自此未有实用的编译方案。我们提出一种从时序规划（带持续性动作）到PDDL+的实用编译方法，完整捕获语义，仅假设动作非自重叠。该编译为多项式时间，保持计划长度在常数因子范围内，并在实验中证明对硬时序数值问题具有实际相关性。
引用
@article{arxiv.2603.12189,
title = {Shifted-geodesic approximation for spinning-body gravitational wave fluxes},
author = {Lisa V. Drummond and Scott A. Hughes and Viktor Skoupý and Philip Lynch and Gabriel Andres Piovano},
journal= {arXiv preprint arXiv:2603.12189},
year = {2026}
}
备注
55 pages, 12 figures. Submitted to Classical and Quantum Gravity