人工智能4第5章.pptVIP

2021/3/17 * 　　输入归结策略的特点是: 　　1）输入归结策略实际是一种自底向上的推理, 它有相当高的效率。 　　2）输入归结是不完备的。 　　例如子句集 S={P∨Q, ?P∨Q, P∨?Q, ?P∨?Q} 　　(用输入归结策略来归结)是不可满足的,(因为)用输入归结不能导出空子句,最后导出□的字句必定都是单文字子句,它们不可能在S中。 　　输入归结往往同线性归结配合使用,组成所谓线性输入归结策略。当然,进一步还可以与支持集策略结合。 §5.4.2 几种常用的归结策略 　　4、输入归结策略 2021/3/17 * 　　在归结过程中每次参加归结的两个亲本子句中必须至少有一个是单元子句。 　　可以看出,例5.29中的归结过程可看作是运用单元归结策略。 （1） ? I(x) ∨R(x) （2） I(a) （3） ? R(y) ∨ ? L(y) （4）L(a) （5）R(a) 由 (1)(2),{a/x} （6） ? L(a) 由 (3)(5),{a/y} （7） □ 由 (4)(6) §5.4.2 几种常用的归结策略 　　5、单元归结策略 2021/3/17 * 　　单元归结策略的特点: 　　1)单元归结的思想是,用单元子句归结可使归结式含有较少