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

鲁宾孙归结原理:
命题逻辑中的归结原理:
若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,即把互补文字去掉,然后剩下的部分作析取运算。人工智能基础——鲁宾孙归结原理_第1张图片
定理3.3:
归结式c12是其亲本子句c1,c2的逻辑结论。即若c1与c2为真,那么c12为真。c12为假,c1合取c2一定为假。

谓词逻辑中的归结原理:
最一般合一:把变元变成其互补常元文字的量。
人工智能基础——鲁宾孙归结原理_第2张图片

你可能感兴趣的:(人工智能及其应用,人工智能)