命题逻辑(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)
一阶逻辑退化成命题逻辑
注意:
常量不可以代换,变量才可以代换
就算是用常量代替常量也不可以
比如:
量词的推理规则
从含有量词的语句推导出不含有量词的语句
退化到命题推理
假言推理
前项链接
前项链接算法是效率低下的