一种基于因果网络模型的诊断推理模型

提出一种基于因果网络的诊断推理模型.该模型用因果网络表示诊断对象的领域知识,不仅能有效地表达知识的不确定性,更重要的是解决了知识的不完备问题.该模型的推理过程分为领域相关的环境集识别和领域无关的诊断解产生两个阶段,增加了算法的柔性和通用性.     

锅炉燃烧过程的推理控制建模及仿真实验

锅炉燃烧过程会受到不可测干扰的影响,造成能源浪费和环境污染.本文通过建模分析,由可测输出量估计这些干扰对过程的影响,并采用推理控制削弱了干扰的影响.     

锅炉燃烧过程的推理控制建模及仿真实验

锅炉燃烧过程会受到不可测干扰的影响，造成能源浪费和环境污染。本文通过建模分析，由可测输出量估计这些干扰对过程的影响，并采用推理控制削弱了干扰的影响。     

基于案例推理的信息系统构建方法研究

提出一种构建信息系统的基本案例推理的方法及实现技术，为信息系统的方案设计提供一个有关的支持，在案例库的支持下，运用基于案例的推理方法快速实现系统设计方案，提出的方法能有效支持以网络结构设计为主的信息系统方案设计。     

自动推理与教育软件智能平台

阐述了如下内容：（1）自动推理的发展与教育技术；（2）教育软件智能平台的基本构成；（3）教育软件智能平台应有的功能，并进行了教育软件智能平台实例演示。     

基于物元与或网的可拓推理

本文给出了基于物元与或网的启发式可拓搜索算法、可拓关系继承推理、相关记忆可拓继承（联想）推理，丰富了机器学习的创造性的推理内容。     

支持与证据的形式化研究

关于不确定推量，从概率模型、可信度理论发展到证据理论和模糊推理，大大丰富了不确定推理的理论，在专家系统中的应用也日趋成熟，所有这些研究都是基于“一定意义”下的数值度量来研究证据与结论之间的关系，因而可以提出这样的问题，在非确定环境下，证据和证据对结论的支持强度的普遍含义是什么？这就涉及到支持和证据的逻辑基础问题。作者在文献[1]提出了支持逻辑和证据的初步概念，本文探讨了事态的形式化并且对支持逻辑和证据作了进一步说明和解释，对整个形式化方案作了肯定的说明。     

关联规则挖掘中的关联推理

在大型数据库项目之间发现关联规则是一个重要的数据挖掘问题，而挖掘出的关联规则数常常是巨大的。现基于覆盖运算，讨论已知关联规则可导出其它关联规则，并指出存在能覆盖全部关联规则的最小规则集。     

一种基于黑板模型的猜测推理方法

针对黑板结构中的猜测现象提出了一种基于数据依赖图的猜测推理方法，并给出了这种方法的模型及实例     

3种CAD变量化设计方法的比较

系统比较了目前ＣＡＤ变量化设计的３种主要方法的改进算法，阐明了它们的求解过程与结果实质上是统一的，即化繁为简，逐步求解，最后指出了将这３种方法统一结合，可为变量化设计提供快捷而简单的技术手段。