arXiv cs.CL· Jiayi Zhang, Jianing Yin, Ben Zhou, Li Zhang·· 5 小时前AI 评分36
通过自动形式化实现鲁棒异步规划：PDDL2.1 表现最弱，CP-SAT 形式化器达 94.0% 准确率
Robust Asynchronous Planning via Auto-Formalization
AI 导读
研究将异步规划统一到一个框架下并发布三个基准，发现为时序规划设计的 PDDL2.1 反而是最弱管线，在 AsyncPlan-XXL 上平均准确率仅 30.8%，而 Planner 为 81.7%、CP-SAT 形式化器达 94.0%。瓶颈不在形式化表达力，而在于从语言中恢复任务图；执行时事件下仅更新事件约束可达 81.6%，远高于完全重新生成的 41.6%。
来源：arXiv cs.CL · arxiv.org