异步规划新基准：PDDL2.1 表现最弱
热点事件持续更新
异步规划新基准：PDDL2.1 表现最弱
1 篇报道1 个报道来源4 小时前更新
先了解这件事
AI 综述
Jiayi Zhang 等作者发布异步规划的统一形式化框架和三个基准，覆盖任务图规模、接地状态与资源约束、执行时事件三类场景，并评测了多条规划流水线。结果显示，为时序规划设计的 PDDL2.1 反而是最弱管线，在 AsyncPlan-XXL 上平均准确率仅 30.8%，而 Planner 为 81.7%、CP-SAT 形式化器达 94.0%。 研究称瓶颈不在形式化表达力，而在于从语言中恢复任务图。执行时事件下仅更新事件约束可达 81.6%，远高于完全重新生成的 41.6%。
AI 根据报道生成 · 3 小时前更新
最新进展10月15日 12:00
通过自动形式化实现鲁棒异步规划：PDDL2.1 表现最弱，CP-SAT 形式化器达 94.0% 准确率报道时间线
沿着报道，了解事件的不同侧面。
10月15日
- arXiv cs.CL通过自动形式化实现鲁棒异步规划：PDDL2.1 表现最弱，CP-SAT 形式化器达 94.0% 准确率
研究将异步规划统一到一个框架下并发布三个基准，发现为时序规划设计的 PDDL2.1 反而是最弱管线，在 AsyncPlan-XXL 上平均准确率仅 30.8%，而 Planner 为 81.7%、CP-SAT 形式化器达 94.0%。瓶颈不在形式化表达力，而在于从语言中恢复任务图；执行时事件下仅更新事件约束可达 81.6%，远高于完全重新生成的 41.6%。
本事件热度走势
- 可比范围当前
- 9
- 可比范围峰值
- 1010月15日 13:00
- 近 24 小时变化
- –
02.557.510
13:0014:0015:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。