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

命题逻辑(Propositional Logic) 形如 ¬P，P∧Q，P∨Q，P → Q ，P↔Q的语句，值为True或者False推理规则较简单， 往往通过(1.真值表 2.为数不多的推理规则，例如Modus ponesn等几个) 缺点，不能或者很难表示复杂的语句，不能记录推理过程中的变化

一阶逻辑(First Order Logic)，简称FOL包含的东西有 常量(Constant symbol)，谓词符号(Predicate symbol)，函数符号(Function symbol)，变量(Variable)，连词( ∧∨→↔)，量词(Quantifiers, ∃∀)，例如：Father(Mary) = Bob father_of(Mary, Bob)

一阶逻辑退化成命题逻辑

注意： 常量不可以代换，变量才可以代换 就算是用常量代替常量也不可以

比如：

量词的推理规则

从含有量词的语句推导出不含有量词的语句

退化到命题推理

假言推理

前项链接

前项链接算法是效率低下的