人工智能chp40.pptVIP

人工智能(AI) 第四章(0) 人工智能中的一级谓词逻辑 4(0).1 一级谓词演算的基本体系 4(0).2 归结(消解Resolution) 4(0).3 归结反演系统(Refutation) 4(0).4 基于归结法的问答系统 参考书： 《人工智能原理与技术》俞瑞钊、史济建 浙江大学出版社 《人工智能基础》 高 济、朱淼良 高等教育出版社 《人工智能导论》 林尧瑞、马少平 清华大学出版社 * * 第四章 人工智能中的谓词逻辑 传统的形式逻辑始于古希腊的亚里士多德,已有两千多年的历史,它是人类思维的形式和规律。17世纪70年代数学中的形式化表示方法引入逻辑研究领域，经过几代科学家出色工作已发展成为数理逻辑的重要方向之一。 4.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同时为真或同时为假 t f f t t t f t f t t t f f f t t t f f f f f t t f t t P Q P→Q P∨Q P∧Q ～P P Q 第四章 人工智能中的谓词逻辑 例子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 第四章 人工智能中的谓词逻辑 4.2 命题公式得永真性与等值 定义(公式):(1) 原子命题是命题公式。 (2) 若α是命题公式，则～α也是命题公式。 (3) 如果α, β是命题公式，那么α∧β, α∨β, α→β, α β也都是命题公式。 (4) 所有命题公式都是有限次应用上述规则得到的。 判断一个字符串是否公式的方法是将任意由五个联结符连接的原子命题用一个原子命题表示。 例: α=～(～(P∧Q)→R) (P∨Q) α1 =～((～P→R) P) α2=～(P→R) P) α3 =～(P P) α4=～P α3 =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 Q=(P→Q)∧(Q→P) (P Q) R=P (Q R) 2. P→Q=～P∨Q 3. P∨Q=Q∨P P∧Q=Q∧P 4. (P∨Q)∨R=P∨(Q∨R) (P∧Q)∧R=P∧(Q∧R) 5. P∨(Q∧R)