04_2第4章推理技术_谓词逻辑.pptVIP

第四章 推理技术 ;推理技术概述;逻辑推理举例;有几条疯狗？;爱因斯坦的世界难题（1）;爱因斯坦的世界难题（2）;逻辑学与计算机科学;*;逻辑系统;逻辑;1.3 命题逻辑;;1.4 谓词逻辑(一阶逻辑);谓词逻辑中的形式演绎推理;表4.1 常用逻辑等价式 ;表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 P(x,y)∨乛Q(x) ; 定义2 对一个谓词公式G，通过以下步骤所得的子句集合S，称为G的子句集。 (1)消去蕴含词→和等值词←→。可使用逻辑等价式: ①A→B 乛A∨B ②A← →B (乛A∨B)∧(乛B∨A) (2)缩小否定词的作用范围，直到其仅作用于原子公式。可使用逻辑等价式: ①乛(乛A) A ②乛(A∧B) 乛A∨乛B ;③乛(A∨B) 乛A∧乛B ④乛 xP(x) x乛P(x) ⑤乛 xP(x) x