AI：Robinson归结原理

文章目录 承前 基本原理 Robinson的基本方法 命题逻辑中的归结原理 谓词逻辑中的归结原理 归结原理推论1（充分） 归结原理推论2（充要） 重要 承前 谓词公式的不可满足性分析可通过把谓词公式转化为子句集后，对子句集中的子句作不可满足性分析 基本原理 因为子句集中的子句是合取关系，所以如果一个子句集中存在空子句，则此子句集不可满足。 Robinson的基本方法 检查子句集S中是否包含空子句，

>>阅读原文<<