浙大版人工智能chp127.pptVIP

人工智能 (AI) 第一章 人工智能中的一级谓词逻辑 1.1 命题及逻辑联结词 1.2 命题公式的永真性及等值 1.3 对偶定理 1.4 析取范式与合取范式 1.5 逻辑推理 1.6 命题演算的王浩算法 1.7 一级谓词逻辑的基本概念 参考书： 《人工智能原理与技术》俞瑞钊、史济建 浙江大学出版社 第一章 人工智能中的命题及逻辑联结词 传统的形式逻辑始于古希腊的亚里士多德 , 已有两千 多年的历史 , 它是人类思维的形式和规律。 17 世纪 70 年代 数学中的形式化表示方法引入逻辑研究领域，经过几代 科学家出色工作已发展成为数理逻辑的重要方向之一。 1.1 命题及逻辑连接词 定义： 命题是能够判断真假的陈述句。 例如： 1. 雪是白的。 ( 是 ) 2. 他是工人。 ( 不是 ) 3. 19 是 3 和 6 的倍数。 ( 是 ) 4. 请乘坐汽车去。 ( 不是 ) 一般情况下用 P 、 Q 、 R 等大写符号表示命题。 第一章 人工智能中的谓词逻辑 逻辑连接词定义： 逻辑“非”， ～， 命题 P 的非记成 ～ P, ～ P 为真当且仅当 P 假 “合取”， ∧， P ∧ Q 表示不仅 P 而且 Q ， P ∧ Q 真 =P 和 Q 为真 “析取”， ∨ ，命题 P ∨ Q 为真当且仅当其中有一个为真 “蕴涵”， → ， P → Q 意思是如果 P 则 Q, 结果为假当且仅当 P 为真且 Q 为假 “等价”， ， P Q 为真当且仅当 P,Q 同时为真或同时为假 P Q ～ P P ∧ Q P ∨ Q P→Q P Q f f f t t f t t t t f f f f f t f t t t t t f t t f f t 第一章 人工智能中的谓词逻辑 例子 1 ： 命题 P 表示“昨天下雨”， Q 表示“昨天开会”， 则“昨天下雨且开会”表示成 P ∧ Q 。 例子 2: P 表示“ 6 大于 4 ” ， Q 表示“ 3 大于 4 ” ， R 表示“ 18 大于 16 ” ，则“如果 6 大于 4 ， 3 不大于 4 ，则 18 不大于 16 ” 写成 (P ∧ ～ Q) → ～ R 。 注意：符号表达语句时首先要确切，与原语句涵义一 致。其次对于 复合命题 都要写成原子命题联结。如用 P 表示“ 18 是 6 和 9 的公倍数”是错误的。 例子 3 ： “小张不会德文也不会法文” 用 P 表示“小张会德文”， Q 表示“小张会法文”，则 原语句写成 ～ P ∧ ～ Q 1.2 命题公式的永真性与等值 定义 ( 公式 ): (1) 原子命题是命题公式。 (2) 若 α 是命题公式，则 ～ α 也是命题公式。 (3) 如果 α , β 是命题公式，那么 α ∧ β , α ∨ β , α → β , α β 也都是命题公式。 (4) 所有命题公式都是有限次应用上述规则得到的。 判断一个字符串是否公式的方法是将任意由五个联 结符连接的原子命题用一个原子命题表示。 例 : α = ～ ( ～ (P ∧ Q) → R) (P ∨ Q) α 1 = ～ (( ～ P→R) P) α 2 = ～ (P→R) P) α 3 = ～ (P P) α 4 = ～ P α 5 =P 所以 α 是命题公式。 指派： 命题公式 α 含有 n 个不同的原子命题 P 1 … P n , 它的 任意一组确定值 (P 01 , … ,P 0 n ),P 0i ∈{t,f}称为 α 的一个指 派。指派分为成真指派，成假指派。