人工智能chp0.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为真当且仅当其中有一个为真