人工智能：一種現代方法學習筆記(第九章)——一階邏輯推理

命題邏輯（Propositional Logic） 形如 ¬P，P∧Q，P∨Q，P → Q ，P↔Q的語句，值爲True或者False推理規則較簡單， 往往通過（1.真值表 2.爲數不多的推理規則，例如Modus ponesn等幾個） 缺點，不能或者很難表示複雜的語句，不能記錄推理過程中的變化 一階邏輯（First Order Logic），簡稱FOL包含的東西有 常量（Constant symb

>>阅读原文<<