[工学]人工智能课件2.ppt

第2章人工智能逻辑 李长河主编 第2章人工智能逻辑 第2章 人工智能逻辑 2.1 命题逻辑与谓词逻辑 2.2 谓词公式及其逻辑表达式 2.3* 谓词逻辑的演算律 2.4 “非二值”逻辑 2.5# 模糊逻辑 2.1 命题逻辑与谓词逻辑 什么是逻辑？简单地说，逻辑就是人们用以处理问题而抽象的一种思维规则或计算方法。 本章主要对人工智能常用的谓词逻辑以及非二值逻辑进行了讨论，扼要介绍了目前智能领域发展引用的多种逻辑。 2.1.1 命题逻辑 命题逻辑的关系表达直观、生动而简洁，它是谓词逻辑得以发展的前导和基础。把命题逻辑加以简单的形式化，就能扩展应用于谓词逻辑推理中。 1. 命题和个体 设有如下符号命名的语句： ①X：爱因斯坦是一位伟人。 ②Y：海水是甜的。 ③W：3+4=9 上述X、Y、Z都是陈述性语句，分别具有肯定(True)或否定(False)意义的真值，我们把它们都称之为命题。其中，诸如“爱因斯坦”，“海水”，数字“3”、“4”等，它们是命题中的行为中心对象，又称为个体。 2.1.1 命题逻辑 定义2.1 命题(Proposition)，即具有真(T)假(F)意义的陈述性语句。 2.1.1 命题逻辑 2.1.1 命题逻辑 2. 谓词及变元 2.1.1 命题逻辑 2. 谓词及变元 2.1.1 命题逻辑 2. 谓词及变元 2.1.1 命题逻辑 3. 谓词的元和谓词的阶 2.1.1 命题逻辑 3. 谓词的元和谓词的阶 2.1.1 命题逻辑 4. 命题与谓词逻辑的关系 2.1.2命题和谓词逻辑基础 命题或谓词逻辑推理演算，主要可利用连接词和量词，把单个的谓词组合成为谓词公式来完成。 基于命题和谓词逻辑可相互转换的特性，这里约定：在后继学习中，对命题和谓词逻辑的相关公式表达、相关定理、定律的论证和推导等，不再加以严格区别。 2.1.2命题和谓词逻辑基础 1. 连接词 (Connectives) 所引入的连接词共有五个。 ⑴符号“?”称为“否定”(Negation)或补，表示“非”的连接关系。即当命题P为真时，则?P 为假；反之，当命题P为假，则?P 为真。 ⑵符号“∧”称为“合取”(Conjunction)，表示“与”(AND)或“同时”的关系。例如，P∧Q，读作“P与Q”。 ⑶符号“∨”称为“析取”(Disjunction)，它表示“或”(OR)的连接关系。例如，P∨Q，读作“P或Q”。 2.1.2命题和谓词逻辑基础 1. 连接词 (Connectives) ⑷符号“→”称为“条件”(Conditional)或者“蕴涵”(Implication)，它表示“如果……，则……”的定义关系。例如，在P→Q的表达式中，表示了“如果P，则Q”的条件推导关系。这里，又称P为前件，称Q后件。P表示了条件的前提；Q表示了逻辑结论。 应该强调指出，条件表达式有一个重要特性： 当前件P=F时，无论后件Q为何值(T或者F)，条件式P→Q真值总是为T； 当前件P=T时，条件式P→Q的真值总是与后件Q真值相同。 ⑸符号“?”称为“双条件”(Biconditional)或者等价(Equivalence) 连接关系。例如，表达式P?Q，读作“P当且仅当Q”。或者说它表示的含义为：P为真，当且仅当Q为真。 2.1.2命题和谓词逻辑基础 1. 连接词 (Connectives) 2.1.2命题和谓词逻辑基础 2. 量词 (Quantifiers) 量词，表示了个体与个体域之间的包含关系。 ⑴全称量词(Universal Quantifier)：用字符“?x”表达，表示了该量词作用的辖域为个体域中“所有的个体x”或“每一个体x都”要遵从所约定的谓词关系。 例2-4 (?x)(现代理工科大学生(x)→学习计算机应用基础(x))； 解：该谓词逻辑表达的含义是：“所有现代理工科的大学生x，都必须学习计算机应用基础课程”。 2.1.2命题和谓词逻辑基础 2. 量词 (Quantifiers) ⑵存在量词(Existential Quantifier)：用字符“彐x”表达，表示了该量词要求“存在于个体域中的某些个体x”或“某个个体x”，要服从所约定的谓词关系。 例2-5，(?x)(彐y)(CLASSMATE(x, y)∧COLLEGE OF COMPUTER(x)； 解：该谓词逻辑表达的意思是：在所有的