关于Cialdea一阶模态归结系统

指出了Ｃｉａｌｄｅａ一阶模态逻辑归结系统是不完备的．为了确保推理系统的完备性，给出了Ｃｉａｌｄｅａ系统的两种修正方法．     

工艺设计实例推理的神经索引模型的研究

提出了一种基于神经网络的工艺实例推理索引模型，与现存大多数实例推理系统不同，该方法用神经网络实现实例的动态分类和索引，实例层次分类的３层结构和基于特征的聚类模板概念，为实现基于符号处理的实例推理求解模式向基于向神经计算模式识别求解模式映射提供了条件。     

集成化智能软件系统及其在机械工程中的应用

在机械工程由信息处理自动化向决策自动化发展的过程中,以知识处理技术为主要研究内容,以集成化智能软件系统为主要产品的智能工程将起决定作用。智能工程在机械设计和制造中的应用将极大提高机械工程领域解决复杂工程实际问题的能力及自动化程度。本文着重讨论并行分层结构的集成化智能软件系统的原理和功能,同时就智能工程在机械领域的应用研究提出看法。     

定性推理的新进展

本文主要介绍作为定性推理最新成果的三种推理方法:数量级推理、比较分析以及量纲分析.同时,对它在工程枝术上的应用给予简单介绍和评述.     

容错推理的逻辑基础

容错推理允许容纳错误知识而能作出合理推论,形式化常识推理可以描述为各种容错知识情形下推理的问题,容错知识的一般基础是含矛盾与含未知知识情形。我们基于极大相容性概念,定义极大相容子理论作为形式化容错推理的一种特殊途径;进一步,我们基于优先语义,给出一种容错逻辑的一般途径。     

多专家综合评判系统

文章提出了一个多专家综合评判系统，该系统可作为一个专家系统框架。系统的主要特点在于，对地质领域中出现的一些模糊数据作了一定的处理，对用各个专家知识推出的结果进行了综合评判，使其结果克服了片面单一性。     

主动数据库及其应用的研究

介绍一个把规则系统与ＯＲＡＣＬＥ关系数据库管理系统结合在一起而形成的主动数据库管理系统ＲｕＢＤＢＭＳ。规则子系统ＲｕＭＥＳ用Ｃ语言实现，我们定义一种规则语言语法作为ＳＱＬ的扩充，规则由数据库的变化来触发，规则的条件和动作部分依赖于当前数据库状态以及数据库的变化值，ＲｕＭＥＳ为数据库应用程序开发提供了一个规则语言工具，使之能完成数据库一致性完整性约束的自动维护及其它特殊目的的数据库管理功能。     

故障诊断系统中模糊推理算法的研究

针对故障诊断系统的特点，提出了一种基于模糊ＰｅｔｒｉＮｅｔｓ模型的反向模糊推理算法，并将人的感官信息加于其中，提高了故障诊断系统推理的效率。     

高层混凝土建筑的抗震选型支持系统

采用面向对象程序设计方法，以面向对象程序设计Ｓｍａｌｌｔａｌｋ／Ｖ和过程式语言ＦＯＲＴＲＡＮ７７为基本工具，通过多级模糊综合评判推理，以有利于抗震的建筑体型为目标来建立智能支持系统，用以帮助工程设计人员选择合适的建筑体型。