人工智能基础——鲁宾孙归结原理

鲁宾孙归结原理：
命题逻辑中的归结原理：
若r1,r2是一个子句集中的两个子句，r1，r2中含有互补文字，那么把r1,r2拿出来，去掉互补文字，再把剩下的部分析取，得到的子句r12为r1,r2的归结式，r1,r2为r12的亲本子句。
r12与,r1∧r2是等价的，假设正文字在r1中，负文字在r2中，在r1中我们可以把该正文字换到析取符号的后面，然后用蕴含等价变换，r2中的负文字在析取符号前面，然后直接用蕴含等价变换就会得到r1:X -> P,r2:P -> Y.两个产生式合取，就会得到X ∨Y，即把互补文字去掉，然后剩下的部分作析取运算。
定理3.3：
归结式c12是其亲本子句c1,c2的逻辑结论。即若c1与c2为真，那么c12为真。c12为假，c1合取c2一定为假。

谓词逻辑中的归结原理：
最一般合一：把变元变成其互补常元文字的量。