机器智能-高频问题：一阶逻辑归结

四、归结： a、与命题逻辑相比，有一个置换的过程 b、这k+n个元素中至少有两个为真，其中l有一个，m有一个 c、由于li和！mj是一致的，在θ下是可置换的，因此在θ置换下，删除这两个元素以后，结果依然为真 d、举例： e、步骤： ①、CNF化，将知识库中的全部知识转换为CNF ②、KB（知识库）和否a（结论）进行消元 ③、若是获得空，证实KB可推出a ④、若是不为空，证实KB不可推出a f、证实

>>阅读原文<<