基于可拓规则的故障诊断专家系统推理机的研究

针对传统产生式规则在知识表示、匹配冲突等方面存在的局限,提出了一种将可拓规则用于故障诊断专家系统推理机的方法;该方法重点研究了可拓规则的匹配原理和可拓推理机算法思想,提出了匹配度计算方法并用来计算故障条件与规则前件的匹配度;根据研究表明,利用可拓规则进行推理,不仅在知识表示上比传统产生式规则推理有所提高,而且还解决了传统专家系统容易出现匹配冲突等问题;最后以AMU故障推理为例,说明可拓推理机具有推理速度快、效率高等优点,取得了较好的推理效果.     

专家系统在阵地技术防范系统中的应用

根据阵地技术防范系统的结构特点,依据专家系统理论,分析该系统故障发生和故障传播的机理,应用"框架 产生式规则"组合的知识表示方法和正反相混合推理相结合的推理控制策略,构建一种基于层次诊断模型与故障树分析法相结合,融经验诊断和原理诊断为一体的故障诊断专家系统.     

应急响应系统的规则冗余检测技术研究*

在应急响应系统（ERS）中,规则及规则推理用于确定应急事件的响应级别。当系统的规则库增加规则时,会出现冗余的规则,冗余规则的存在导致响应级别的判断不准确,影响推理的效率和准确性。针对该问题,提出一种规则的冗余检测方法,使规则库中的规则始终保持无冗余状态;同时,给出了冗余规则的处理方法。最后给出该算法的一个应用实例,结果表明该算法能快速检测出冗余规则,有效降低规则数目。     

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

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

基于匹配度的广度优先推理方法的应用研究*

将专家系统用于确定发酵过程生物量软测量混合模型的结构,有利于提高软测量模型的精度,并且使其具有通用性和开放性。在分析发酵过程生物量软测量机理模型结构的基础上,定义了模型复杂度;提出了基于匹配度的广度优先推理方法,给出了匹配度的计算方法;实现了用于确定发酵过程生物量软测量混合模型结构的推理过程。实验表明,与基于穷举法的深度优先推理方法比较,基于匹配度的广度优先推理方法能够有效地减少推理的步数,降低模型复杂度,提高推理效率。     

基于旋转机械的多故障诊断专家系统的实现

根据实际项目的开发，重点介绍了基于旋转机械的多故障诊断专家系统的功能结构、系统设计、知识表达法、数字信号的处理以及专家系统推理机制等。提出一种新型的基于产生式规则的推理机制，结合数据挖掘的思想，能够快速有效地解决多故障诊断专家系统中的推理问题。     

一种基于知识约简的Petri网模型简化方法

提出一种基于知识约简的Petri网模型简化方法,利用知识约简中的属性约简方法,去除Petri网对应的产生式规则的冗余规则和冗余条件,简化产生式规则得出关键规则。经过知识约简后的规则库转化为Petri网模型,此时的Petri网模型的结点数目减少,因此在一定程度上降低了网系统的复杂程度。简化后的模型保持原有的信息量,而所含的库所、变迁得到了减少,在其基础上进行的知识推理,更加简单和高效。最后通过一个病例实例说明,此方法简单实用,可以有效减少时间和空间复杂度,提高知识搜索和推理效率。     

基于故障树和规则匹配的故障诊断专家系统

当前对于设备的故障诊断专家系统,无论在设计上还是实现上,都受到很多客观因素的制约,使得专家系统的实用性和效率都受到了很大的影响。该文从实际应用的角度出发,在已有故障树诊断和规则推理诊断方法的基础上,提出了一种基于专家规则匹配的、可成长的故障诊断专家系统模型,并给出了基于该系统的推理算法和成长机制。该系统模型着重于提高诊断系统的效率和实用性,具有一定的通用性,并在实际项目中取得了较为成功的应用。     

专家系统推理机在Windows下的实现

本文提出了一种称为“分类产生式规则”的专家系统知识表示方法,该方法实质性地改进行了传统的产生式规划,可有效地解决了基于规则的专家系统存在的知识组合爆炸和搜索匹配费用高的问题,同时,较好地解决了专家系统对数值计算无能为力的问题。采用分类产生式规则,已成功地建造了多个实用专家系统和一个专家系统开发工具。文中主要介绍了这种方法的表示形式、推理控制策略和在ＢｏｒｌａｎｄＣ＋＋ｆｏｒ Ｗｉｎｄｏｗｓ下推理机     

分类产生式规则

本文提出了一种称为“分类产生式规则”的专家系统和知识表示方法,该方法实质性地改进了传统的产生式规则,可有效地解决基于规则的专家系统存在的知识组合爆炸和搜索匹配费用高的问题,同时,较好地解决了专家系统对数值计算无功能力的问题,文中主要介绍了这种方法的定义,表示形式、推理控制策略和知识组织等问题,并简要介绍了该方法的优势所在。采用分类产生式规则,已成功地建造了两个实用专家系统。     

基于知识管理的 BIM 模型建筑设计合规性自动检查系统研究

