機器智能-高頻問題：一階邏輯歸結

四、歸結： a、與命題邏輯相比，有一個置換的過程 b、這k+n個元素中至少有兩個爲真，其中l有一個，m有一個 c、由於li和！mj是一致的，在θ下是可置換的，因此在θ置換下，刪除這兩個元素以後，結果依然爲真 d、舉例： e、步驟： ①、CNF化，將知識庫中的全部知識轉換爲CNF ②、KB（知識庫）和否a（結論）進行消元 ③、若是獲得空，證實KB可推出a ④、若是不爲空，證實KB不可推出a f、證實

>>阅读原文<<