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

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

专家系统中知识库的维护

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

专家系统中知识库的维护

本文叙述在专家系统中如何维护知识库.主要介绍用规则表示知识的知识库如何发现某条规则有错及如何修改的问题.这是作者在研制专家系统中提出的“预备库”等新方法.知识库的维护一般应包括:一致性检查;知识的扩充、删除与修改.本文仅对以规则表示知识的知识库,介绍如何自动及半自动修改知识库中的知识的体会与做法.     

知识库维护过程中检查其协调性的有效方法

本文首先描述了知识库维护过程中的协调性问题，然后给出了扩充逻辑程序设计的框架，在此框架下，每个逻辑程序等价于一个知识库．为了检查知识库的协调性，本文为知识库中的推理规则构造了正支持集和负支持集，并给出了一些定义；基于这些概念和定义，提出了知识库维护过程中检查知识库协调性的一种有效方法，并证明了相关的定理；基于此方法，实现了一个算法ＣＨＩＭＥ，并给出了用ＣＨＩＭＥ分析一些知识库的实验结果．本文还提到一些相关的工作，最后给出结论.     

一种基于Rough集的知识库冗余性化简研究

专家系统知识库的冗余性是影响系统运行效率和知识库维护的一个重要方面。针对一个具体的专家系统——平面几何智能解题系统，分析了关于知识库规则生成时效率低的问题，采用基于粗糙集的化简方法，简化了系统的知识库，减少了知识库的冗余性，提高了系统的效率。     

基于面向对象Petri网的知识库模型

根据Petri网能够对知识的细节进行抽象的特点及对知识库系统应用的需求，利用VC 对Petri网进行了类的封装，建立了基于面向对象Petri网的知识库模型，实现了对知识库的动态维护，并增加了单步推理和反向执行的功能，同时也改进了规则维护算法。     

基于相似性度量的氧化铝配料知识库在线维护

针对烧结法氧化铝优化配料专家系统知识库的结构特点,提出了一种基于相似性度量的专家知识库在线维护方法。构造规则的相似性度量函数,以此为基础进行规则不一致性判断,并遵循原有的知识组织策略在线实现规则的有序添加和修改,从而保证高效的专家推理,提出的方法已成功用于工业应用。     

初中几何专家系统中的知识获取及实现

描述了初中几何专家系统中知识获取及实现的一般过程,指出了知识获取及实现中的难点和重点。由于研究问题的复杂性,专家系统规则库中规则量往往十分庞大,这给规则库的管理和维护带来很大不便。专家系统知识库的冗余性是影响系统运行效率和知识库维护的一个重要方面,针对一个具体的专家系统——平面几何智能解题系统,分析了关于知识库规则生成时效率低的问题,然后利用基于粗糙集的约简理论来消除和减少规则库的冗余,使得系统规则库中的规则精炼、简洁,易于维护,同时大大提高了系统的效率。     

初中几何专家系统中的知识获取及实现

描述了初中几何专家系统中知识获取及实现的一般过程,指出了知识获取及实现中的难点和重点.由于研究问题的复杂性,专家系统规则库中规则量往往十分庞大,这给规则库的管理和维护带来很大不便.专家系统知识库的冗余性是影响系统运行效率和知识库维护的一个重要方面,针对一个具体的专家系统--平面几何智能解题系统,分析了关于知识库规则生成时效率低的问题,然后利用基于粗糙集的约简理论来消除和减少规则库的冗余,使得系统规则库中的规则精炼、简洁,易于维护,同时大大提高了系统的效率.     

分布式智能答疑系统的知识库构建与维护研究

构建知识库是搭建分布式环境下智能答疑系统平台的关键环节。文中针对如何表示各站点知识库中的知识以及如何构建和维护知识库问题，提出用XML表示知识来构建知识库，通过使用DOM树来维护知识库，并给出了知识库的组织结构图及XML的DTD文件。实验表明，用该方法构建的知识库便于在系统平台下实现资源共享和知识库维护。     

产生式知识库一致性和冗余性检查

本文介绍了目前应用较为广泛的产生式专家系统知识库的不一致和冗余的几种可能的规则或规则链形式,并给出了一致性和冗余性检查的技术和实现方法.这些技术和方法可以帮助知识工程师有效地建立和维护知识库,并为系统的自动知识获取提供了基础.     

工具系统MES1的知识表示——专家系统设计语言PPRL1

本文介绍了工具系统MES1支持的专家系统设计语言PPRL1(PRODUCTION/PROCEDURE REPRESENTATION LANGUAGE1),并详细描述了一种新的知识片——"方法"."方法"这一新的知识单位,是由若干条相关规则组成的,与产生式规则一样,它具有模块性,从而由它组成的知识库与由产生式规则组成的知识库有同样的易维护特性.此外,PPRL1语言的高效多级知识搜索机制,为大知识库的组织提供了有效途径.     

规则库冗余性控制策略的研究

冗余性控制是研究知识库组织、管理和维护中的一个问题．本文通过对智能型机译系统中规则知识表示方法的分析，提出了将冗余规则划分为显式冗余规则和隐式冗余规则分别予以处理的思想，给出了显式冗余规则的判别算法和部分隐式冗余规则的检测标准，并提出了控制机译系统规则库冗余性的基本原则.     

基于数据库技术的气流干燥专家系统知识库的建立

针对专家系统中传统知识表示存在的数据修改比较困难．数据与程序之间缺乏独立性，满足不了多用户、多应用共享知识需求的缺陷，故在闪速熔炼气流干燥专家系统中采用数据库技术来实现知识库，提出了基于数据库的知识表示方式，设计了规则库的数据库结构和类结构，然后利用ADO技术实现了对数据库的添加、更新等功能，并应用于知识库，从而可不断地扩充知识库，体现了知识库的健壮性，有益于知识库维护的一致性和完整性。     

基于加权产生式规则知识库的不一致性和冗余性研究

一、问题的提出规则的产生式表示法是目前专家系统中最常用的一种方法,它易于表达浅层知识,并且具有模块性、清晰性、自然性等优点。但是,由于产生式系统的知识库常常是不完备的,需要对规则进行增、删、改等维护操作,这往往会引起知识库中知识的不一致性和冗余     

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

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

异构本体知识库合并技术研究

目前,本体知识库的构建是知识工程领域的研究重点,而本体知识库的管理、合并、维护和更新方面的研究则较少。本文在对异构本体知识库进行研究和分析的基础上,对本体知识库合并过程中本体库与规则库合并时出现的问题进行分析和解决,并提出异构本体知识库合并系统的体系框架。     

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

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

基于数据库的故障诊断知识库的创建

本文通过对数据库和知识库的分析比较，指出了在关系数据库平台的基础上建立知识库的可行性，结合一个实际专家系统知识库的创建过程，给出了在关系数据库系统中建立知识库的方法，以及如何运用数据库系统良好的数据管理，用户权限设置等实现知识库的管理，维护功能以及知识库的安全保护等。     

基于CLIPS的某型航空发动机故障诊断专家系统知识库构建

该文针对某型航空发动机故障诊断专家系统的知识库构建开展研究工作。为解决传统故障诊断知识库构建方法复杂及开发不便的问题,该文提出了一种新的知识库开发方法。根据因果分析法得到发动机故障诊断的故障树;再利用数据抽取和知识抽取,对事实表和规则表进行了表示,并结合专家系统开发工具CLIPS实现了对某型航空发动机故障诊断专家系统的知识库的开发。该方法所构建出来的知识库满足航空发动机故障诊断专家系统的需要,而且便于知识的扩充、修改和维护。