人工智能课件-蔡自兴(完整版)第二章知识表示方法幻灯片.pptVIP

* 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 语义网络 知识表示方法间的关系 第二章 知识表示方法 2.1 状态空间法 2.2 问题归约法 2.3 谓词逻辑法 2.4 语义网络法 2.5 其他方法 2.6 小结 * 2.1状态空间法（State Space Representation） 问题求解技术主要是两个方面： 问题的表示 求解的方法 状态空间法 状态（state） 算符（operator） 状态空间方法 * 2.1.1 问题状态描述 定义 状态：描述某类不同事物间的差别而引入的一组最少变量q0，q1，…，qn的有序集合。 算符：使问题从一种状态变化为另一种状态的手段称为操作符或算符。 问题的状态空间：是一个表示该问题全部可能状态及其关系的图，它包含三种说明的集合，即三元状态（S，F，G）。 2.1 状态空间法 * 2. 状态空间表示概念详释 例如下棋、迷宫及各种游戏。 Original State Middle State Goal State 2.1 状态空间法 * 例:三数码难题（3 puzzle problem） 1 2 3 1 2 3 1 2 3 3 1 2 3 1 2 3 1 2 初始棋局 目标棋局 2.1 状态空间法 * 有向图 路径 代价 图的显示说明 图的隐示说明 2.1.2 状态图示法 A B 2.1 状态空间法 * 2.1.3 状态空间表示举例 产生式系统（production system） 一个总数据库：它含有与具体任务有关的信息随着应用情况的不同，这些数据库可能简单，或许复杂。 一套规则：它对数据库进行操作运算。每条规则由左部鉴别规则的适用性或先决条件以及右部描述规则应用时所完成的动作。 一个控制策略：它确定应该采用哪一条适用规则，而且当数据库的终止条件满足时，就停止计算。 2.1 状态空间法 * 状态空间表示举例 例：猴子和香蕉问题 2.1 状态空间法 * 解题过程 用一个四元表列（W，x，Y，z）来表示这个问题状态. 这个问题的操作（算符）如下： 2 goto（U）表示猴子走到水平位置U 或者用产生式规则表示为 （W，0，Y，z） goto（U）