人工智能原理ch2-1.pptVIP

* 第二章 谓词演算与消解原理 人工智能系统是一个知识处理系统，其中的3个基本问题是知识表示、知识利用和知识获取。 本课程围绕这几个问题进行。每一个都对应有很多方法。 本章着重介绍谓词演算与消解原理，以使同学们对人工智能课程有一个感性认识。 2.1 命题演算 2.1.1 符号和命题 命题：是关于世界的分辩真假的陈述句。 例如“天正在下雨”、“路面是湿的”等。 命题演算（下一节谓词演算）是语言，使用它们的单词、词组和句子，可以表示和推导世界上的事物的属性和事物之间的关系。 ［定义］符号和联结词 组成：命题符号 P、Q、R、…、U、V 真值符号 true (T)、false(F) 联结词 ∧、 ∨、 、 、 = 与 或 非 蕴含 等价 合取 析取 否定 蕴含 等价 ∩* ∪+ ～- → = ［定义］命题演算的命题 命题符号和真值符号是命题。 命题用联结词合成，所得仍为命题。 如 P=Q是命题。 P前提(前件) ， Q结果(后件) 2.1.2 命题演算的语义(意义) 在世界的某个状态下，一个命题可能为真，也可能为假。指派给命题的真值，称为一个解释。 命题演算的语义:合成命题的真值指派（解释） 基本语义： ，P∧Q， P∨Q，P=Q，P=Q 的真值指派与P、Q的真值指派之间的关系。 1. P为T，则 为F； 2. P，Q均为T，P∧Q才为T，否则为F； 3. P，Q均为F，P∨Q才为F，否则为T； 4. 蕴含式的真值指派： P=Q：当P为T，Q为F时为F，否则总是T。(4种可能性，只有一种为F)。 5. 等价式的真值指派： P=Q: P、Q均为相同的T或F时，P=Q为T，否则为F。 命题演算中，如果两个表达式在任何真值指派下都有相同的真值，则称为是等价的。 P=Q= ∨Q 命题演算恒等式：(P、Q、R是命题表达式) （1）否定之否定 = P （2）蕴含 P=Q = ∨Q （3）德.摩根律 = ∧ = ∨ （4）分配律 P∧(Q∨R）=(P∧Q)∨(P∧R) P∨(Q∧R) =(P∨Q)∧(P∨R) （5）交换律 P∧Q=Q∧P； P∨Q=Q∨R （6）结合律 ((P∧Q)∧R)=(P∧(Q∧R)) ((P∨Q)∨R)=(P∨(Q∨R)) （7）置换律 ( P=Q)=( = ) 练习一：用真值表证明分配律 P∨(Q∧R)=(P∨Q)∧(P∨R)。 练习二：用恒等式方法证明 (P=Q)∧(Q=P)与(P∨Q)=(P∧Q)逻辑等价。 2.2 谓词演算 2.2.1 谓词的语法和命题 语法：符号，联结符，合成（结果） ［定义］ 谓词演算的符号（组成） 英语字母集合，包含大写与小写。 数字集合 0,1,…，9。 下划线。 合法：friends_of fire3 George ab_cd 不合法：3jack ab%cd **71 Ab5cd 为了便于理解程序代码，通常采用代表符号真实意义的“单词”来表达 如l(g,k) , like(george,kate) 谓词演算的符号可以代表变元、常元、函词和谓词。 常元：指世界中特定事物。常元符号以小写字母开头，如tree。 变元：用于命名世界上一般类型的对象和特性。以大写字母开头。 函词：代表一个集合（定义域）的一个或多个元素到另一个集合（值域）的唯一元素的映射，以小写字母开头。 一元函词 father(david) 该表达式的值为george 二元函词 plus(2,3) 值为5。把两个数字映射到它们的算术和。 谓词：谓词命名了世界上从0到多个对象之间的关系，以小写字母开头。 如likes, equals, on , near, part_of 二元谓词 likes(george,bill) ; 三元函词