人工智能及专家系统 教学课件 ppt 作者 敖志刚 第4章 逻辑的知识表示和推理
69页1、敖志刚 编制,第4章 逻辑的知识表示和推理,41 命题与逻辑 411 命题与命题定律 412 谓词逻辑 42 谓词逻辑知识表示 421 谓词逻辑知识表示方法 422 谓词逻辑表示的优缺点 43 逻辑推理的技术与算法 431 子句集及其化简 432 置换与合一 433 鲁滨逊消解(归结)原理,第4章 逻辑的知识表示和推理,41 命题与逻辑,4.1.1 命题与命题定律 1.概念 命题、真命题、假命题、原子命题、不是命题。 命题的表示大写A、B、C P、Q、R。 2. 联结词(Connectives) 否定或补的联结词用“”表示 合取用“”表示, 析取用“”表示, 单条件联结词用“” 双条件联结词“ ” 联结词运算的先后次序为、 ,同级联结词先出现先运算,3. 定义,真值指派:设一个由n个变元P1,P2,Pn组成的命题表达式A,则A的取值由这n个变元唯一确定。把变元的一组取值(T或F)叫做该表达式的一个真值指派。 真值表:真值表是由命题表达式所有的真值指派和对应的表达式真值所组成的一张表。 永真式 永假式 等价式:设P与Q是D上的两个谓词公式,若对D上的任意解释,P与Q都有相同的真值,则称P
2、与Q在D 上是等价的。如果D是任意非空个体域,则称P与Q是等价的,记作PQ。 永真蕴含式:对谓词公式P和Q,如果PQ永真,则称P 永真蕴含Q,且称Q为P的逻辑结论,P为Q的前提,记作P Q。,4. 真值表,5. 常用的等价命题定律, 双重否定律 P P 交换律 PQ QP PQ QP 结合律 (PQ)R P(QR) (PQ)R P(QR),5. 常用的等价命题定律, 分配律 P(QR) (PQ)(PR) P(QR) (PQ)(PR) P(QR) (PQ)(PR) 狄摩根定律 (PQ) PQ (PQ) PQ, 吸收律 P(PQ) P P(PQ) P 联结词化规律 PQ PQ P Q (PQ)(QP) P Q (PQ)(PQ) 变换等价式 P (PQ)(PQ),5. 常用的等价命题定律,6. 永真蕴含式,常用的永真蕴含式如下: (1) 化简式 PQ P, PQ Q (2) 附加式 P PQ, Q PQ (3) 析取三段论 P, PQ Q (4) 假言推理 P, PQ Q (5) 拒取式 Q, PQ P (6) 假言三段论 PQ, QR PR (7) 二难推理 PQ, PR, QR R (8
3、) 全称固化 (x)P(x) P(y) 其中,y是个体域中任一个体,依此可消去谓词公式中的全称量词 (9) 存在固化 (x)P(x) P(y) 其中,y是个体域中某一个可以使P(y)为真的个体,依此可消去谓词公式中的存在量词。,7. 利用命题定律证明等价式,逻辑推理的步骤: 利用联结词化规律化掉、 ; 利用狄摩根定律将深入到变元; 利用分配律进行变换。,8. 示例,例4-1 试证明: (P(PQ)Q (PQ)(PQ) 例4-2 证明等价式:(PQ)(RQ) (PR)Q,12 谓词逻辑,1. 谓词和个体 个体是指可以独立存在的事物,如花(桃花,玫瑰,犁花)、计算机、智能等等。谓词是用来刻划个体的性质或关系的。例如张三和李四是工人。 通常用大写英文字母表示谓词,用小写英文字母表示个体。如果x的集合为a1,a2,an,则STUDENT(an)为真(T)。 与一个个体相联的谓词叫一元谓词,与多个个体相联的谓词叫多元谓词。一个n元的谓词常可表示为P(x1,x2,xn),一般来说,在多元谓词中,个体间的次序不可随意交换。,2. 量词,首先来考察两个谓词 P(x): x2 - 1(x + 1)(x
4、1) Q(x): x + 3 对于-时为T。 1 全称量词 通常把“所有”、“一切”、“任一”、“全体”、“凡是”等词统称为全称量词,记为 ;符号“ ”表示对于个体域中所有的个体 x,p(x) 谓词均为T。 2存在量词 通常把“存在”、“有些”、“至少有一个”、“有的”等词统称为存在量词,记为 ;符号“ ”表示对于个体域中存在某些个体x,Q(x)谓词均为T。,3. 量词的集合表示,设个体域x是有限集合S: S = a1,a2,an 由量词的意义可知 A(a1)A(a2)A(an) A(a1)A(a2)A(an),4. 量词之间的关系,对于二元谓词P(x,y),存在以下量化的可能: 一般来讲,量词的先后次序不可交换。例如,x和y的个体域都是所有鞋子的集合,P(x,y)表示一只鞋子x可与另一只鞋子y配对, 则表示“存在一只鞋子x,它可以与任何一只鞋子y配对”,这是不可能的,是个假命题。而 表示“对任何一只鞋子y,总存在一些鞋子x可以与它配对”,这是真命题。,3. 含有量词的等价式, 量词的转换律 量词的分配律 ,3. 含有量词的等价式, 量词辖域扩张及收缩律 ,3. 含有量词的等价式, 其
《人工智能及专家系统 教学课件 ppt 作者 敖志刚 第4章 逻辑的知识表示和推理》由会员E****分享,可在线阅读,更多相关《人工智能及专家系统 教学课件 ppt 作者 敖志刚 第4章 逻辑的知识表示和推理》请在金锄头文库上搜索。
逍遥游复习 知识点整理
近现代法德关系史 高三展示课3稿
当代大学生人生信仰及追求的调查研究
长相思 纳兰性德-ppt课件
课件:危机意识 一
英语ppt演讲关于阿甘正传
发达国家基础教育改革的动向与趋势 修改版
中国民间美术 课件.ppt
生物质发电技术与系统 课程ppt 第1章 生物质发电技术现状及发展趋势 2学时 -----2016
现代信号处理思考题 含答案
执业药师继续教育 抑郁症的药物治疗 100分
小学生的成长档案模板不用修改 万能型
增订六版 现代汉语 上册 第二章文字 思考与练习答案
国家财政ppt课件
加拿大英语介绍
六年级统计图的选择课件
中学生成长档案ppt
中国现代文学史期末复习整理
lohi和hihilo训练对女子赛艇运动员运动能力影响的比较研究
风雨贾平凹阅读答案
2024-04-11 25页
2024-04-11 37页
2024-04-11 28页
2024-04-11 31页
2024-04-11 36页
2024-04-11 29页
2024-04-11 22页
2024-04-11 27页
2024-04-11 34页
2024-04-11 32页