浙大版人工智能chp1综述.ppt

人工智能(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个不同的原子命题P1…Pn, 它的任意一组确定值(P01,…,P0n),P0i∈{t,f}称为α的一个指派。指派分为成真指派，成假指派。 永真公式:若α的任一指派都使α为真(假)，则称α为永真(假)公式，α存在成真指派则也称α为可满足公式。下面是三个永真公式：P→(P∨Q), (P∧Q)→P (((P→Q)∧(R→S))∧(P∨R))→(Q∨S) 若的所有指派都是成假指派则称为永假公式或不可满足公式。 一般情况下可以列出公式的真值表确定其永真性。 等值公式：设两公式α, β对于任意指派都同时取相同的真假值，则称α, β为等值公式，记成α= β 。 常看到的含蕴涵联结词的一些永真公式 1. P→(P∨Q) 2. (P∧Q)→P 3. (P∧(P→Q))→Q 4. (～Q∧(P→Q))→～P 5. ((P∨Q)∧～P)→Q 6. ((P→Q)∧(Q→R))→(P→R) 7. (((P→Q)∧(R→S))∧(P∨R))→(Q∨S) 上述永真公式都可以用列真值表的方式证明。例如： (P∧(P→Q))→