AI：歸結反演及問題求解

文章目錄 歸結反演########## 定義 步驟 示例 1. 前提 -> 謂詞公式 2. 結論 -> 其否定 3. 公式 -> 子句集 4. 對子句集進行歸結 問題求解########## 定義 步驟 示例 歸結反演########## 定義 應用歸結原理（如Robinson）證明定理的過程稱爲歸結反演 步驟 將已知前提表示爲謂詞公式F 將待證明的結論表示爲謂詞公式Q，並得到它的否定 非Q。 把

>>阅读原文<<