一种基于CBR的知识库求精模式

由于领域知识以及人们的认识进程具有进化的特性,领域模型总是不完备的,为了增强基于知识系统的自适应能力和可靠性,知识库求精已成为机译系统等基于知识系统实用化的必经阶段。本文给出了一些知识库求精原则;结合机器翻译知识库建构维护的实际需求,提出了一种基于CBR(Case-basedReasoning)的知识库求精模式。该求精模式以提高系统有效性为核心,以错误严重性为指示器,择重优     

MIKRS：用于知识库求精的模型推理系统

知识求精是知识获取的一个重要方面,本文主要介绍了知识库求精的一些概念、理论与方法,给出了在MIKRS系统中所实现的知识库调试和求精的思想及描述算法,并在文章的最后给出了系统运行的一个实例。     

基于Petri 网知识库维护方法的实现

知识库的维护是知识系统的关键部分，直接关系到系统能否正常运行，本文介绍了基于Petri网知识库维护方法的实现。     

CADTSB系统的知识库构造和维护技术

介绍好计算机辅助中小型轮机滑动轴承设计系统的知识库构造和维护技术。采用黑白板结构控制问题求解过程中各知识源之间的通讯和数据交换。所以设计的Ｔｕｒｂｏ ＰＲＯＬＯＧ对ＤＢＡＳＥⅢ数据库的快速查询与插值算法，实现了设计推理中对数据库的访问接口。系统中还设计了知识库的插入，全屏幕编辑，查询浏览，删除和一致性维护等操作。     

工艺设计知识库的建造与维护

文中根据工艺设计知识的特点,构造了层次化的知识表达、组织与知识库模型,分析了工艺知识库不一致的表现形式,并给出了相应的一致性验证算法,提出了基于广义决策表的知识库完备性检查方法。     

知识库集成维护方法研究

本文首先回顾了国内外近期的知识库维护思想和方法，进而提出在面向对象知识库组织形式下，用规则关系树进行规则一致性，完整性检查的算法，并采用实例效验的方法，从语义上进行全局维护，此方法已经在８６３课题中得到初步应用。     

专家系统中知识库的维护

从添加规则、修改规则、删除规则等方面提出了知识库的维护方法,给出了知识库中冗余规则、矛盾规则、循环规则和孤立规则的检测方法。     

HKR——一个启发式知识求精系统

知识库系统应提供有效的问题求解方法,并且能够解释求解过程.有效的求解方法应尽可能使求解过程简便.即步骤要少;而解释过程又要求尽可能的详细.影响知识工程师的另外一个复杂的因素是人类专家通常难以完全提供其领域知识的详细的细节信息。     

图论在产生式系统知识库维护中的应用

当前的专家系统多用产生式规则来表示知识,但是,知识的不一致性和冗余性往往使得专家系统的维护较为困难。本文针对产生式知识库中知识的不一致性和冗余性,提出了一种利用图论来消除这种不一致性和冗余性的方法,并给出了相应的检查算法。该方法思路直观、易于实现,对于产生式系统知识库的维护具有一定的实际意义。     

基于ATMS的知识库维护系统与开放逻辑的实现

In this paper, a novel ATMS-based knowledge base maintenance system is proposed. Itenhances functions of the tranditional knowledge base maintenance systems as it is a multiple con-text, open and non-monotonic system, and possesses capacities of describing and characterizingknowledge increment, knowledge update and scientific discoveries. The relation of the open logicand this system is also discussed. Both of them aim at the computer simulation of higher mentalprocesses on theoretical foundation and implementation respectively     

命题知识库更新的算法及其复杂性

本文介绍了知识库更新的基本概念及命题知识库更新的复杂性研究现状．近年来，学者们提出了许多方法进行命题知识库的更新，一类是基于公式的方法；一类是基于模型的方法，但所有这些方法在通常情况下都是难解的．本文讨论基于公式的Ｇｉｎｓｂｅｒｇ更新方法，并给出在公式个数远小于变元个数情况下的一个多项式时间算法．     

