浙大版人工智能chp1讲稿.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为真