基于Rough Set理论的小儿常见病诊断智能超媒体系统

本文主要介绍了用VisualBasic和SQLSever开发的小儿常见病诊断智能超媒体系统以及RoughSet理论在该系统中的应用,包括利用RoughSet理论对该系统中的知识库中的知识进行约简和进行正推理和反推理的方法。RoughSet理论的应用,大大提高了该系统的推理效率。     

一种模糊知识库系统及其推理机制研究

介绍了一种具有模糊推理机制的模糊知识系统的基本结构、知识表示和推理机制,阐述了在模糊知识库设计与实现中,模糊推理机构造和工作流程设计的方法。该系统推理机制是基于传统RETE算法的扩展,通过使用相似性方法来处理模糊问题,实现了一种较为理想的不确定性推理;同时系统采用正向和反向推理相结合的双向推理机,使推理具有较高的准确性。最后给出了一个实例验证系统可行性。     

并行归纳法推理系统

为提高归纳法推理过程的速度和效率，我们在Ｂｏｙｅｒ－Ｍｏｏｒｅ程序证明方法和自行设计的串行归纳法推理系统的基础上，进行了并行归纳法推理的研究，其中包括推理知识的分布处理，系统初始工作的并行化，并行推理子任务的识别与调度，子任务间的信息通信，以及推理问题的可并行性等方面的探讨。最后文章还介绍了对此并行归纳法推理系统的语言支持。     

自动推理技术发展的回顾与展望

介绍了国内外自动推理技术研究的历史,给出了自动推理的分类方法,阐述了各种自动推理技术的逻辑基础和基本思想,对各种推理模型的优缺点进行了系统的比较,并探讨了自动推理技术的发展趋势。     

湖北省突发事件预警应急智能决策支持系统

介绍了突发事件预警应急智能决策支持系统研究的必要性,阐述了湖北省突发事件预警应急智能决策支持系统的网络结构、系统的基本功能和系统的结构设计思想。重点讨论了该系统的关键技术——主推理机的设计。为解决案例推理和规则推理方面的不足,提出了一种新的FCR算法,它将案例推理、规则推理和模糊推理有机结合起来,并用于实际的智能决策支持系统。     

自动推理技术发展的回顾与展望

介绍了国内外自动推理技术研究的历史,给出了自动推理的分类方法,阐述了各种自动推理技术的逻辑基础和基本思想,对各种推理模型的优缺点进行了系统的比较,并探讨了自动推理技术的发展趋势.     

一种模糊知识库系统及其推理机制研究

介绍了一种具有模糊推理机制的模糊知识系统的基本结构、知识表示和推理机制，阐述了在模糊知识库设计与实现中，模糊推理机构造和工作流程设计的方法。该系统推理机制是基于传统PETE算法的扩展，通过使用相似性方法来处理模糊问题，实现了一种较为理想的不确定性推理；同时系统采用正向和反向推理相结合的双向推理机，使推理具有较高的准确性。最后给出了一个实例验证系统可行性。     

归纳法推理中的各种推理策略*

分元符删除；项推广；无关式删除；交融是归纳法推理系统中一些重要的推理策略．文中逐一介绍了这些推理策略，给出了使用这些推理策略的方法，列出了不同推理策略的编译LlSP语言实现．     

动态系统的定性推理：定性模型的建立与定性仿真方法

本文首先介绍了动态系统的定性推理的产生背景，发展概况以及定性推理的实际应用前景，然后以Ｋｕｉｐｅｒｓ的定性仿真理论为中心介绍了定性推理的基本原理及方法，其中重点介绍了动态定性仿真算法ＱＳＩＭ和定性推理的最新发展，并对存在的问题进行了探讨。     

WFPN在模糊知识推理中的应用研究

WFPN用于知识推理方面和其他方法相比,其优点在于使得知识可以结构化表示,并且WFPN还具有系统的分析方法支持模糊推理。介绍了WFPN推理的基本概念,给出一个消除循环推理路径的算法,并在此基础上提出一个在可能存在循环推理路径下的推理算法。     

某武器系统电控设备的故障诊断专家系统

以Visual Basic6.0为开发环境，Access97为数据库结构形式，DAO为数据库访问技术，开发了某武器系统电控设备故障诊断专家系统，介绍了系统的功能组成和实现方法。研究了一般产生式规则与模糊产生式规则相结合的知识表示方法以及精确推理与模糊推理相结合、基于规则的推理和基于实例的推理相结合的推理机制。     

Symbol system for symmetry of physical systems

