English(EN) Exploiting Search in Symbolic Numeric Planning with Patterns

新的符号规划程序增强了数值AI搜索

作者 PulseAugur 编辑部 · [1 个来源] · 2026-06-16 04:00

研究人员引入了一种利用符号模式规划（SPP）的数值规划新程序。该方法涉及动态地重新计算和优化模式，以指导搜索更接近目标状态的中间状态。该程序在特定条件下被证明是正确和完整的，并提供了探索搜索空间的各种策略。 AI

影响引入了一种新的数值规划程序，可以增强AI在复杂问题解决场景中的搜索能力。

排序理由该集群包含一篇在arXiv上发表的研究论文，详细介绍了一种新的符号数值规划程序。[lever_c_demoted from research: ic=1 ai=1.0]

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

报道来源 [1]

arXiv cs.AI TIER_1 English(EN) · Matteo Cardellini, Enrico Giunchiglia · 2026-06-16 04:00

Exploiting Search in Symbolic Numeric Planning with Patterns

arXiv:2606.16329v1 Announce Type: new Abstract: In this paper, we present a procedure for numeric planning based on Symbolic Pattern Planning (SPP). Given a numeric planning problem $\Pi$, a pattern $\prec$ is a sequence of actions used to define a formula encoding the subsequenc…