arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1909.12142cs.AI
收藏

最优经典规划的高维势启发式算法

Higher-Dimensional Potential Heuristics for Optimal Classical Planning

University of Basel(巴塞尔大学);Universidad Simón Bolívar(西蒙玻利瓦尔大学)

Florian Pommerening, Malte Helmert, Blai Bonet

摘要:

潜在的状态空间搜索的算法被定义为简单的状态特征的加权和。原子特征考虑因子化状态表示中单个状态变量的值,而二进制特征考虑对两个状态变量的联合分配。以前的工作表明,所有容许的和一致的潜在的原子特征的集合可以由一个紧凑的线性约束。我们将这一结果推广到二进制特征,并证明了更高维度的特征的硬度结果。此外,我们证明了一个易处理的结果的基础上的树宽的一个新的图形结构,我们称之为上下文依赖图。最后,我们研究了潜在竞争力与过渡成本划分的关系。实验结果表明,二进制潜在的物理学是显着更丰富的信息比以前考虑的原子。

英文摘要:

Potential heuristics for state-space search are defined as weighted sums over simple state features. Atomic features consider the value of a single state variable in a factored state representation, while binary features consider joint assignments to two state variables. Previous work showed that the set of all admissible and consistent potential heuristics using atomic features can be characterized by a compact set of linear constraints. We generalize this result to binary features and prove a hardness result for features of higher dimension. Furthermore, we prove a tractability result based on the treewidth of a new graphical structure we call the context-dependency graph. Finally, we study the relationship of potential heuristics to transition cost partitioning. Experimental results show that binary potential heuristics are significantly more informative than the previously considered atomic ones.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