人工智能 一種現代方法 第9章 一階邏輯的推理

文章目錄 量詞的推理規則 代換（置換，substitution） 全稱量詞實例化（UI規則） 存在量詞的實例化 合一和提升 一般假言推理規則 合一 歸結 一階邏輯的合取範式CNF 一階邏輯的歸結推理規則（消解原理） 歸結反駁(Resolution Refutation) 前向鏈接與反向鏈接 一階限定字句（一階確定子句） 後向鏈接 一階邏輯語句翻譯示例 資源分享 量詞的推理規則 在命題邏輯中，根據歸

>>阅读原文<<