Based on the view that symmetry recognition plays an essential role in human reasoning about the laws of physical phenomena, we propose a reasoning paradigm in which symmetry assist in the discovery of physical laws. Within this paradigm, symmetries are used as constraints which enable us to specify, derive, and generalize these equations. The symmetry-based reasoning is extracted and formalized from Einstein's work on relativity. We claim that the reasoning procedure thus formalized provides a general reasoning architecture that is common to dimensional analysis in engineering, mathematical proofs, and common sense reasoning. This symmetry-based reasoning system has been implemented as a symbol-processing system with a production system and a formula-processing system. Using the symmetry-based reasoning system, the equation of Black's Law of specific heat is demonstrated to be specifie, derived, and generalized.     

混合案例推理和规则推理的集成推理框架

在智能决策系统（IDSS）获取知识的推理体系中，案例推理和规则推理有着各自的优点，而混合两者的集成推理可以克服两者的缺点，提高系统的效率和综合推理能力。但是集成推理系统缺乏通用性，延长了开发周期，且不利于规则库和案例库的重用。一种可扩充的集成推理框架为了解决上面的问题而被提出，该框架利用智能决策支持语言Knonit的组件性，对不同的集成方式可方便地扩充相应的集成推理方案，从而快速地搭建IDSS应用；同时规则和案例是作为Knonit广义知识元存在，可以在集成推理框架中复用，另一方面，Knonit的动态特性和可扩充性也对案例库和知识库动态的调整和扩充提供了支持。     

基于前向推理的平面解析几何自动推理系统研究与实现

采用传统的前向推理策略，使用了代数和几何相结合的推理方法，把解方程作为核心思想，较完善地实现了平面解析几何的自动推理系统。实践证明，本系统可以对大部分初等平面解析几何问题进行自动解题。     

CAUPS系统中的时空推理机制与算法

动态城市规划方案仿真系统中的一个重要问题就是抽象和提取仿真对象之间涉及到的空间和时间逻辑关系,并以此作为仿真过程的基本准则和规范动态推理演算。为了建立CAUPS系统中的时空推理机制,针对城市规划方案的动态仿真过程中需要应用到的基本准则和规范,在传统时空关系描述和推理规范的基础上定义出适用于面向城市规划动态仿真的时空关系。考虑到城市规划过程中存在的非刚体对象,提出面向城市辅助规划系统方案应用结果仿真的时间空间推理规范,该规范能够非常好的支持如植被、水域等非刚体对象,并给出一个适合多Agent系统采用的时间空间推理规范执行解决方案,包括时间推理规范算法和空间推理规范算法。面向城市规划的时间推理规范算法和空间推理规范算法已经被成功应用于CAUPS系统底层的多Agent交互关系调整中。     

高精度RBP-模糊推理复合学习系统

该文提出了高精度RBP-模糊推理复合学习系统.系统主要由基于鲁棒估计的鲁棒BP 学习环节和基于混合合成推理的模糊推理环节构成.该学习系统的主要特点是可由鲁棒BP 算法和min-max,max-min模糊推理算法简单地实现.最后通过在目标跟踪问题中应用结 果,表示了该算法的高精度和鲁棒性.     

基于混合推理机制的故障诊断专家系统

多数故障诊断专家系统采用单一的推理机制,或者基于规则的推理,或者基于事例的推理。而这两种推理机制都各有优缺点,采用单一推理机制会造成诊断的不准确性。论文将基于规则的推理和基于事例的推理相结合,设计了混合推理机制。在此基础上,论文设计了一个既有专家知识库,又有故障事例库,具有自学习能力的故障诊断专家系统(AFDES)。实验结果表明,论文设计的混合推理机制是比较有效的。     

基于Ontology的专家系统研究

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

高精度RBP－模糊推理复合学习系统

该文提出了高精度ＲＢＰ－模糊推理复合学习系统．系统主要由基于鲁棒估计的鲁棒ＢＰ学习环节和基于混合合成推理的模糊推理环节构成．该学习系统的主要特点是可由鲁棒ＢＰ算法和ｍｉｎ－ｍａｘ，ｍａｘ－ｍｉｎ模糊推理算法简单地实现．最后通过在目标跟踪问题中应用结果，表示了该算法的高精度和鲁棒性．     

案例推理在智能化网站自动生成系统中的应用

案例推理是专家系统（ES）中一种重要的推理技术,本文将基于案例的推理方法应用于网站自动生成系统中.系统通过提供与当前网站相似的网站案例,增强领域专家的类比推理及记忆能力,充分利用案例中隐含的专家常识知识,大大地缩短开发Website项目的周期,提高工作效率.文章在最后通过应用实例表明了该系统的有效性和可行性.