全称量词-浙江大学计算机学院.PPTVIP

第三章 谓词逻辑（第一部分）(Chapter 3 Predicate Logic)(Part A) 徐从富 浙江大学人工智能研究所 2002年第一稿 2004年9月修改 步5. 把“爱”和“恨”的概念分出来： ??x[爱(x) ? 无缘故 (x)] ? ??y[爱(y) ? 无缘故 (y)] 步6. 把“缘故”的否定词分出来： ??x[爱(x) ? ?有缘故 (x)] ? ??y[爱(y) ? ?有缘故 (y)] 步7. 把“A是B的原因”这个概念中的A和B分解开来： ??x[爱(x) ? ? ?y 缘故 (x, y)] ? ??t[爱(t) ? ? ?s 缘故 (t, s)] 注意：一般地，分得越细，所含的知识越丰富，但推理效率也越低，究竟分到什么程度，应视需要而定。 3.2.3 永真性 永真：一个公式如果它对所有的解释均取真值，则称作“永真”。 重言式：永真的基公式。 例如：P(x) ? [ P(x) ? P(y) ] 为永真。 P(x) P(y) P(x) ? P(y) 说明 F F F T F T T T T F T T T T T T 3.3 与或句演绎系统 3.3.1 与或句的SKOLEM标准形 SKOLEM标准形：只有? , ?, 谓词（原子），前有“非”符号（?）的谓词（负原子），以及看不见的全称量词（ ? ）组成的合适公式称为“与或句”——SKOLEM标准形。【注】：正、负原子统称为“句节”。 任何合适公式都可化成与或句的形式。分为两步： 第一步：化成前束范式，即所有量词都在合适公式的最前面，每个量词的辖域（适用范围）都是整个公式。进而将合适公式化成等值的合取范式。 第二步：消去存在量词，只剩下全称量词。 化为前束范式的步骤是： 1. 把 “If A then B else C”化成 (A ? B) ? (? A ? C) 或 (A ? B) ? (? A ? C) 2. 把 A ? B （或A ? B）化成 (A ? B) ? (B ? A) 或 (A ? B) ? (B ? A) 3. 把 A ? B （或A ? B）化成 ? A ? B 4. 利用下列式子消去或移入“非”符号 (1) 把 ? ? A化成 A (2) 把 ?(A ? B) 化成 ?A ? ? B (3) 把 ?(A ? B) 化成 ?A ? ? B (4) 把 ? ?x A(x) 化成 ?x (?A(x)) (5) 把 ? ?x A(x) 化成 ?x (?A(x)) 5. 把所有的量词变量全部换成不同的名字 例如： ?x A(x) ? ?x B(x) 化成 ?x A(x) ? ?y B(y) 6. 把所有的量词按原来次序移至最前边。 * * 一阶谓词演算是一种形式语言，其根本目的在于把数学中的逻辑论证符号化，之所以有用是其给出了一种数学演绎方法： 旧知识 ——数学演绎—? 新知识 参考书： [1]俞瑞钊. 数理逻辑. 浙江大学出版社. [2]Chang, C. L., Lee, R.C.T. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973. 最重要的三类谓词演算的相互关系： 命题演算 ? 一阶谓词演算 ? 二阶谓词演算 【注】：本课程对二阶谓词演算不予讨论。 3.1 谓词演算 3.1.1 命题逻辑及其局限性 命题：不带参数的谓词 谓词：带参数的命题 我们可以很容易地把客观世界的各种事实表示为逻辑命题，用命题逻辑把各种命题写成合适公式（WFF），也称“谓词公式”。例如： 晴天: 表示为 SUNNY 雨天： 表示为 RAINING 雾天： 表示为 FOGGY “若为雨天，则非晴天” 表示为 RAINING ? ?SUNNY “张三是工人” 表示为 ZHANG-SAN-IS-WORKER “毛泽东生于1893年” 表示为 MAO-TZETONG-IS-BORN-IN-EIGHTEEN-NINETY-THREE 注：上述连字符，只是为了便于阅读，可有可无。 由上述可知，表示知识的陈述性形式称为命题。 带有参数