第三章人工智能蔡自兴.pptVIP

归结原理 归结的过程 写出谓词关系公式 → 用反演法写出谓词表达式→ SKOLEM标准形 → 子句集S → 对S中可归结的子句做归结 → 归结式仍放入S中，反复归结过程 → 得到空子句 ?得证 第六十三页，共一百零五页。 例题“快乐学生”问题 假设任何通过计算机考试并获奖的人都是快乐的，任何肯学习或幸运的人都可以通过所有的考试，张不肯学习但他是幸运的，任何幸运的人都能获奖。求证：张是快乐的。 第六十四页，共一百零五页。 例题“快乐学生”问题 ?解：先将问题用谓词表示如下： R1:“任何通过计算机考试并获奖的人都是快乐的” (?x)((Pass(x, computer)∧Win(x, prize))→Happy(x)) R2:“任何肯学习或幸运的人都可以通过所有考试” (?x)(?y)(Study(x)∨Lucky(x)→Pass(x, y)) R3:“张不肯学习但他是幸运的” ～Study(zhang)∧Lucky(zhang) R4:“任何幸运的人都能获奖” (?x)(Luck(x)→Win(x,prize)) 结论：“张是快乐的”的否定 ～Happy(zhang) 第六十五页，共一百零五页。 例题“快乐学生”问题 由R1及逻辑转换公式:P∧W→H = ～（P∧W）∨ H ，可得 (1)～Pass(x, computer)∨～Win(x, prize)∨Happy(x) 由R2： (2)～Study(y)∨Pass(y,z) (3)～Lucky(u)∨Pass(u,v) 由R3： (4)～Study(zhang) (5)Lucky(zhang) 由R4： (6)～Lucky(w)∨Win(w，prize) 由结论：(7)～Happy(zhang) （结论的否定） (8)～Pass(w, computer)∨Happy(w)∨～Luck(w) (1)(6)，{w/x} (9)～Pass(zhang, computer)∨～Lucky(zhang) (8)(7)，{zhang/w} (10)?～Pass(zhang, computer) (9)(5) (11)??～Lucky(zhang) (10)(3)，{zhang/u, computer/v} (12)??? (11)(5)? 第六十六页，共一百零五页。 归结原理 归结法的实质 归结法是仅有一条推理规则的推理方法。 归结的过程是一个语义树倒塌的过程。 归结法的问题 子句中有等号或不等号时，完备性不成立。 ※ Herbrand定理的不实用性引出了可实用的归结法。 第六十七页，共一百零五页。 第三章 归结推理方法 概述 命题逻辑的归结法 谓词归结子句形 归结原理 归结过程的策略控制 Herbrand定理 第六十八页，共一百零五页。 归结过程的控制策略 要解决的问题： 归结方法的知识爆炸。 控制策略的目的 归结点尽量少 控制策略的原则 给出控制策略，以使仅对选择合适的子句间方可做归结。避免多余的、不必要的归结式出现。或者说，少做些归结仍能导出空子句。 第六十九页，共一百零五页。 控制策略的方法(1) 删除策略 = 完备 名词解释：归类：设有两个子句C和D，若有置换?使得C? ? D成立，则称子句C把子句D归类。 由于小的可以代表大的，所以小的吃掉大的了。 若对S使用归结推理过程中，当归结式Cj是重言式（永真式）和Cj被S中子句和子句集的归结式Ci(ij)所归类时，便将Cj删除。这样的推理过程便称做使用了删除策略的归结过程。 主要思想：归结过程在寻找可归结子句时，子句集中的子句越多，需要付出的代价就会越大。如果在归结时能把子句集中无用的子句删除掉，就会缩小搜索范围，减少比较次数，从而提高归结效率。删除策略对阻止不必要的归结式的产生来缩短归结过程是有效的。然而要在归结式Cj产生后方能判别它是否可被删除，这部分计算量是要花费的，只是节省了被删除的子句又生成的归结式。尽管使用删除策略的归结，少做了归结但不影响产生空子句，就是说删除策略的归结推理是完备的。 第七十页，共一百零五页。 控制策略的方法(2) 采用支撑集=完备 支撑集：设有不可满足子句集S的子集T，如果S-T是可满足的，则T是支持集。 ? 采用支撑集策略时，从开始到得到?的整个归结过程中，只选取不同时属于S-T的子句，在其间进行归结。就是说，至少有一个子句来自于支撑集T或由T导出的归结式。 ?例如：A1ΛA2ΛA3Λ～B中的～B可以作为支撑集