人工智能基础——鲁宾孙归结原理
鲁宾孙归结原理：命题逻辑中的归结原理：若r1,r2是一个子句集中的两个子句，r1，r2中含有互补文字，那么把r1,r2拿出来，去掉互补文字，再把剩下的部分析取，得到的子句r12为r1,r2的归结式，r1,r2为r12的亲本子句。r12与,r1∧r2是等价的，假设正文字在r1中，负文字在r2中，在r1中我们可以把该正文字换到析取符号的后面，然后用蕴含等价变换，r2中的负文字在析取符号前面，然后直接用
·
鲁宾孙归结原理：
命题逻辑中的归结原理：
若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一定为假。
谓词逻辑中的归结原理：
最一般合一：把变元变成其互补常元文字的量。
openvela 操作系统专为 AIoT 领域量身定制，以轻量化、标准兼容、安全性和高度可扩展性为核心特点。openvela 以其卓越的技术优势，已成为众多物联网设备和 AI 硬件的技术首选，涵盖了智能手表、运动手环、智能音箱、耳机、智能家居设备以及机器人等多个领域。
更多推荐
4
0- 0
已为社区贡献4条内容
所有评论(0)