人工智能基礎——魯賓孫歸結原理

魯賓孫歸結原理： 命題邏輯中的歸結原理： 若r1,r2是一個子句集中的兩個子句，r1，r2中含有互補文字，那麼把r1,r2拿出來，去掉互補文字，再把剩下的部分析取，得到的子句r12爲r1,r2的歸結式，r1,r2爲r12的親本子句。 r12與,r1∧r2是等價的，假設正文字在r1中，負文字在r2中，在r1中我們可以把該正文字換到析取符號的後面，然後用蘊含等價變換，r2中的負文字在析取符號前面，然後

>>阅读原文<<