第4章 经典逻推理.pptVIP

* 郑州大学振动工程研究所 4.3归结演绎推理(续） (6) ?I(x) ? ?L(x) S2 (1)与（3）归结 S2 : (7) ?L(a) (2)与（6）归结 (8) ?L(a) (3)与（5）归结 (9) ?I(a) (4)与（6）归结 S3: (10) NIL (2)与（9）归结 上述归结过程可以用P141页的图4-10来描述。 3、线性输入策略 线性归结是这样一种归结，首先从子句集中选取一个称为顶子句的子句C0 开始做归结，其次是归结过程中所得到的归结式Ci立即同另一子句Bi进行归结得归结式Ci+1。而Bi?S ? Ck(ki) (已出现过的归结式）。这里关键的问题是顶子句的选择，一般选择结论的否定作为顶子句。 * 郑州大学振动工程研究所 4.3归结演绎推理(续） 例如：证明P ?Q， ? P ?Q， P ? ? Q ? P ?Q 解，问题转化成证子句集合S={P ?Q， ? P ?Q， P ? ? Q ， ? P ? ? Q} 的不可满足问题，用线形消解的图解表示如下： * 郑州大学振动工程研究所 4.3归结演绎推理(续） 4、单文字子句策略 如果一个子句只包含一个文字，则称它为