产生式系统的搜索-No8-2016.pdf

产生式系统的搜索(2) 张文生 中国科学院自动化研究所 内容 A*算法的单调性 可分解产生式系统的搜索(AO*) 博弈树 A*算法的单调性 可分解产生式系统的搜索(AO*) 博弈树 起因 在A*算法中，扩展一个节点时，对已经在OPEN表或 CLOSED表中的子节点，要调整指针，花时间和精力。 如果在扩展节点n时，就已经找到了从根节点开始到它的最 优路径，则不必调整指针, 可以大大提高效率。 如果满足单调性限制，则可实现此愿望。 单调性 如果对每一个节点n 以及它的后继节点n ，满足： i j h(n ) - h(n ) ≤k(n ,n ) i j i j 则称启发式函数满足单调性限制。 其中k(n ,n ) : 连接n , n 的弧上的费用(耗散值) i j i j 直观含义 h(n ) - h(n )小 i j h(n )下降得慢 j h(n ) - h(n ) ≤k(n ,n ) i j i j 合理，但并不严格，很多函数都满足此点。 例子: eight-puzzle f(n) = d(n) + h(n) h(n): 与目标相比, 错位的数字数目; k(n , n ) ≡ 1 i j 3 3 3 3 3 3 h(n ) - h(n )=1 h(n ) - h(n )=0 h(n ) - h(n )=-1 i j i j i j 性质一： 如果A*满足单调性限制，则当它选择节点n扩展时，就已 经发现了通向节点n的最佳路径，即g(n)=g*(n) 。 证明 如果n是初始状态，则结论显然成立。 设n不是初始状态，令路径n ,n ,……,n 是从n 到n 的最 0 1 k 0 k 佳路径，n =n。 k 如果n 的生成过程是n 生成n ,……,n 生成n , 则结论 k 0 1 k-1 k 显然成立。 否则，在最佳路径中，一定存在一个节点n 未被n 生成. i+1 i n 或者在OPEN表中，或者还没有被生成（不在OPEN i 表和CLOSED表中）。 由于n (S)一定被扩展了，即，一定存在一个最佳路径 0 中的节点n ，它由最佳路径上的节点生成，并在OPEN l 表中，但是未被扩展，1≤lk （即，n 不是由n 生