人工智能第四章.ppt

第四章 知识表示 概述 表示方法 4.1概述 人工智能研究中最基本的问题之一 在知识处理中总要问到：“如何表示知识？”，“知识是用什么来表示的?”。怎样使机器能懂，能对之进行处理，并能以一种人类能理解的方式将处理结果告诉人们。 在AI系统中，给出一个清晰简洁的描述是很困难的。有研究报道认为。严格地说AI对知识表示的认真、系统的研究才刚刚开始。 4.1.1知识 知识的定义: 知识首先是对客观世界的描述、名称、数据、数字经加工整理后所构成的信息。是人们在认识、改造世界中经验的总结或者实事的描述。 Feigenbaum：知识是经过消减、塑造、解释和转换 的信息。 Bernstein：知识是由特定领域的描述、关系和过程 组成的。 Hayes-roth：知识是事实、信念和启发式规则。 知识库的观点：知识是某领域中所涉及的各有关方 面的一种符号表示。 概述 知识的种类 事实性知识：采用直接表示的形式 如：凡是猴子都有尾巴 过程性知识：描述做某件事的过程 如：电视维修法 元知识：有关知识的知识。最重要的元知识是如何使用知识的知识，如何从知识库中找到想要的知识。 …….. 概述 知识的要素 事实：事物的分类、属性、事物间关系、科学事实、客观事实等。（最低层的知识） 规则：事物的行动、动作和联系的因果关系知识。（启发式规则）。 控制：当有多个动作同时被激活时，选择哪一个动作来执行的知识。（技巧性） 元知识：高层知识。怎样实用规则、解释规则、校验规则、解释程序结构等知识。 4.1.2知识表示 1知识表示的定义 知识表示研究用机器表示知识的可行性、有效性的一般方法。可以看成是一组事物描述的约定，是把人类知识表示成机器能处理的数据结构。 知识表示是理智推理的部分理论。 知识表示是有效计算的载体 知识表示是交流的媒介（如语义网络） 概述 2选取知识表示的因素 表示知识的能力 是否适于推理 过程性表示还是说明性表示 知识和元知识能否用统一的形式表示 3知识表示方法分类 直接表示 逻辑表示 产生式规则表示法 语义网络表示法 框架表示法 脚本方法 过程表示 混合型知识表示方法 面向对象的表示方法 表示方法 —概述 表示方法可以分成2类 替代表示法 局部表示类：最充分也是正统AI最经常使用的 分布表示法：对局部表示法在智能行为表述尚不够充分而作的补充。 直接表示法： 正在引起越来越多AI研究者的注意。（不可完全独立：考虑到“任何表示方法必须被计算机所接受” 这个先决条件，直接表示需要借助局部或部分表示形式。 表示方法 —概述 4.1.3知识表示观 知识表示观：指导知识表示的思想观点成为知识表示观。 1知识表示与推理机分离 2表示与推理为一体 表示方法 —直接表示 1963年由Gelernter提出的。用于基于传统欧氏几何证明的几何定理证明器。 它的输入是对前提和目标的陈述以及图示（图示是用一系列坐标来表示的）。 在证明过程中，证明器把图示作为启发式信息，排除在图示中不正确的子目标。从而大大地减少了搜索空间。 表示方法 —直接表示 但，长期以来直接表示没有得到长足发展。原因如下： 计算机对直接表示的信息难以处理。 直接表示难以表示定量信息（语言设计失败） 直接表示不能描述自然世界的全部信息 这两年直接表示有所发展，因为，现在认识到，可以用其它媒体表示的方法去补充直接表示的不足。——将被发展成多媒体。 引申的研究是临场AI与临境技术。近几年AI对自主智能系统研究（完全机器做人不干预）的失望，导致对建立人机一体智能系统的尝试。这样系统所需环境的要求是直接表示兴起的原因之一。 表示方法 —逻辑表示法 一阶谓词逻辑是谓词逻辑中最直观的一种逻辑。它以谓词形式来表示动作的主题、客体。客体可以多个。 如：张三与李四打网球（Zhang and Li play tennis），可写为：play (Zhang, Li, tennis) 这里谓词是play，动词主体是Zhang和 Li，而客体是tennis。 谓词逻辑规范表达式： P ( x1, x2, x3, …)， 这里P是谓词, xi是主体与客体。 表示方法 —逻辑表示法 谓词比命题更加细致地刻画知识： 表达能力强 如：北京是个城市， City(x) 把城市这个概念分割出来。把“城市” 与“北京”两个概念连接在一起，而且说明“北京”是“城市”的子概念。（有层） 谓词可以代表变化的情况 如：City(北京),真。 City(煤球)，假 在不同的知识之间建立联系………. 表示方法 —逻辑表示法 在不同的知识之间建立联系 如：Human(x) → Lawed(x)， 人人都受法律管制，x是同一个人。 Commit(x) → Pun