第二章知识表示

第二章 知识表示 本章主要讨论了知识表示问题，介绍了 8 种知识表示方法：状态空间法、问题归约法、谓词演算法、语义网络法、框架表示、面向对象表示、剧本表示、过程表示。 掌握状态空间法、问题归约法、谓词演算法、语义网络法的要点及其之间的关系，了解框架表示、面向对象表示、剧本表示、过程表示。 1 .知识表示的基本概念 人们所涉及到的知识是十分广泛的。有的属多数人所熟悉的，有的只是有关专家才掌握的专门领域知识。对于"知识"难以给出明确的定义，只能从不同侧面加以理解。 Feigenbau m 认为知识是经过削减、塑造、解释和转换的信息。简单地说，知识是经过加工的信息。 Bernstein 说知识是由特定领域的描述、关系和过程组成的。 Hay es-Roth 认为知识是事实、信念和启发式规则。 从知识库观点看，知识是某论域中所涉及的各有关方面、状态的一种符号表示。 知识可从(范围，目的，有效性)加以三维描述。其中知识的范围是由具体到一般，知识的目的是由说明到指定，知识的有效性是由确定到不确定。例如"为了证明 A→ B，只需证明A∧～B 是不可满足的"这种知识是一般性、指示性、确定性的。而像"桌子有四条腿"这种知识是具体的、说明性、不确定性的。 知识表示是研究用机器表示知识的可行性、有效性的一般方法，是一种数据结构与控制结构的统一体，既考虑知识的存储又考虑知识的使用。知识表示可看成是一组描述事物的约定，以把人类知识表示成机器能处理的数据结构。 2 .人工智能系统所关心的知识 一个智能程序高水平的运行需要有关的事实知识、规则知识、控制知识和元知识。 事实 是有关问题环境的一些事物的知识，常以"… 是… "的形式出现。如事物的分类、属性、事物间关系、科学事实、客观事实等，事实是静态的为人们共享的可公开获得的公认的知识，在知识库中属低层的知识。如雪是白色的、鸟有翅膀、张三李四是好朋友、这辆车是张三的。 规则 是有关问题中与事物的行动、动作相联系的因果关系知识，是动态的，常以"如果…那么… "形式出现。特别是启发式规则是属专家提供的专门经验知识，这种知识虽无严格解释但很有用处。 控制 是有关问题的求解步骤、技巧性知识，告诉怎么做一件事。也包括当有多个动作同时被激活时应选哪一个动作来执行的知识。 元知识 是有关知识的知识，是知识库中的高层知识。包括怎样使用规则、解释规则、校验规则、解释程序结构等知识。元知识与控制知识是有重迭的，对一...