[AI_2012春季_Chap8.pptVIP

《人工智能》第8章知识表示（II） 巢文涵 chaowenhan@buaa.edu.cn G1001 北航计算机学院智能信息研究所 大纲 其他知识表示方法 本体概述 非逻辑的知识表示方法 逻辑表示方法的约束 研究人员寻求其他知识表示方法 产生式规则（Production rules） 语义网（Semantic networks） 概念图（Conceptual graphs） 框架（Frames） 产生式规则 规则是二元组 condition,action “if condition then action” IF P THEN Q CF = [0, 1] CF(Certainty Factor，置信度) 匹配-消解-执行（ Match-resolve-act cycle ） 匹配：智能体判断条件是否满足 消解 可能同时会有多个产生式规则点火 (冲突集合) 智能体必须从冲突集合中选择规则 (冲突消解) 执行： 如果规则被点火，则执行相应的动作 工作内存（Working memory） 规则可以将知识写入到工作内存 知识可能将匹配并点火其他规则 示例 IF (at bus stop AND bus arrives) THEN action(get on the bus) IF (on bus AND not paid AND have oyster card) THEN action(pay with oyster) AND add(paid) IF (on bus AND paid AND empty seat) THEN sit down 条件和动作必须定义清晰 能够很容易地由一阶逻辑表示 产生式规则：优点 自然性： 由于产生式系统采用了人类常用的表达因果关系的知识表示形式，既直观、自然，又便于进行推理。 模块性 产生式是规则库中的最基本的知识单元，形式相同，易于模块化管理。 有效性 能表示确定性知识、不确定性知识、启发性知识、过程性知识等。 清晰性 产生式有固定的格式，既便于规则设计，又易于对规则库中的知识进行一致性、完整性检测。 产生式规则：缺点 效率不高 求解问题的过程是一个反复进行“匹配—冲突消解—执行”的过程 复杂问题或者规则库较大时会导致组合爆炸 不能表达具有结构性的知识 不能把具有结构关系的事物间的区别与联系表示出来 通常将它与其它知识表示方法相结合。 语义网 图表示 结点表示概念 链接表示子集、成员、关系等 语义网 等价于逻辑表示 (如FOL) 比FOL更容易理解 SN 推理算法效率更高 例子：自然语言理解 具有相同意思的句子可以表示为相同的图 概念图（Conceptual Graphs） 一种语义网，每个图表示一个语句 概念结点 具体 ：例如旅馆 抽象 ：例如生气 边没有标识 关系用结点表示 易于表示概念之间的关系 框架 一种语义网，结点具有结构 框架带有各种槽 (age, height, ...) 每个槽存储特定的信息 当智能体面临新的情景时 会填充槽 填充槽可能会引发动作 框架之间的属性可以被继承 类似于OOP 示例 框架的灵活性 框架中的槽可以包含 基本信息 关系：与其他槽的关系 过程：当某些槽填充后引发的动作 缺省信息：当槽值缺失时 空槽：除非特定任务，否则为空 其他框架：形成层次 也可以表示为一阶逻辑 表示逻辑 AI 希望采用“非逻辑表示”方法 产生式规则 语义网 概念图、框架 但是它们都可以采用一阶逻辑来表示 两者结合 逻辑保证表示是良定的（well-defined） 特定于应用的表示使得推理更简单、更直观 新问题？ 应该将什么内容（ content ）放入知识库 即：如何表示世界知识 本体概述 Why：为什么采用本体 What：什么是本体 How：如何构建本体 应用 为什么采用本体? 分享人或者智能体之间的共同理解 提供语义层次上的统一认识 从而人、软件智能体之间能够通信 重用领域知识 使得领域假设更清晰 分析领域知识 分离领域知识与操作知识 Why：数据交换的角度 数据交换的问题 数据格式不同 相同的含义用词不一样，相同的词含义不一样 一些隐含的假设，背景信息不一样 如：TV单价2000元 原子方法 例子：客户发送订单系统 ，销售商处理订单系统 N个系统交换数据：Cn2 个转换器 什么是本体 本体论（Ontology）是哲学术语 在 CS/AI领域，本体是对领域的共同理解 从而可以在人以及智能体之间通信 什么是本体 本体是共享概念模型的明确的形式化规范说明。 什么是本体 “概念模型”：指Ontology是通过抽象出客观世界中一些现象的相关概念而得到的模型。 “明确”：指Ontology所使用的概念及概念的约束都有明确的定义。 “形式化”