第四章-王士同版.ppt

第四章 知识表示 华北电力大学 计算机系 刘丽 学习目标 掌握知识、知识表示和知识表示观点等基本概念 会运用逻辑表示法，产生式表示法进行知识表达和推理 能用语义网络表示法，框架表示法表达知识 了解各种主要知识表示方法的特点 知识点 知识、知识表示 知识表示观点 状态空间表示法 与/或图表示法 逻辑表示法 产生式表示法 语义网络表示法 框架表示法 第四章 知识表示 概述 表示方法 第四章 知识表示方法 概述 表示方法 概述 知识的定义 （难以给出明确的定义，只能从不同侧面加以理解） Feigenbaum：知识是经过消减、塑造、解释和转 换的信息 Bernstein：知识是由特定领域的描述、关系和过程 组成的 Hayes-roth：知识是事实、信念和启发式规则 知识库的观点：知识是某领域中所涉及的各有关方 面的一种符号表示 概述（续） 知识：是人们对自然现象的认识和从中总结出来的规律、经验 知识模式 K = F+R+C K表示知识项(Knowledge items) F表示事实(Facts)——人类对客观世界、客观事物的状态、属性、特征的描述，以及对事物之间关系的描述 R表示规则(Rules)——能表达在前提与结论之间的因果关系的一种形式 C表示概念(Concepts)——事实的含义规则语义说明等 知识的性质 相对正确性 正确性通过时间证明，没有绝对正确的真理 不完备性 解决问题时不具备该问题所需的全部知识 不确定性 知识有时不能被完全确定是真还是假 如：你眼睛发黄→你得黄疸了 模糊性 有些概念之间不存在明确的界限 如：好与不好、高与矮 知识的性质 矛盾性 不同的知识集合中的知识有时是不一致的，从不同的知识集合(不同的知识背景)出发，会推导出不同的结论 相容性 同一知识集合中的知识应该是相容的，即不可能推导出不相同的、甚至是矛盾的知识 概述-知识的分类 叙述型知识——有关系统状态、环境和条件，问题的概念、定义和事实的知识。 过程型知识——有关系统状态变化、问题求解过程的操作、演算和行动的知识。 控制型知识——有关如何选择相应的操作、演算和行动的比较、判断、管理和决策的知识。 例：对于从北京到上海，是乘飞机还是坐火车的问题。 叙述型知识：北京、上海、飞机、火车、时间、费用。 过程型知识：乘飞机、坐火车。 控制型知识：乘飞机较快、较贵；坐火车较慢、较便宜。 概述-知识的分类 就知识的内容而言 原理性知识：对客观事实原理的认识的知识 方法性知识：利用客观规律解决问题的方法和策略 就知识的形式而言 显式知识：人能直接接收处理，能以某种媒体的方式在某种载体上直接表示出来 隐式知识：不能用语言直接表达，只能意会 就知识的性质而言 理论性知识 经验性知识：理论是经验的升华 概述-知识的分类 根据知识表达的内容分： 事实性知识：采用直接表示的形式 如：凡是猴子都有尾巴 过程性知识：描述做某件事的过程 如：电视机维修法 元知识：有关知识的知识。最重要的元知识是如何使用知识的知识，如何从知识库中找到想要的知识 概述-知识的分类 行为性知识：不直接给出事实本身，只给出它在某方面的行为，描述事物的内涵 如：微分方程 实例性知识：只给出一些实例，知识藏在实例中 类比性知识: 即不给出外延，也不给出内涵，只给出它与其它事物的某些相似之处 如：比喻、谜语 概述（续） 知识表示的定义 知识表示的研究既考虑知识的存储又考虑知识的使用 知识表示可看成是一组事物的约定，以把人类知识表示成机器能处理的数据结构 知识表示是智能推理的部分理论 知识表示是有效计算的载体 知识表示是交流的媒介（如语义网络） 概述（续） 选取知识表示方法的因素 表示范围是否广泛 要求表示内容范围广泛 数理逻辑表示是一种广泛的知识表示办法，如果单纯用数字表示，则范围就有限 是否适于推理 人工智能只能处理适合推理的知识表示 数学模型适合推理，普通的数据库只能供浏览检索，但不适合推理 是否适于计算机处理 计算机只能处理离散的、量化的字节流。用文字表述的知识和连续形式表示的知识（如微分方程）不适合计算机处理 概述（续） 是否有高效的算法 考虑到实用的性能，必须有高效的求解算法，知识表示才有意义 能否表示不精确知识 自然界的信息具有先天的模糊性和不精确性，能否表示不精确知识也是考虑的重要因素 许多知识表示方法往往要经过改造，如确定性方法、主观贝叶斯方法等对证据和规则引入了不确定性度量，就是为了表达不精确的知识 能否模块化 概述（续） 知识和元知识能否用统一的形式表示 知识和元知识是属于不同层次的知识，使用统一的表示方法可以使知识处理简单 是否加入启发信息 在已知的前提下，如何最快的推得所需