1) Knowledge Expression Normal Formulas
知识表示范式
2) mental image representation of design entities
表象式知识表示
3) knowledge representation model
知识表示模式
1.
In this paper,a knowledge representation model is offered,which is based on obiect oriented technique.
该文提出了一种基于面向对象技术的知识表示模式,采用结构对象类来表示知识单元,定义组合运算作为对象间的操作机制,并结合实例具体说明了该表示技
4) production knowledge representation
产生式知识表示
1.
In order to improve the integrity of the production knowledge representation and to better show the inside logic between the rules, according to the basic theories of Petri net, the consistence relationship between the productive rules and Petri net C/E system is established.
为了使由产生式规则构成的知识库系统更加具有完整性 ,更好地反映规则的内部逻辑 ,根据Petri网的基本原理 ,在产生式规则和 Petri网的条件 /事件系统之间建立一致性联系 ,在此基础上提出一种产生式知识表示的 Petri网模型及其相应的推理规则 ,详细说明了模型的构成原理和构造过程 ,并结合实例就该模型及推理规则的科学性和实用性进行了说
5) knowledge representation
知识表示
1.
Design of expert control system based on productive knowledge representation for carbon calcinations process in aluminum production;
基于产生式知识表示的铝用炭素煅烧过程专家控制系统的设计
2.
The knowledge representation of diagnostic system of pasture disease——the disease diagnostic in the expert system of Chinese Pratacultural Development and Ecology Construction;
牧草病害诊断系统的知识表示——《中国草业开发与生态建设》专家系统病害诊断
3.
Knowledge Representation for Fault Characteristic of Equipment in Power Plant Based on OWL;
基于OWL的电厂设备故障特征的知识表示
6) knowledge expression
知识表示
1.
Approach to knowledge expression and its application in mechanical engineering design;
知识表示及其在机械工程设计中的应用探讨
2.
Application of extensible knowledge expression in the design of water turbine type selection;
可拓知识表示在水轮机选型设计中的应用
3.
It is a method for the knowledge expression of CBR to be applied in mechanical engineering field.
根据模具设计知识的类型和特点,研究了CBR系统中冲模结构知识库知识与控制性知识的表示方法,导出了符合工程设计习惯的冲模结构知识库知识表示方法—典型冲模结构特征图和与其对应的适合于CBR推理的控制性知识表示方法—基于冲模结构特征的产生式规则表示。
补充资料:知识表示
为使计算机程序表现一定智能行为而对所需知识采取的结构形式和解释过程。
知识类型 从便于表示和运用的角度出发,可将知识分为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.
知识类型 从便于表示和运用的角度出发,可将知识分为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.
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条