本文主要是介绍人工智能基础——鲁宾孙归结原理,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
鲁宾孙归结原理:
命题逻辑中的归结原理:
若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一定为假。
谓词逻辑中的归结原理:
最一般合一:把变元变成其互补常元文字的量。
这篇关于人工智能基础——鲁宾孙归结原理的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!