谓词逻辑的其他推理规则.PPT

* 第2章 知识表示 2.1 知识与知识表示的概念 2.2 一阶谓词逻辑表示法 2.3 产生式表示法 2.4 框架表示法 2.5 语义网络表示法 * 2.5 语义网络表示法 2.5.1 语义网络 2.5.2 基本命题的语义网络表示 2.5.3 连接词在语义网络中的表示方法 2.5.4 变元和量词在语义网络中的表示方法 * 2.5.1 语义网络 语义网络最早是1968年Quillian在他的博士论文中作为人类联想记忆的一个显式心理学模型提出的。 语义网络是一种采用网络形式表示人类知识的方法。 一个语义网络是一个带标识的有向图。其中，带有标识的结点表示问题领域中的物体、概念、事件、动作或者态势。 在语义网络知识表示中，结点一般划分为实例结点和类结点两种类型。结点之间带有标识的有向弧表示结点之间的语义联系，是语义网络组织知识的关键。 * 2.5.2 基本命题的语义网络表示 1. 以个体为中心组织知识的语义联系 （1）实例联系：类结点与所属实例结点之间的联系。 李四 ISA 张三 教师 ISA * 2.5.2 基本命题的语义网络表示 1. 以个体为中心组织知识的语义联系 （2） 泛化联系：AKO（a kind of） * 2.5.2 基本命题的语义网络表示 1. 以个体为中心组织知识的