知识表示逻辑推理.ppt

第三章知识表示及逻辑推理 知识表示是人工智能研究中最基本的问题 之一。在知识处理中总要问到:如何表 示知识,怎样使机器能懂这些知识,能 对之进行处理,并能以一种人类能理解 的方式将处理结果告诉人们。 在AI系统中,给出一个清晰简洁的 有关知识的描述是很困难的。有研究报 道认为。严格地说A对知识表示的认真、 系统的研究才刚刚开始。  3.1概述 口数据一般指单独的事实,是信息的载体,数据 项本身没有什么意义,除非在一定的上下文中, 否则没有什么用处。 口信息由符号组成,如文字和数字,但是对符号 赋予了一定的意义,因此有一定的用途或价值。 口知识也是由符号组成,但是还包括了符号之间 的关系以及处理这些符号的规则或过程 知识在信息的基础上增加了上下文信息,提 供了更多的意义因此也就更加有用和有价值。 知识是随着时间的变化而动态变化的,新的 知识可以根据规则和已有的知识推导出来。  3.1概述 3。1。1知识和知识表示 Feigenbaum:知识是经过消减、塑造、解释和转 换的信息。 Bernstein:知识是由特定领域的描述、关系和过 程组成的。 Hayes-roth:知识是事实、信念和启发式规则。 从知识库的观点看,知识是某领域中所涉 及的各有关方面的一种符号表示。  3.1概述 3。1。1知识和知识表示 另外有一种三维的描述方法:(范围, 目的,有效性),其中知识的范围由具体 到一般,知识的目的从说明到指定,知 识的有效性从确定到不确定。例如, “今天下雨”这种知识是具体的、说明 性、不确定的,而“要证A→B,只需证 明A∧~B是不可满足的”这种知识是 般性的、指示性、确定性的。  3.1概述 3。1。1知识和知识表示 将其简单地分为如下几类 事实性知识 知识的一般直接表示,如果事实性知识是 批量的、有规律的,则往往以表格、图册,甚 至数据库等形式出现。 这种知识描述一般性的事实,如凡是冷血 动物都要冬眠,哺乳动物都是胎生繁殖后代等 过程性知识 表述做某件事的过程。标准程序库也是常 见的过程性知识,而且是系列化、配套的。  3.1概述 3。1。1知识和知识表示 行为性知识 不直接给出事实本身,只给出它在某方面 的行为。行为性知识经常表示为某种数学模型, 从某种意义上讲,行为性知识描述的是事物的 内涵,而不是外延。 如微分方程 实例性知识 只给出一些实例。知识藏在实例中。感兴 趣的不是实例本身,而是隐藏在大量实例中的 规律性知识。  3.1概述 3。1。1知识和知识表示 事实:事物的分类、属性、事物间关系、科学事 实、客观事实等 是有关问题环境的一些事物的知识,常以 “-是……”形式出现,也是最低层的知识。例 如:雪是白色的,人有四肢。 规则:事物的行动、动作和联系的因果关 系知识。 这种知识是动态的,常以“如果-那么-” 形式出现。例如启发式规则,如果下雨,则出 门带伞。  32知识的特性 口相对正确性 √在一定的条件及环境下,知识一般是正确的, 可信任的 口不确定性 √由随机性引起的不确定性 √由模糊性引起的不确定性 √由不完全性引起的不确定性 √由经验性引起的不确定性 口可表示性和可利用性 √知识是可以表示出来的 √知识是可以利用的