arXiv:2412.09101cs.AI2024-12AAAI被引 4
将模式规划拓展到时间数值规划，用SMT求解高效生成有效计划。
Temporal Numeric Planning with Patterns
- 基于SMT建模，将时间数值计划转化为逻辑可满足性问题
- 在10个需并发的领域上表现优异，验证方法有效性
- 适合研究时序规划与形式化方法的学者参考
我们研究以PDDL2.1 Level 3表达的时间数值规划问题Π，提出构造SMT公式的方法：(i) 其模型对应Π的有效计划；(ii) 将近期提出的模式规划方法从数值扩展至时间场景。证明了该方法的正确性与完备性，并在10个要求并发的领域上展示了出色性能。
原文摘要 · Abstract (English)
We consider temporal numeric planning problems $Π$ expressed in PDDL2.1 level 3, and show how to produce SMT formulas $(i)$ whose models correspond to valid plans of $Π$, and $(ii)$ that extend the recently proposed planning with patterns approach from the numeric to the temporal case. We prove the correctness and completeness of the approach and show that it performs very well on 10 domains with required concurrency.
时序规划SMT求解模式规划
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。