人工智能第三章.pptVIP

归结过程的控制策略 要解决的问题： 归结方法的知识爆炸。 控制策略的目的 归结点尽量少 控制策略的原则 给出控制策略，以使仅对选择合适的子句间方可做归结。避免多余的、不必要的归结式出现。或者说，少做些归结仍能导出空子句。 《人工智能》第三章 谓词逻辑与归结原理 当前第31页\共有81页\编于星期四\18点 控制策略的方法(1) 删除策略 归类：设有两个子句C和D，若有置换?使得C? ? D成立，则称子句C把子句D归类。 若对S使用归结推理过程中，当归结式Cj是重言式和Cj被S中子句和子句集的归结式Ci(ij)所归类时，便将Cj删除。这样的推理过程便称作使用了删除策略的归结过程。 《人工智能》第三章 谓词逻辑与归结原理 当前第32页\共有81页\编于星期四\18点 控制策略的方法(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} 尽管使用删除策略的归结，少做了归结但不影响产生空子句，就是说删除策略的归结推理是完备的。 《人工智能》第三章 谓词逻辑与归结原理 当前第33页\共有81页\编于星期四\18点 控制策略的方法(2) 支撑集策略 支撑集：设有不可满足子句集S的子集T，如果S-