建筑设计合规性自动检查对保证建筑信息模型(BIM)符合设计规范要求,增加规范 检查自动化程度具有重要意义。结合合规性检查理论与专家系统方法,提出了以BIM 模型为检 查对象的合规性自动检查系统框架,以规则知识与推理机制分开的方式实现合规性检查过程。 以《住宅设计规范》为例,对规范中的条文进行知识分析,总结出规范知识表达式,构建规则 库和规则库访问机制;建立了逻辑策略下推理机制,将规则库中的规则信息与BIM 信息进行推 理,输出检查结果;最后构建了合规性检查系统验证平台,通过BIM 模型实例完成模型数据提 取及规则推理的过程,实现了合规性检查的功能,验证了合规性检查方法框架。该方法在一定 程度上能够指导后续的合规性检查相关研究,有效提高BIM 模型的建筑设计合规性检查效率, 保证检查质量,促进建筑工程领域信息化的发展。     

基于Ontology的专家系统研究

针对当前专家系统领域知识语义表示不精确及推理效率低的问题,提出一种基于Ontology的专家系统框架。根据规则结构建立规则模式Ontology和动作Ontology,将用户推理条件作为模式子Ontology,设计出基于名称和实例的相似度计算及Clips推理机制的专家系统推理算法。结合高性能切削加工应用背景给出一个应用实例,应用结果表明,该系统能够明显提高推理效率和推理结果的语义表达。     

A Strategy of Dynamic Reasoning in Knowledge-Based System with Fuzzy Production Rules

Fuzzy production rules have been successfully applied to represent uncertainty in a knowledge-based system. The knowledge organized as a knowledge base is static. On the other hand, a real system such as the stock market is dynamic in nature. Therefore we need a strategy to reflect the dynamic nature of a system when we make reasoning with a knowledge-based system.This paper proposes a strategy of dynamic reasoning that can be used to takes account the dynamic behavior of decision-making with the knowledge-based system consisted of fuzzy rules. A degree of match (DM) between actual input information and antecedent of a rule is represented by a value in interval [0, 1]. Weights of relative importance of attributes in a rule are obtained by the AHP (Analytic Hierarchy Process) method. Then these weights are applied as exponents for the DM, and the DMs in a rule are combined, with the Min operator, into a single DM for the rule. In this way, the importance of attributes of a rule, which can be changed from time to time, can be reflected to reasoning in knowledge-based system with fuzzy rules.With the proposed reasoning procedure, a decision maker can take his judgment on the given decision environment into a static knowledge base with fuzzy rules when he makes decision with the knowledge base. This procedure can be automated as a pre-processing system for fuzzy expert systems. Thereby the quality of decisions could be enhanced.     

中学智能辅导代数专家系统规则库的简化

由于研究问题的复杂性,专家系统规则库中规则量往往十分庞大,这给规则库的管理和维护带来很大不便。该文针对代数智能辅导解题系统,以规则的层次分类为基础,探讨了规则库建立过程中问题复杂度的降低,冗余规则的减少;同时应用粗集方法对其进行约简,精炼了规则库,提高了系统的效率。     

规则库的冗余测试

规则冗余会引起专家系统效率低下、增加维护代价等不利后果,在专家系统中,保持规则库的精练和简洁,避免规则冗余是规则库组织和管理中必须解决的首要问题。概述了冗余规则的分类,并利用这些规则通过算法对某农业专家系统进行测试,发现此知识库存在一定程度的冗余性,但事实证明要完全控制规则的冗余性是不可判定的。     

专家领域本体建模及语义信息服务研究

目前各省市各部门分别拥有各自专用的专家信息系统,分别管理所在地区和所属领域的专家信息,其形式各异且专家信息分布异构.针对实际应用中共享专家信息困难,基于关键字查询信息效率不高等问题,提出基于语义的专家信息系统解决方案.采用5W1H分析法归纳领域本体中概念和关系,建立基于5W1H的专家本体概念模型并生成专家领域本体,实现了专家语义信息统一建模.构建系统的四层体系结构,研究语义推理规则的定义方法,设计了基于语义的规则推理算法和基于SPAR-QL的语义信息查询算法,实现了系统基于语义的信息查询和推理等功能.实验表明,基于语义的专家信息查询在查全率、查准率优于基于关键字的查询.     

Using empirical analysis to refine expert system knowledge bases

seek is a system which gives interactive advice about rule refinement during the design of an expert system. The advice takes the form of suggestions for possible experiments in generalizing or specializing rules in a model of reasoning rules cited by the expert. Case experience, in the form of stored cases with known conclusions, is used to interactively guide the expert in refining the rules of a model. This approach is most effective when the model of the expert's knowledge is relatively accurate and small changes in the model may improve performance. The system is interactive; we rely on the expert to focus the system on those experiments that appear to be most consistent with his domain knowledge. The design framework of seek consists of a tabular format for expressing expert-modeled rules and a general consultation system for applying a model to specific cases. Examples are given from an expert consultation system being developed for diagnosing rheumatic diseases.     

基于CLIPS的卫星任务规划专家系统设计

本文提出了基于CLIPS的卫星任务规划专家系统的设计方法,详细分析了系统的结构和功能,重点讨论了中文产生式系统的BNF范式、基于上下文的推理机制和集合运算符。中文产生式系统的BNF范式基于CLIPS标准BNF范式定义,并依据BNF范式进行规则表示和规则自定义获取;推理机采用上下文限制的规则控制策略,依据不同的上下文加载相关的事实和规则,提高推理机的运行效率;利用规则中的对象逻辑子式进行了集合运算符的设计,并对极值运算符、属性差值运算符和均值运算符等三类集合运算符进行了探讨。该系统解决了卫星任务规划中知识表示和知识获取问题,提高了卫星任务规划推理效率,为卫星任务规划人员提供有效的辅助决策功能。