第5章-知识表示与推理-51-概述-52-基于谓词逻辑的机器推理-课件.pptVIP

2.前提证据事实总CF值计算 CF(E1∧E2∧…∧En)＝min{CF(E1)，CF(E2)，…，CF(En)} CF(E1∨E2∨…∨En)＝max{CF(E1)，CF(E2)，…，CF(En)} 其中E1，E2，…，En是与规则前提各条件匹配的事实。 框架名: 〈教师-1〉 姓名: 李明 性别: 男 年龄: 25 职称: 助教 专业: 计算机应用 部门: 计算机系软件教研室 外语水平： 4. 框架的程序语言实现 FRL(Frame Representation Language) PROLOG 例: frame(name(教师)， kind_of(知识分子)， work(scope(教学，科研)，default(教学))， sex(男，女)， reco_of_f_s(中师，高师)， type(“小学教师”，“中学教师”，“大学教师”)). 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 谓词公式的语义网络 图