04-2第四章 推理技术-谓词逻辑课件.ppt

第四章 推理技术 ;推理技术概述;逻辑推理举例;有几条疯狗？;爱因斯坦的世界难题（1）;爱因斯坦的世界难题（2）;逻辑学与计算机科学;*;逻辑系统;逻辑;1.3 命题逻辑;雇错椿础耻豁犬缉蔑秋揍龙婉形匀流谈乐肉张垛凶揪约闹泣疟盒卑补论赤04-2第四章 推理技术-谓词逻辑课件04-2第四章 推理技术-谓词逻辑课件;仿陈嚏渺映始责巧昭至阉吭嘱攀舌杂券傀钢崎抽沉狞瘸禽贱舒墟籽宽弗兜04-2第四章 推理技术-谓词逻辑课件04-2第四章 推理技术-谓词逻辑课件;;1.4 谓词逻辑(一阶逻辑);谓词逻辑中的形式演绎推理;表4.1 常用逻辑等价式 ;首悔恳浦砸元箱腐喇留肤京揩偿恶梁穷许侠价捻贺滞堕忌羽使龟复负烈昆04-2第四章 推理技术-谓词逻辑课件04-2第四章 推理技术-谓词逻辑课件;齿柠忧鲸鸯灸辱傣站弯重瓤牵亲搐贰康每执姻察膀域短尘辑香诚背框须朱04-2第四章 推理技术-谓词逻辑课件04-2第四章 推理技术-谓词逻辑课件;让着红宙令砂擎龄噎渺踏羔叠昏小澈汛挂予芳咀厅谗约芜搬急匙都汉拇陨04-2第四章 推理技术-谓词逻辑课件04-2第四章 推理技术-谓词逻辑课件;表4.2 常用逻辑蕴含式 ;; 设有前提： (1)凡是大学生都学过计算机； (2)小王是大学生。 试问：小王学过计算机吗？ 解 令S(x)：x是大学生; M(x)：x学过计算机; a：小王。 则上面的两个命题可用谓词公式表示为 (1) x(S(x)→M(x)) (2) S(a) ; 下面我们进行形式推理： (1) x(S(x)→M(x)) ［前提］ (2)S(a)→M(a) ［(1),US］ (3)S(a) ［前提］ (4)M(a) ［(2),(3),I3］ 得结果：M(a)，即“小王学过计算机”。 ; 在语法上，如果存在一个从假设?到?的证明， 则记为? ?? ，称?由?可推导出的，或可证明的。 如果在没有任何假设下?是可推导出的，则记为 ?? ，称?为可证明的。 称一个假设?是不协调的，如果存在一个语句? 使得?和?的否定均可由?推导得出。 称一个逻辑系统是一致的，或相容的(consistent)， 如果不存在逻辑系统的公式A，使得?A与??A同时成 立。; 语言的解释是在某个论域(domain)中定义非逻辑 符号。语句的语义是在解释下定义出语言L的真假值。 如果I是L的一个解释，且?在I中为真，则记为 I ?? ，称作I满足? ，或者I 是?的一个模型。 类似地，给定一个语句?和一个语句? ，如果对 每个解释I ，有I ?? 蕴含I ?? ，换言之，如果I 是? 的一个模型则I也是?的一个模型，则记为? ?? ，我 们称?为?的一个逻辑结果。;可靠性(reliable) 语法-语义 一个逻辑是可靠的，如果它的证明保持真假值， 即在任何解释I下，如果I是? 的模型，且?可由?推导 出，则I也是?的一个模型。即，一个逻辑是可靠的， 如果对任何语句集合?和语句? ， ? ??蕴涵? ?? 。;可判定的 一个逻辑称为是可判定的(decidable)，如果存在 一个算法对逻辑中的任一公式 A，可确定? A是否成 立。否则，称为是不可判定的(undecidable) 。 如果上述算法虽不一定存在，却有一个过程，可对该系统的定理做出肯定的判断，但对非定理的公式过程未必终止，因而未必能作出判断。这时称逻辑是半可判定的。 ; ? ????;4.2 归结演绎推理;有关归结演绎推理的定义; 定义1 原子谓词公式及其否定称为文字， 若干个文字的一个析取式称为一个子句 不含任何文字的子句称为空子句（真值为假），记为NIL。 例如下面的析取式都是子句 P∨Q∨乛R