通过延迟部分展开的基于最佳优先搜索处理规划中的无限域参数
人工智能
2026-03-09 v2 符号计算
系统与控制
系统与控制
摘要
在自动化规划中，控制参数通过引入连续数值决策变量来扩展标准动作表示。现有的先进方法主要将控制参数作为嵌入约束与其他时序和数值限制一起处理，因而隐式地将其视为额外的约束，而非搜索空间中的决策点。在本文中，我们提出一种高效替代方案，显式地将控制参数作为系统搜索方案中的真实决策点进行处理。我们发展了一种基于最佳优先的启发式搜索算法，作用于由控制参数定义的无限决策空间，并在特定条件下证明了其在极限情况下的完备性。我们的算法利用延迟部分展开(concept of delayed partial expansion)的概念，即状态未完全展开，而是逐步扩展其子 successor 的子集。我们的结果表明，这种新型搜索算法是解决涉及控制参数的规划问题的竞争性替代方案。
引用
@article{arxiv.2509.03953,
title = {Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions},
author = {Ángel Aso-Mollar and Diego Aineto and Enrico Scala and Eva Onaindia},
journal= {arXiv preprint arXiv:2509.03953},
year = {2026}
}