[拼音]：zhishi biaoshi

[外文]：knowledge representation

为使计算机程序表现一定智能行为而对所需知识采取的结构形式和解释过程。

从便于表示和运用的角度出发，可将知识分为4种类型。

（1）事实:反映某一对象或一类对象的属 ，如北京是我国的首都，鸟有双翼。

（2）事件和事件序列：有时还要提出时间、场合和因果关系，如鉴定会将于明天举行，这次鉴定会要鉴定的机器是我国自行设计制造的。

（3）办事、操作等行为：如下棋、证明定理、医疗诊断等。

（4）元知识：即知识的知识，关于如何表示知识和运用知识的知识。以规则形式表示的元知识称为元规则，用来指导规则的选用。运用元知识进行的推理称为元推理。

为了便于对各种表示方式进行比较，对知识的表示可提出表示域和粒度、语义基元和表示的不确定 、模块 和可理解 、显式表示和灵活 、陈述 表示方式和过程 表示方式等特征。

所需表示的范围和细微程度。例如，逻辑表示用于数学定理证明时，其表示粒度已够“细”，但用于机器视觉的程序时，其表示粒度就嫌太“粗”。

用自然语言的表示方式中，词是具有独立意义的很小语言单元。词就是语义基元。在知识表示方式的研究中，将语义基元推广为在给定的表示方式中不加定义而采用的基本符号。例如在符号逻辑表示方式中究竟采用什么样的谓词和函词，在语义网络表示方式中究竟采用什么样的节点和链，都涉及语义基元的选取问题。在确定知识表示方式时必须同时考虑这种表示方式的语义基元。例如“BIRD HASWINGS(鸟有翼)”这一事实即使确定了采用逻辑表示方式，也还有不同的具体表示方法。HAS-WINGS (BIRD)用的是一元谓词，而HAS-PART（BIRD,WINGS）则用的是二元谓词；用语义网络表示一系列有联系的二元关系比逻辑表示更直观而方便,如“SPARROW IS A BIRD”（麻雀是鸟）、“BIRD HAS WINGS”（鸟有翼）这两个事实就可用由三节点、双链构成的语义网络表示（见图）,图中还隐含了“SPARROW HAS WINGS（麻雀有翼）”这一事实。语义基元的选取尚未形成严格的理论，从实用的角度看，必须兼顾表达力和使用的方便 。

模块 指增添、修改和删除个别知识条款而不影响其他知识有效使用的相对独立 ，模块 强的系统可理解 也好。非模块 系统中知识的意义一般取决于使用时的前后关系（常规的计算机程序就是一个典型例子）。人的许多知识，特别是直观知识，有时很难用相互独立的规则或事实来描述，因此仍然需要非模块的表示方式。

对程序设计人员和知识型系统来说,显式表示意味着知识的存取是直接的、可控的,并能对它进行宏观解释。这就使同一知识可以从多方面应用而具有灵活 。例如在医疗诊断系统 MYCIN（见专家系统）中，显式表示的产生式规则可在诊断模块、说明程序和知识获取等程序中应用。知识工程面临的重大任务之一就是如何将人的“只可意会不可言传” 质的隐含的直观经验知识和技能显式地表现出来。

这是知识理论中的经典问题。知识可表示为对事物或其相互关系的静态陈述，也可表示为事件或行为的动态过程。所有知识表示方式都可看成两者之一或两者的结合。两种表示方式虽有差异 ，但是也能在一定条件下相互转化。例如LISP语言中程序（过程）和数据（事实）具有统一的形式，PROLOG语言的语句也有陈述 语义和过程 语义的统一。

在问题求解中，问题的状态空间表示法与问题归约表示法是最早的知识表示方式。知识型系统强调与问题领域有关的专门知识和一般常识。常用的知识表示方式有：逻辑表示、过程表示、语义网络、产生式系统、类比表示、框架型表示方式等。

参考书目

D.G.Bobrow and　A.Collins，eds，Representation and Understanding：Studies in Cognitive Science, Academic Press, New York,1975.

严正声明：本文由历史百科网注册或游客用户增有自行上传发布关于» 知识表示的内容，本站只提供存储，展示，不对用户发布信息内容的原创度和真实性等负责。请读者自行斟酌。同时如内容侵犯您的版权或其他权益，请留言并加以说明。站长审查之后若情况属实会及时为您删除。同时遵循 CC 4.0 BY-SA 版权协议，尊重和保护作者的劳动成果，转载请标明出处链接和本声明内容：作者：增有；本文链接：https://www.freedefine.cn/wenzhan/54124.html