人工智能-第三章.pptVIP

《人工智能》第三章谓词逻辑与归结原理概述命题逻辑谓词逻辑的归结法归结过程的控制策略Herbrand定理12第三章谓词逻辑与归结原理归结过程的控制策略《人工智能》第三章谓词逻辑与归结原理要解决的问题：归结方法的知识爆炸。控制策略的目的归结点尽量少控制策略的原则给出控制策略，以使仅对选择合适的子句间方可做归结。避免多余的、不必要的归结式出现。或者说，少做些归结仍能导出空子句。控制策略的方法(1)《人工智能》第三章谓词逻辑与归结原理删除策略归类：设有两个子句C和D，若有置换?使得C??D成立，则称子句C把子句D归类。若对S使用归结推理过程中，当归结式Cj是重言式和Cj被S中子句和子句集的归结式Ci(ij)所归类时，便将Cj删除。这样的推理过程便称作使用了删除策略的归结过程。控制策略的方法(1)《人工智能》第三章谓词逻辑与归结原理删除策略如P(x)∨～P(x),P(x)∨Q(x)～P(x)P(x)归类P(y)∨Q(z)σ={y/x}纯文字删除。如果某文字L在子句集中不存在可与之互补的文字～L，则称该文字为纯文字。如S={P∨Q∨R,～Q∨R,Q,～R}尽管使用删除策略的归结，少做了归结但不影响产生空子句，就是说删除策略的归结推理是完备的。控制策略的方法(2)《人工智能》第三章谓词逻辑与归结原理支撑集策略支撑集：设有不可满足子句集S的子集T，如果S-T是可满足的，则T是支撑集。? 采用支撑集策略时，从开始到得到空子句的整个归结过程中，只选取不同时属于S-T的子句，在其间进行归结。就是说，至少有一个子句来自于支撑集T或由T导出的归结式。?控制策略的方法(2)《人工智能》第三章谓词逻辑与归结原理支撑集策略例如：A1ΛA2ΛA3Λ～B中的～B可以作为支撑集使用。要求每一次参加归结的亲本子句中，至少应该有一个是由目标公式的否定（～B）所得到的子句或者它们的后裔。支撑集策略的归结是完备的。同样，所有可归结的谓词公式都可以用采用支撑集策略达到加快归结速度的目的。问题是如何寻找合适的支撑集。一个最容易找到的支撑集是目标子句的非，即S～B。《人工智能》第三章谓词逻辑与归结原理ST可满足支撑集示意图控制策略的方法(2)《人工智能》第三章谓词逻辑与归结原理支撑集策略例如：S(1)～I(X)∨R(X)目标公式的否定得到的子句(2)I(a)(3)～R(Y)V～L(Y)(4)L(a)S1：(5)R(a)(1)与(2)归结(6)～I(x)V～L(x)(1)与(3)归结(7)～L(a)(2)与(6)归结(8)NIL(4)与(7)归结《人工智能》第三章谓词逻辑与归结原理语义归结策略语义归结策略是将子句S按照一定的语义分成两部分，约定每部分内的子句间不允许作归结。同时还引入了文字次序，约定归结时其中的一个子句的被归结文字只能是该子句中“最大”的文字。语义归结策略的归结是完备的。控制策略的方法(3)《人工智能》第三章谓词逻辑与归结原理线性归结线性归结策略首先从子句集中选取一个称作顶子句的子句C0开始作归结。归结过程中所得到的归结式Ci立即同另一子句Bi进行归结得归结式Ci+1。而Bi属于S或是已出现的归结式Cj(ji)。即，如下图所示归结得到的新子句立即参加归结。线性归结是完备的。控制策略的方法(4)线性归结策略示意图C1C4C3空56%Option247%Option4C0C2C5《人工智能》第三章谓词逻辑与归结原理30%Option323%Option1控制策略的方法(5)《人工智能》第三章谓词逻辑与归结原理单元归结策略单元归结策略要求在归结过程中，每次归结都有一个子句是单元子句（只含一个文字的子句）或单元因子。显而易见，此种方法可以简单地削去另一个非单子句中的一个因子，使其长度减少，构成简单化，归结效率较高。初始子句集中没有单元子句时，单元归结策略无效。所以说“反之不成立”，即此问题不能采用单元归结策略。控制策略的方法(6)《人工智能》第三章谓词逻辑与归结原理输入归结策略与单元归结策略相似，输入归结策略要求在归结过程中，每一次归结的两个子句中必须有一个是S的原始子句。这样可以避免归结出的不必要的新子句加入归结，造成恶性循环。可以减少不必要的归结次数。如同单元归结策略，不是所有的可归结谓词公式的最后结论都是可以从原始子句集中的得到的。《人工智能》第三章谓词逻辑与