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

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

定性推理的新进展

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

容错推理的逻辑基础

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

层次分类诊断模型

基于分类问题的普遍性,针对复杂系统的诊断问题,提出一种层次分类诊断模型,并解决了其中的关键技术问题.论述了如何建立诊断问题的分类层次和证据模式;提出了诊断知识的组织模型与表达方法;并给出了完整的推理控制算法.以这一模型为基础,建立了一个汽轮发电机组故障诊断专家系统.     

析取推理中的前提语义加工

本研究运用三种不同情境内容的可兼析取和不可兼析取共6种大前提,加上肯定和否定两种形式的小前提,构成12个演绎推理题,对103名大学生进行了测试,以检验Johson-Laird(1992)提出的演绎推理的新模式理论.结果证明,大学生的推理并不符合新模式理论的预测.本研究就被试在演绎推理中如何对前提进行语义加工的问题进行了讨论.     

多专家综合评判系统

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

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

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

用分层ATMS实现缺省逻辑

Ｒｅｌｉｅｒ的缺省逻辑存在着局限性．它无法表示缺省规则之间的优先级，无法处理缺省规则中析取，并且不满足累积性．虽然Ｂｒｅｗｋａ提出带优先级的缺省逻辑和累积缺省逻辑，但不能完全克服上述局限性．本文介绍了分层ＡＴＭＳ，然后指出用分层ＡＴＭＳ实现的缺省逻辑能克服现有缺省逻辑中的局限性．     

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

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