詳解人工智能之確定性推理方法

文章目錄 推理的定義 推理方式及其分類 推理的方向 衝突消解策略 自然演繹推理 謂詞公式化爲子句集的方法 魯賓遜歸結原理 1.命題邏輯中的歸結原理（基子句的歸結） 2.謂詞邏輯中的歸結原理（含有變量的子句的歸結） 歸結反演 應用歸結原理求解問題 推理的定義 推理方式及其分類 1.演繹推理：一般 → 個體 三段論式（三段論法） 2.歸納推理：個體 → 一般 完全歸納推理（必然性推理） 不完全歸納推理

>>阅读原文<<