基于不确定、不精确知识的推理系统─UKRS~＊ 

ＵＫＲＳ是建立在算子ＦＵＺＺＹ逻辑的λ－Ｈｏｒｎ集上，使用λ－ＳＬＤ归结推理机制作为其理论支持的一个基于不确定、不精确知识的推理系统。在ＵＫＲＳ中用λ－Ｈｏｒｎ子句表示知识，因算子ＦＵＺＺＹ逻辑对于算子是显式表示的，故可以方便的描述不确定、不精确知识，并且支持不确定、不精确推理。     

基于不确定,不精确知识的推理系统——UKRS

ＵＫＲＳ是建立在算子ＦＵＺＺＹ逻辑的λ－Ｈｏｒｎ集上，使用λ－ＳＬＤ归结推理机制作为其理论支持的一个基于不确定、不精确知识的推理系统。在ＵＫＲＳ中用λ－Ｈｏｒｎ子句表示知识，因算子ＦＵＺＺＹ逻辑对于算子是显式表示的，故可以方便的描述不确定、不精确知识，并且支持不确定、不精确推理。     

汽轮发电机组故障诊断专家系统的研究

建立一个基于知识的汽轮发电机组故障诊断专家系统ＫＢＦＤＥＳ，该系统采用“框架＋规则”知识表示技术，并将框架驻留在内存，而将规则驻留在虚拟盘上；在诊断过程中采用广义的不精确推理策略，并对重要信息用一个组合神经网络进行智能识别；系统将神经网络技术和ＩＤ３算法结合，可以实现从诊断实例自动获取知识。     

汽轮发电机组故障诊断专家系统的研究与应用

介绍一个基于知识的汽轮发电机组故障诊断专家系统ＫＢＦＤＥＳ，系统采用“框架＋规则”知识表示技术，并将框架驻留在内存，而将规则驻留在虚拟盘上；在诊断过程中采用广义的不精确推理策略，并对重要信息用一个组合神经网络进行智能识别；系统将神经网络技术和ＩＤ３算法结合可以实现从诊断实例自动获取知识。     

模糊Petri网在FMS故障诊断中的应用研究

针对柔性制造系统（ＦＭＳ）故障诊断的特点，将模糊Ｐｅｔｒｉ网扩展为模糊行为Ｐｅｔｒｉ网（ＦＢＰＮ）．并应用于知识的表示中，讨论了ＦＭＳ系统、ＦＢＰＮ及产生式规则之间的对应关系，提出一种模糊反向推理机制，给出了利用ＦＢＰＮ进行知识表示和推理的实例．     

基于集成式知识表示的专家系统开发工具

本文针对工程应用中知识的特点，提出了一种新型的知识表示方法－集成式的知识表示，给出了这种知识表示的ＢＮＦ范式，并就如何这诸多类型的知识正确、高效地推理进行了详细读者论坛，同时给出了推理过程的算法。     

用于态势评估中因果推理的贝叶斯网络

1 引言贝叶斯网络是由R.Howard和J.Matheson于1981年提出来的,它主要用来表述不确定的专家知识。后来经过J.Pearl,D.Heckerman等人的研究,贝叶斯网络的理论及算法有了很大的发展。作为一种知识表示和进行概率推理的框架,贝叶斯网络在具有内在不确定性的推理和决策问题中已经得到了广泛的应用,例如概率专家系统、计算机视觉和数据挖掘等。     

国家知识基础设施中的数学知识表示

数学知识表示是知识表示中的一个重要方面,是数学知识检索、自动定理机器证明、智能教学系统等的基础.根据在设计NKI(national knowledge infrastructure)的数学知识表示语言中遇到的问题,并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法:一种是以一个逻辑语言上的公式为属性值域的描述逻辑;另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑.在前者的表示中,如果对公式不作任何限制,那么得到的知识库中的推理不是可算法化的;在后者的表示中,以描述逻辑描述的本体中的推理是可算法化的,而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的.因此,在表示数学知识时,需要区分概念性的知识(本体中的知识)和非概念性的知识(用本体作为语言表示的知识).框架或者描述逻辑可以表示和有效地推理概念性知识,但如果将非概念性知识加入到框架或知识库中,就可能使得原来可以有效推理的框架所表示的知识库不存在有效的推理算法,甚至不存在推理算法.为此,建议在表示数学知识时,用框架或描述逻辑来表示概念性知识;然后,用这样表示的知识库作为逻辑语言的一部分,以表示非概念性知识.     

注塑件缺陷诊断专家系统的研究及应用

本文建立了一个基于知识的注塑件缺陷诊断专家系统ＫＢＤＤＥＳ。该系统采用不精确推理及确定性理论,按人类专家处理问题的思维方式来协调各专家对问题假设的不确定性,并运用正反向混合推理的控制策略,对常见的注塑件缺陷及注射过程中的故障进行诊断,得出结论并给出避免缺陷或故障的方法及建议。系统知识的表达采用了“框架十规则”的复合表达技术,使不同层次的知识源统一于同一知识表达结构内。     

FMS故障诊断的模糊行为Petri网研究

