知识表示-人工智能导论PPT.ppt

第3 章 知识表示;本章知识结构;本章学习要点;3.2 一阶谓词逻辑表示法;知识是人类智能的基础。 智能活动过程主要是一个获取知识并运用知识的过程。 人工智能问题的求解也是以知识为基础的，知识的获取、知识的表示和运用知识进行推理是人工智能学科研究的3个主要问题。;知识的金字塔结构; 数据 是记录信息的符号，是信息的载体和表示。; 相同的数据在不同的环境下表示不同的含义，蕴涵不同的信息； 并不是所有的数据都蕴涵着信息； 不同格式的数据所蕴涵的信息量是不同的。; 知识、数据和信息的关系;【实例】知识的形成; 数据加工 将每两位数字分为一组； 忽略那些小于32的两位数； 把余下的每组两位数用ASCII字符代替。; 加工后的信息 ; 信息所表示的知识; 元知识 所谓元知识，就是指使用知识的知识。;3.1.2 知识的种类; 相对正确性 不确定性 可表示性 可利用性 ; 面向计算机的知识描述或表达形式和方法。 知识表示的过程就是把知识编码成某种数据结构的过程。; 知识表示方法; 表示知识的能力 与推理方法的匹配 知识和元知识的一致 是否自然 过程性表示还是说明 性表示;3.2 一阶谓词逻辑表示法;3.2 一阶谓词逻辑表示法;3.2.1 谓词、函数、量词（参见教材95页）;f（x1,x2,……,xn);“所有”、“一切”、“任一”、“全体”、“凡是”; (1) 所有的人都是要死的。 (2) 有的人活到100岁以上。 在个体域D为人类集合时，可符号化为：;个体变元的变化范围称为个体域（或论述域）。 包揽一切事物的集合称为全总个体域。 用谓词表示时，一般取全总个体域，然后再采取使用限定谓词的方法指出每个个体变元的个体域。 （1）对于全称量词： （2）对于存在量词：; 紧接于量词之后被量词作用（即说明）的谓词公式称为该量词的辖域。 （1）对于全称量词： （2）对于存在量词：; 指导变元、约束变元、自由变元（教材P97）;【改名规则】;【改名规则的应用实例】;3.2.2 谓词公式;∧ ：合取（与）;∧ ： “我喜欢音乐和绘画”，可表示为： LIKE(I, Music) ∧ LIKE(I, Painting);：“如果小王跑得最快，那么他获得冠军。” 　RUN(Wang, Faster) WIN(Wang, Champion) ;3.2.3 一阶谓词(教材P97）; 谓词公式表示知识的步骤：;例1：张三与李四打网球 (Zhang and Li play tennis) 解：① 定义谓词： PLAY（x,y,z): x和y进行运动z 定义个体： Zhang（张三）；Li（李四）； tennis（乒乓球） ② 将个体代入谓词中 PLAY(Zhang,Li,tennis);例2: (1) 马科斯是男人。 (2) 马科斯是庞贝人。 (3) 所有庞贝人都是罗马人。 (4) 每个罗马人都有一个父亲。 使用谓词逻辑表达为： (1) MAN(Marcus); (2) POMPEIAN(Marcus); (3) (4) ;例3： ① 有的人喜欢梅花，有的人喜欢菊花，有的人既 喜欢梅花又喜欢菊花。 定义谓词：LIKE(x, y): x喜欢y。 定义个体：x：人 meihua:梅花 juhua:菊花 表示为：;② 喜欢玩篮球的人必喜欢踢足球。 定义谓词： LIKEPLAY(x, y): x喜欢玩y。 定义个体： basketball:篮球 football:足球 表示为：;③ 要想出国留学，必须通过外语考试。 定义谓词：PASS(x, y): x通过y EXAM(z):关于z的考试 WANT(x, y): x想到y学习 定义个体：abroad:出国 English:外语 表示为：;④ 并不是所有的学生选修了历史和生物。 定义谓词：TAKES(x, y): 学生 x 选修了课程 y STUDENT(x): x 是学生 定义个体： H: 历史课程 B: 生物课程 表示为：; ① 小张不肯学习但他是幸运的。 ② 所有人都有饭吃。 ③ 他每天下