人工智能,第三章281.pptVIP

归结过程的控制策略 要解决的问题： 归结方法的知识爆炸。 控制策略的目的 归结点尽量少 控制策略的原则 给出控制策略，以使仅对选择合适的子句间方可做归结。避免多余的、不必要的归结式出现。或者说，少做些归结仍能导出空子句。 控制策略的方法(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ΛA