知识表示与推理 5.1 概述 5.2 基于谓词逻辑的机器推理 ...课件.ppt

frame(name(教师)， body(［st(类属，［st(知识分子，［］)］)， st(“工作”，［st(“范围”，［st(“教学”，［］)，st(“科研”， ［］)］)，st(缺省，［st(教学，［］)］)］)， st(性别，［st(男，［］)，st(女，［］)］)， st(学历，［st(中师，［］)，st(高师，［］)］)， st(“类型”，［st(“小学教师”，［］)，st(“中学教师”， ［］)，st(大学教师［］)］)］)) 精品 5.4.2 语义网络 1. 语义网络的概念 语义网络是由节点和边（也称有向弧）组成的一种有向图。其中节点表示事物、对象、概念、行为、性质、状态等；有向边表示节点之间的某种联系或关系。 精品 图7―2　苹果的语义网络 精品 2. 语义网络的表达能力 （1）实例关系：实例关系表示类与其实例之间的系。 （2）分类（泛化）关系：分类关系是指事物间的类属关系。 （3）组装关系：如果下层概念是上层概念的一个方面或者一部分，则称它们的关系是组装关系。 （4）属性关系：属性关系表示对象的属性及其属性值。 （5）集合与成员关系：成员（或元素）与集合之间的关系。 （6）逻辑关系 （7）方位关系 （8）所属关系： “具有”的意思。 （9）语句或事件 （10）谓词公式 精品 3. 基于语义网络的推理 基于语义网络的推理也是继承。继承也是通过匹配、搜索实现的。 例： 苹果 x 富士 特点 AKO 图7―15 语义网络片段 精品 4. 语义网络的程序语言实现 ● 语义网络是一个二元关系图 例： a_kind_of(苹果，水果). 　　taste(苹果，甜). 　　a_kind_of(富士，苹果). 　　intro_from(富士，日本). 　　is_a(日本，亚洲国家). … … … 精品 也可以表示为 arc(a_kind_of，苹果，水果). arc(taste，苹果，甜). arc(a_kind_of，富士，苹果). arc(intro_from，富士，日本). arc(is_a，日本，亚洲国家). … … … 或者 net1( a_kind_of(“苹果”，“水果”)， taste(“苹果”，“甜”)， a_kind_of(“秦冠”，“苹果”)， produ_in(秦冠，陕西)). 精品 5.4.3 类与对象 精品 图7―4 表示实例关系的语义网络 小华 大学生 是一个 精品 图7―5 表示分类关系的语义网络 精品 桌子 桌腿 桌面 一部分 一部分 图7―6 表示组装关系的语义网络 精品 图7―7 表示属性关系的语义网络 精品 图7―8 表示集合—成员关系的语义网络 张三 计算机学会 是成员 精品 图7―9 表示逻辑关系的语义网络 雨天 外出 AND OR 带雨披 带雨伞 则 精品 图7―10 表示方位关系的语义网络 电子2路 石油学院 张宏 助教 西安市区 25岁 位于 工作在 职务 属于 年龄 精品 图7―11 表示所属关系的语义网络 狗 尾巴 have 精品 图7―12 语句(事件)的语义网络 精品 图7―13 谓词公式的语义网络 精品 图7―14 分块语义网络 又如： x(student (x) → read (x, 三国演义)) 即“每个学生读过《三国演义》”, 其语义网络表示为图 7-14。 精品 5.5 不确定性知识的表示与推理 5.4.1 不确定性及其类型 ◆广义不确定性：（狭义）不确定性、不确切性亦称模糊性）、不完全性、不一致性和时变性等几种类型。 1.（狭义）不确定性 不确定性(uncertainty)就是一个命题(亦即所表示的事件)的真实性不能完全肯定，而只能对其为真的可能性给出某种估计。 例 如果乌云密布并且电闪雷鸣，则很可能要下暴雨。 如果头痛发烧，则大概是患了感冒。 精品 2. 不确切性（模糊性） 不确切性(imprecision)就是一个命题中所出现的某些言词其涵义不够确切，从概念角度讲，也就是其代表的概