2013课程总结重点.pptVIP

* * * (3) 变量标准化，将各约束变量换名, 以避免混淆，即：不同的 约束，对应于不同的变量 (?x)A(x) ? (?x)B(x) ? (?x)A(x) ? (?y)B(y) (4)去掉? (skolem变换) a. 存在量词不在任何全称量词的辖域内, 例如: ?x ?(X)变为?(c) b. 存在量词在某些全称量词的辖域内, 例如: ?x?y height(X,Y)(公式中X依赖于Y) 变为 ?x height (X, h(X)） 化子句集的方法（续） 化子句集的方法（续） (5) 将全称量词提到最前面: 所用公式：(B??yA(X)??y(B?A(X))) (6) 将上式化为合取范式 (7) 表示为子句的形式 说明： 转化不意味着等价性,但可保证其保持“不可满足性”. 原式有矛盾，变换后的式子也有矛盾。 归结方法（命题逻辑） 设子句集中的任意两个子句： C1=L?C1′ C2=(~L)?C2′ (消去互补）构成一个新的子句C=C1′?C2′ 则称这一过程为归结。C是C1和C2的归结式. 归结的例子 设集合： P, (P?Q) ?R, (S?T) ?Q, T 求证：R 子句集： (1) P (2) ~P?~Q?R (3) ~S?Q (4) ~T