AI：Robinson歸結原理

文章目錄 承前 基本原理 Robinson的基本方法 命題邏輯中的歸結原理 謂詞邏輯中的歸結原理 歸結原理推論1（充分） 歸結原理推論2（充要） 重要 承前 謂詞公式的不可滿足性分析可通過把謂詞公式轉化爲子句集後，對子句集中的子句作不可滿足性分析 基本原理 因爲子句集中的子句是合取關係，所以如果一個子句集中存在空子句，則此子句集不可滿足。 Robinson的基本方法 檢查子句集S中是否包含空子句，

>>阅读原文<<