搜索策略与归结原理.pptVIP

*3.4A*算法在3.2节描述的一般搜索过程，如果满足如下条件，它就被称为A*算法：(1)把Open表中的节点按估价函数f(x)=g(x)+h(x)的值从小到大进行排序(一般搜索过程第7步)(2)g(x)是对g*(x)的估计,g(x)0(3)h(x)是h*(x)的下界，即对于所有的x均有：h(x)=h*(x)其中g*(x)是从初始节点S0到节点x的最小代价；h*(x)是从节点x到目标节点的最小代价，若为多个目标则为其中最小的一个。*说明：在该算法中，g(x)是比较容易得到的，它实际上就是从初始节点S0到节点x的路径代价，且恒有g(x)=g*(x)，而且在算法的执行过程中，随着更多搜索信息的获得，g(x)呈下降趋势。S0X1X2X37332*h(x)的确定依赖于具体的问题，其中h(x)=h*(x)的限制是十分重要的，它保证A*算法能找到最优解。定义算法是可纳的：对于一个可解的状态空间图，如果一个搜索算法能在有限步内终止，并且能找到最优解，则该搜索算法是可纳的。A*算法的性质：1、算法是可纳的。证明略2、算法是最优的。该算法的搜索效率在很大程度上取决于h(x)，在满足h(x)=h*(x)的前提*下，h(x)的值愈大愈好。H(x)的值越大，表明他携带的启发性信息越多，搜索时扩展的节点数越少，搜索的效率与高。3、对h(x)的单调性限制在该算法中，每当要扩展一个节点时都要先检查其子节点是否已在Open表或Closed表中，有时还需要调整指向父节点的指针，这就增加了搜索的代价。如果启发函数h(x)被加上单调性限制，就可以减少检查和调整的工作量，从而减少搜索代价。除此之外，还有关于针对与或树的搜索策略等。*第二部分归结原理*前言命题逻辑的归结法子句型归结原理*归结（resolution)(也称消解）推理方法：这是一种机械化的、可在计算机上实现的推理方法。AI程序设计语言Prolog就是基于归结原理的一种逻辑程序设计语言。*归结法（也称消解法）的本质是一种反证法。为了证明一个命题A恒真，要证明其反命题~A恒假。所谓恒假就是不存在模型，即在所有的可能解释中，~A均取假值。但一命题的解释通常有无穷多种，不可能一一测试。为此，Herbrand建议使用一种方法：从众多的解释中，选择一种代表性的解释，并严格证明：任何命题，一旦证明为在这种解释中取假值，即在所有的解释中取假值，这就是Herbrand解释。*3.5命题逻辑的归结法要证明：A1∧A2∧A3?B是定理（重言式）?A1∧A2∧A3∧~B是矛盾(永假)式归结推理方法就是从A1∧A2∧A3∧~B出发，使用归结推理规则来寻找矛盾，最后证明定理成立。归结法（消解法）的本质是数学中的反证法，称为“反演推理方法”。等价于*3.5.1建立子句集首先，把A1∧A2∧A3∧~B化成一种称作子句形的标准形式。如：P∧(Q∨R)∧(~P∨~Q)∧(P∨~Q∨R)然后将合取范式写成集合的表示形式，得S={P,Q∨R,~P∨~Q,P∨~Q∨R},以“,”代替“∧”。子句集一个子句*3.5.2归结式设C1=P∨C1′C2=~P∨C2′消去互补对，新子句R(C1,C2)=C1′∨C2′没有互补对的两子句没有归结式，归结推理即对两子句做归结证明C1∧C2?R(C1,C2)任一使C1，C2为真的解释I下必有R(C1,C2)也是真。空子句□当C1=PC2=~P两个子句的归结式为空，记作□，称为空子句，体现了矛盾。为两个子句子句C1、C2的归结式*3.5.3归结推理过程子句集S归结推理规则S′＝空子句□S′=所得归结式说明S是不可满足的与S对应的定理成立推理结束是否*例：证明(P?Q)∧~Q?~P先将(P?Q)∧~Q∧~(~P)化成合取范式，得(~P∨Q)∧~Q∧P建立子句集S={~P∨Q,~Q,P)对S作归结~P∨Q~QP~P1),2)归结□3),4)归结