人工智能之知识表示方法培训课件.ppt

第四章 知识表示 概述 表示观 表示方法 第四章 知识表示方法 概述 表示观 表示方法 概述 人工智能研究中最基本的问题之一 在知识处理中总要问到：“如何表示知识？”，“知识是用什么来表示的?”。怎样使机器能懂，能对之进行处理，并能以一种人类能理解的方式将处理结果告诉人们。 在AI系统中，给出一个清晰简洁的描述是很困难的。有研究报道认为。严格地说AI对知识表示的认真、系统的研究才刚刚开始。 概述 知识的定义（难以给出明确的定义只能从不同侧面加以理解） Feigenbaum：知识是经过消减、塑造、解释和转换 的信息。 Bernstein：知识是由特定领域的描述、关系和过程 组成的。 Hayes-roth：知识是事实、信念和启发式规则。 知识库的观点：知识是某领域中所涉及的各有关方 面的一种符号表示。 概述 知识的种类 事实性知识：采用直接表示的形式 如：凡是猴子都有尾巴 过程性知识：描述做某件事的过程 如：电视维修法 行为性知识：不直接给出事实本身，只给出它在某方面的行为 如：微分方程、（事物的内涵） …….. 概述 知识的种类 …….. 实例性知识：只给出一些实例，知识藏在实例中。 类比性知识: 即不给出外延，也不给出内涵，只给出它与其它事物的某些相似之处 如：比喻、谜语 元知识：有关知识的知识。最重要的元知识是如何使用知识的知识，如何从知识库中找到想要的知识。 概述 知识的要素 事实：事物的分类、属性、事物间关系、科学事实、客观事实等。（最低层的知识） 规则：事物的行动、动作和联系的因果关系知识。（启发式规则）。 控制：当有多个动作同时被激活时，选择哪一个动作来执行的知识。（技巧性） 元知识：高层知识。怎样实用规则、解释规则、校验规则、解释程序结构等知识。 概述 知识表示的定义 知识表示研究用机器表示知识的可行性、有效性的一般方法。 知识表示是理智推理的部分理论。 知识表示是有效计算的载体 知识表示是交流的媒介（如语义网络） 概述 选取知识表示的因素 表示范围是否广泛 是否适于推理 是否适于计算机处理 是否有高效的算法 能否表示不精确知识 能否模块化 总之 ……… 概述 选取知识表示的因素 ……….. 总之，人工智能问题的求解是以知识表示为基础的。如何将已获得的有关知识以计算机内部代码形式加以合理地描述、存储、有效地利用便是表示应解决的问题。 概述 研究内容 表示观的研究： 认识论、本体论、知识工程 表示方法的研究： 直接法、代替法(局部、分布，…….) 概述 知识表示研究的特点 智能行为特有的灵活性。“常识问题”不能概括为一类简洁的理论，是大量小理论的集合。 AI的任务受到计算装置的约束。这导致了所采用的“表示”必须同时满足“刻画智能现象”与“计算装置可以接受”，这两个有时是矛盾的条件。 第四章 知识表示方法 概述 表示观 表示方法 第四章 知识表示方法 概述 表示观 表示方法 表示观 认识论表示观 本体论表示观 知识工程表示观 表示观 认识论表示观 本体论表示观 知识工程表示观 表示观 —认识论表示观 概述 认为表示是对自然世界的表述，表示自身不显示任何智能行为。其唯一的作用就是携带知识。这意味着表示可以独立于启发式来研究。 最早出现于J.McCarthy与P.Hayes的一篇文章中。此主张的核心是将AI问题分成两部分：认识论部分与启发式部分。 认为AI的核心任务就是“常识”形式化。 表示观 —认识论表示观 讨论的主要问题 “知识的不完全性”是认识论学派讨论最多的情况。推理者的知识是不完全，但却是一致的，其要点是在保持知识一致性的前提下得出新的结论。 “知识不一致性”是常识的另一类性质。例：教友派教徒是和平主义者，共和党是好战分子。已知某教授是教友派教徒，且是共和党人。问他是和平主义者吗？ “知识不确定性”是更复杂的常识问题。尽管Fuzzy、可信度理论、人工神经网络等丰富了对常识的不确定性研究方法。但还不能显现地表示“可废弃性”这个重要特征。大大限制了对智能行为“灵活性”的描述。因此，在复杂问题求解时，集成几种方法是有吸引力的想法。 “常识的相对性”，目前在AI中研究甚少。如，理论集合是有限的，常识的集合是无限的。 表示观 —认识论表示观 特点 表示是在特定环境下对世界观察的结果。强调自然世界现象与表示之间的因果关系。 认为启发式方法不属于表示研究的内容。 认为对常识知识的形式化是非常重要的任务。 表示观 认识论表示观 本体论表示观 知识工程表示观 表示观 认识论表示观 本体论表示观 知识工程表示观 表示观 —本体论表示观 概述 该观点是由D.Lenta提出。 认为表示是对自然世界的一种近似，它规定了看待自然世界的