一种基于关系型构造的知识库协调性维护方法——序化分析法

本文提出了一种基于关系型构造的知识库协调性维护方法：序化分析法。这种方法可以在训管理层次上对推理知识进行知识冗余、矛盾和蕴涵等语义检查，并在工程知识处理平台ＲＥＫＰ上实现，在较大范围内处理了知识库的协调性问题。     

基于神经网络结构学习的知识求精方法

知识求精是知识获取中必不可少的步骤．已有的用于知识求精的ＫＢＡＮＮ（ｋｎｏｗ ｌｅｄｇｅ ｂａｓｅｄ ａｒｔｉｆｉｃｉａｌｎｅｕｒａｌｎｅｔｗ ｏｒｋ）方法,主要局限性是训练时不能改变网络的拓扑结构．文中提出了一种基于神经网络结构学习的知识求精方法,首先将一组规则集转化为初始神经网络,然后用训练样本和结构学习算法训练初始神经网络,并提取求精的规则知识．网络拓扑结构的改变是通过训练时采用基于动态增加隐含节点和网络删除的结构学习算法实现的．大量实例表明该方法是有效的     

一种基于Petri网思想的知识库的动态维护方法

本文研究了基于规则的专家系统知识库的维护问题，在添加一条新规则后，知识库可能出现矛盾规则，循环规则，冗余规则，从属规则等。文中详细给出了基于Ｐｅｔｒｉ网思想的对知识库进行维护的算法，进而决定是否添加该规则，从而保证了知识库的一致性，为专家系统进行正确推理，提高推理速度打下了坚实的基础。     

HS编码查询知识库设计与实现

HS(Harmonized System)商品编码体系被进出口监管和统计部门广泛使用.HS编码的智能查询可以为进出口相关企业提供便利,对监管自动化和效率提供有效支持.基于本体的自动分类方法,描述了一种实现HS编码查询的知识库与推理方法,提供了知识库构建、标准和非标准商品名处理、置信度计算等技术细节,给出了原型系统和实验数据.     

扩充逻辑程序设计的R－演算──知识库维护的操作方法

本文首先介绍了知识库维护过程中诸如知识库序列、新规则、用户反驳以及重构等概念；然后给出了一个扩充逻辑程序设计的框架，在这一框架下，每个逻辑程序等价于一个知识库；进一步定义了一个转换系统，称为扩充逻辑程序设计的Ｒ－演算，对一个给定的知识库和用户反驳，此演算可以导出知识库的最佳修正；同时证明了该演算的可靠性和完备性；另外，对本文的工作与其他相关工作进行了比较；最后，给出了本文的结论．     

CARRES98的知识库设计

本文主要阐述了ＣＡＲＲＥＳ９８ 的知识表示,并提出了一种基于〔一般属性〕—〔规则〕—〔过程〕模式的类框架集成表示方法;然后讨论了系统根据工程求解问题的需要所设计的树型知识库组结构及其管理功能．     

并行知识库机的知识划分及其推理

并行知识库机是一种采用并行处理技术来提高大规模知识库系统性能的专用机。其中，知识的划分及并行推理模型是两个关键问题。本文以产生式系统作为并行知识库机的基本知识表示方法，重点讨论产生式系统的划分和并行推理问题。     

面向对象知识库系统CAOBS／V1.2的设计与实现

文中介绍了一个面向对象知识库系统ＣＡＯＢＳ／Ｖ１．２。该系统是在一个面向对象数据库管理系统基础上进行开发的。我们重点研究了面向对象的知识表示、可视查询、问题的推理求解与知识的获取机制。在ＣＡＯＢＳ／Ｖ１．２系统中，问题推理求解采用基于事例的推理，辅之以基于规则的推理模式。我们还开发了一种新型的可视知识查询语言－ＶＫＱＬ，其查询的直观性和方便性均要强于传统的文本查询语言。文中论述了ＣＡＯＢＳ／Ｖ１．