根据ＦＭＳ故障诊断推理中知识的模糊性，提出模糊行为Ｐｅｔｒｉ网（ＦＢＰＮ）的定义，研究用模糊行为Ｐｅｔｒｉ网表示模糊产生式规则的方法，提出一种模糊反向推理机制，给出算法的实现。最后以ＢＦＥＣ—ＦＭＳ的刀库换刀故障为例，证明该方法的可行性和有效性     

提高基于规则专家系统效率的技术和方法

针对目前基于规则的专家系统效率不高的现状,从推理机设计、知识库设计、与其他先进技术结合等三个方面详细论述了提高这类专家系统效率的技术和方法,从而构建一个能真正反映人类专家水平的高效的专家系统。     

复合系统智能诊断方法研究

随着电子设备系统的日益复杂化,依靠单一的推理技术的故障系统已难以满足复杂系统的诊断要求.将多种不同的推理技术结合起来的集成诊断系统,能够充分利用各自的优点,从而提高系统诊断的正确性和效率,是目前智能诊断研究的一个发展趋势.本文将研究复合系统的智能诊断问题,提出在一个复合系统的诊断过程中,运用基于规则的诊断和基于模型的诊断,两种诊断技术相结合将在诊断的不同阶段发挥出各自的作用,从而建立一个融合了RBD和MBD技术优点的、具有一定学习能力的智能诊断系统.     

基于ATMS和证据理论的不确定性推理方法

本文提出了一种新的不确定性推理方法ＨＵＩＭ．这种方法把基于假设的真值维持系统（ＡＴＭＳ）和Ｄｅｍｐｓｔｅｒ—Ｓｈａｆｅｒ的证据理论有机地结合在一起，使得ＡＴＭＳ这种符号代数系统可用来处理以数值形式表示的不确定性信息．将该方法应用于基于规则的系统，可以弥补这类系统在不确定性推理方面所存在的某些不足．     

基于规则和事例混合推理的设计型专家系统模型研究

该文根据设计活动的特点，在综述设计事例表示，组织与检索模型基础上详细讨论了基于规则混合推理专家系统结构模型，以及在收音机起落架起落机设计系统ＬＥＤＥＳ上具体应用。     

基于规则库的变压器故障监测专家系统

针对变压器在线监测中缺乏状态方程的问题,设计了一种基于规则库的变压器故障实时监测的专家系统。首先以规则形式对专家知识进行编码。其次为了提高系统运行速度,方便规则的存储和管理,采用转化方案对规则进行了规范化处理,将规则以统一的形式存储在知识库中。最后提出了一种自动消除冗余规则的算法,得到所需的最小规则库。实验表明,该设计很好地模拟了人类专家对变压器故障的推理过程。     

Automated functional design of engineering systems

This paper presents a prototype intelligent system, the knowledge-based functional design automation system (KBFDA) for automating the functional design process of engineering products/systems. An integrated knowledge representation scheme combines rule-based and object-oriented representation methods to represent functions and function related design characteristics in an intelligent design environment. A knowledge-based functional reasoning strategy uses this representation to automatically generate physical behaviors from desired functions or behaviors. The required behaviors are then combined in different configurations to develop a set of potential concept variants that meet the functional requirements and functional constraints given in a design specification. Finally, the variants are ranked according to the degree to which they meet non-functional constraints. The variant with the lowest rank (score) is selected as the best solution. A case study design of a terminal insertion unit is presented to demonstrate the practicality of the proposed approach.     

Fuzzy concepts in expert systems

The authors present a comprehensive expert-system building tool, called System Z-II, that can deal with exact, fuzzy (or inexact), and combined reasoning, allowing fuzzy and normal terms to be freely mixed in the rules and facts of an expert system. This fully implemented tool has been used to build several expert systems in the fields of student curriculum advisement, medical diagnosis, psychoanalysis, and risk analysis. System Z-II is a rule-based system that uses fuzzy logic and fuzzy numbers for its inexact reasoning. It uses two basic inexact concepts, fuzziness and uncertainty, which are distinct from each other in the system     

基于Spring框架的畜禽疾病诊断专家系统的设计与实现

针对传统诊断专家系统存在的问题,结合国内外研究现状,采用Hibernate+GWT+Spring技术设计实现了畜禽疾病诊断专家系统,实现了畜禽的疾病诊断和防治功能。该系统采用混合推理策略,运用基于产生式规则的知识表示方法将鸭、猪、猫、鸡等畜禽的疾病诊断与防治进行了集成,指导养殖户进行养殖活动。经实践验证和专家评测,具有一定的现实意义和推广价值。     

基于MAS的航空机务维修差错预警专家系统

机务维修是关系到民用航空安全和效益的重要因素之一，是飞行安全的基础，因此迫切需要建立航空机务维修差错预警专家系统。采用Agent技术作为低层支撑技术，将基于规则的不确定性推理和基于案例推理的预警方法引入航空机务维修差错预警领域，给出了总体结构的设计以及关键技术的实现，从而为航空机务维修差错预警提供了一种新的思路和方法。