第2章知识表示汇总.pptVIP

中南大学 智能系统与智能软件研究所 * 2.3.3 置换与合一 置换 概念 假元推理 全称化推理 综合推理 定义 就是在该表达式中用置换项置换变量 性质 可结合的 不可交换的 2.3 谓词逻辑法 中南大学 智能系统与智能软件研究所 * 合一（Unification) 合一：寻找项对变量的置换，以使两表达式一致。 可合一：如果一个置换s作用于表达式集{Ei}的每个元素，则我们用{Ei} s来表示置换例的集。我们称表达式集{Ei}是可合一的。 2.3 谓词逻辑法 中南大学 智能系统与智能软件研究所 * 2.4 语义网络法 （Semantic Network Representation） 语义网络的结构 定义 组成部分 词法 结构 过程 语义 中南大学 智能系统与智能软件研究所 * 表示占有关系和其它情况 例： 小燕是一只燕子，燕子是鸟；巢-1是小燕的巢，巢-1是巢中的一个。 选择语义基元 试图用一组基元来表示知识，以便简化表示，并可用简单的知识来表示更复杂的知识。 2.4 语义网络法 2.4. 1 二元语义网络的表示 中南大学 智能系统与智能软件研究所 * 2.4.2 多元语义网络的表示 谓词逻辑与语义网络等效 LIMING MAN ISA ISA（LIMING，MAN）或 MAN（LIMING） （语义网络） （谓词逻辑） 2.4 语义网络法 中南大学 智能系统与智能软件研究所 * 多元语义网络表示的实质 把多元关系转化为一组二元关系的组合，或二元关系的合取。 R(X1，X2，…，Xn) R12(X1，X2)∧R13(X1，X3)∧…∧ R1n(X1，Xn) ...... Rn-1 n(Xn-1，Xn) 可转换为 2.4 语义网络法 中南大学 智能系统与智能软件研究所 * 2.4.3 连接词和量化的表示 合取 三元变为二元组合 析取 加注析取界限，并标记DIS，以免引起混淆。 否定 两种表示方式：～或标注NEG界限。 2.4 语义网络法 中南大学 智能系统与智能软件研究所 * 蕴涵 在语义网络中可用标注ANTE和CONSE界限来表示蕴涵关系。ANTE和CONSE界限分别用来把与先决条件(antecedent)及与结果(consequence)相关的链联系在一起。 量化 存在量化—ISA链 全称量化—分割法 2.4 语义网络法 中南大学 智能系统与智能软件研究所 * 2.5其他方法（Others) 框架（Frame）表示 框架是一种结构化表示法，通常采用语义网络中的节点-槽-值表示结构。 剧本（Script）表示 剧本是框架的一种特殊形式，它用一组槽来描述某些事件的发生序列。 过程（Procedure）表示 过程式表示就是将有关某一问题领域的知识，连同如何使用这些知识的方法，均隐式地表达为一个求解问题的过程。 中南大学 智能系统与智能软件研究所 * 2.6 小结（Summary） 本章所讨论的知识表示问题是人工智能研究的核心问题之一。知识表示方法很多，本章介绍了其中的7种，有图示法和公式法，陈述式表示和过程式表示等。 中南大学 智能系统与智能软件研究所 * 方法 初始问题 算符 目标 结果 状态 空间法 归约法 谓词 逻辑法 语义 网络法 状态 结点 合适公式 结点 算符 弧 子句集 （set of clause） 置换合一 消解反演 链 目标状态 结点 根结点 目标网络 解答路径 （path） 解答树 （tree） nil 语义网络 知识表示方法间的关系 人有了知识，就会具备各种分析能力， 明辨是非的能力。 所以我们要勤恳读书，广泛阅读， 古人说“书中自有黄金屋。 ”通过阅读科技书籍，我们能丰富知识， 培养逻辑思维能力； 通过阅读文学作品，我们能提高文学鉴赏水平， 培养文学情趣； 通过阅读报刊，我们能增长见识，扩大自己的知识面。 有许多书籍还能培养我们的道德情操， 给我们巨大的精神力量， 鼓舞我们前进。 * CISIC CISIC CISIC CISIC CISIC CISIC CISIC CISIC CISIC 中南大学 智能系统与智能软件研究所 CISIC CISIC CISIC CISIC CISIC CISIC CISIC CISIC CISIC CISIC CISIC CISIC CISIC CISIC CISIC CISIC CISIC CISIC 第二章 知识表示方法 2.1 状态空间法 2.2 问题归约法 2.3 谓词逻辑法 2.4 语义网络法 2.5 其他方法 2.6 小结 中南大学 智能系统与智能软件研究所 * 2.1状态空间法（State Space Re