避免确定化的时间线规划策略的合成
人工智能
2026-03-31 v2
摘要
定性时间线规划模型将领域建模为一组独立但相互作用的组件，其行为随时间变化，timeline，由一组定性时序约束 (排序关系) 决定，称为 synchronization rules。其 plan-existence problem 已被证明为 PSPACE-complete；特别是，PSPACE-membership 证明通过将其归约到非确定性有限自动机的 nonemptiness problem。然而，非确定性自动机不能直接用于合成规划策略，因为需要代价高昂的 determinization 步骤。在本文中，我们识别出一种定性时间线规划的片段，其 plan-existence problem 可以直接映射到确定性有限自动机的 nonemptiness problem，从而合成策略。此外，我们识别出一组最大子集的 Allen's relations 适用于此确定性片段。
引用
@article{arxiv.2507.17988,
title = {Synthesis of timeline-based planning strategies avoiding determinization},
author = {Dario Della Monica and Angelo Montanari and Pietro Sala},
journal= {arXiv preprint arXiv:2507.17988},
year = {2026}
}
备注
arXiv admin note: text overlap with arXiv:2410.22757