人工智能第九章——一階邏輯的推理（待補充）

摘要 本文旨在講明： 1）代換，全稱量詞實例化，存在量詞實例化 2）合一，CNF，歸結推理 3）前向連接和後向連接web 前言 1、溫故知新（回顧） 命題邏輯是咱們最早學的邏輯，比較簡單，也比較好理解。 由於命題邏輯表達能力不夠，全部咱們又引入了一階邏輯，即FOL。FOL多了不少新概念新成分，好比全稱量詞和存在量詞。svg 全稱量詞一般接蘊含符號。 存在量詞一般接合取符號。函數 FOL中的句子：

>>阅读原文<<