第4142节 知识表示的概述和产生式系统.pptVIP

第四章 知识表示 王庆江 计算机科学与技术系 qjwang@ouc.edu.cn 要使计算机有智能，必须先使其有知识。 斯坦福大学博士Nils J. Nilsson说， 人工智能是关于知识的科学，即怎样表示、获取和使用知识的科学。 卡乃基·梅隆大学博士Edward Feigenbaum说， 人工智能是一个知识信息处理系统。 4.1 概述 知识表示是AI的最基本问题之一 日常知识、一般性知识，专家知识，… 什么是知识？ 知识有哪些分类？ 知识有哪些要素？ 什么是知识表示？ 什么是知识表示观？ 1）什么是知识？ 知识是人们在改造客观世界的过程中积累起来的经验及其总结升华的产物。 对知识的不同看法 Feigenbaum：知识是经过消减、塑造、解释和转换的信息。 Bernstein：知识是由特定领域的描述、关系和过程组成的。 Hayes-roth：知识是事实、信念和启发式规则。 知识库观点：知识是某领域涉及的各有关方面的一种符号表示。 知识的典型特征 相对正确性 1.78米的人高不高？ 不完备性 自然语言的机器理解 不确定性 皮肤发黄 → 得肝炎 模糊性 “较好” 不一致性（矛盾性） ① 怎样对知识进行分类？ ② 知识有哪些要素？ 构成系统知识集合必需的基本知识元素。 事实 “□是□。” 规则 “如果□，那么□” 控制 有多个动作可激活时，选择哪个动作。 元知识 怎样使用规则、解释规则、校验规则、解释程序结构的知识。 2）什么是知识表示？ 研究用计算机表示知识的可行性、有效性的一般方法，是数据结构和系统控制结构的统一； 既要考虑知识的表示与存储，又要考虑知识的使用； 可看成是一组事物描述的约定，是把人类知识表示成机器能处理的数据结构。 ①知识表示方法的选取需要考虑哪些因素？ 表示的能力 与推理方法的匹配 知识与元知识的一致 兼顾表示的自然性和效率 ②知识表示方法的分类 3）什么是知识表示观？ 表示观 对于“什么是表示?”这一基本问题的看法。 知识表示和推理机的分离 表示是特定环境下对世界观察的结果； 强调自然世界现象与表示之间的因果关系。 启发式方法不属于表示研究的范畴； 表示自身不具有任何智能。 认为对常识知识的形式化非常重要。 表示和推理为一体 推理是表示观中不可缺少的一部分； 不考虑推理的“纯粹”表示是不存在的。 共同点 “表示”是刻画智能行为的理论； “表示”要与智能现象一致。 一种表示法有时很难分清依据哪种观点。 有人主张不同表示观也应该相互渗透。 4.2 产生式表示 1943年（应该是1936年），美国数学家Emil Leon Post设计了最早的产生式系统(Post)，目的是构造一个形式化的计算工具。 在同一时期，Chomsky提出了自然语言中的文法分层概念，及“重写规则”（即语言生成规则）； 语言生成规则实际是特殊的产生式。 1960年，Backcus提出了BNF (巴科斯)范式，用于描述计算机语言的文法。 BNF范式实际是Chomsky的上下文无关文法。 至此，产生式系统的应用范围大大扩展。 Emil Leon Post（1897-1950） 他最初喜欢天文学，在纽约城市学院学习时，转而喜欢逻辑学，并写了他第一篇论文，提了个有趣的问题：当n不是整数时，Dn意味着什么？这篇文章在本科毕业（1917）后1923年才投出，30年刊出。这篇文章中，他证明了关于Laplace反变换的一个重要结果。 后来，他去了Columnbia大学读研究生，参加了大学里《数学原理》研究会，并写了第2篇论文，有趣的是比第1篇论文早出版，第2篇文章是关于gamma函数方程的。 Emil Leon Post（1897-1950） 随后，Post去Princeton大学呆了一年，而后回到Columbia大学，不久得了狂躁抑郁病（该病在此后一生中反复发作，限制了他可能取得的成就）。 1924年，Post去了Cornell，又病了一次。 1927年，他去了纽约的一所高中工作。 1929年结婚，有了一个孩子。 Emil Leon Post（1897-1950） 1950年，57岁时去世。狂躁抑郁病当时只能用电击治疗，他接受过多次这样的治疗，在一次电击后不久，因心脏病去世。 1920s年Post证明的结果与G?del（1931）、Church 和Turing 后来发现的结论是很相似的，但他没有出版那些成果。他解释说，他感觉要进行完全的分析才行。 Emil Leon Post 1936年，他提出了Post机，这种自动机包含的程序概念1946年von Neumann才提出。 Post的人生意义超越了他的科学贡献，他是在克服令人崩溃的精神残疾情况下保持着科学灵感，这对科学、对他的学生都是持久的贡献。 事实与规则的表示 产生式表示易于描述事实、规则及其不确定性