人工智能：一种现代方法学习笔记(第九章)——一阶逻辑推理

命题逻辑（Propositional Logic） 形如 ¬P，P∧Q，P∨Q，P → Q ，P↔Q的语句，值为True或者False推理规则较简单， 往往通过（1.真值表 2.为数不多的推理规则，例如Modus ponesn等几个） 缺点，不能或者很难表示复杂的语句，不能记录推理过程中的变化 一阶逻辑（First Order Logic），简称FOL包含的东西有 常量（Constant symb

>>阅读原文<<