基于模糊推理的管理数据库的知识挖掘

通过对学生管理数据库中学生的成绩，采用模糊数学中的多重多维模糊推理方法，首先建立了学生成绩数据的模糊推理规则及相应的隶属函数，给出与其对应的多重多维模糊推理模型，在此基础上对学生管理数据库中学生成绩数据进行知识挖掘，给出了学生个人综合素质的分类。与此同时，我们对模糊推理中隶属函数的构造方法、模糊推理过程中合成算子的选择及模糊向量的处理进行了研究，得出了比较满意的结论。     

情态演算在行动推理中的应用

情态演算是专门设计来表示动态变化世界的一个二阶多类语言，它可作为描述动态系统的一个工具，在行动推理的应用中显示出其强大的表示能力和实现能力．在情态演算中，可以对行动进行公理化，可以描述行动的时间性、并发性及agent的信念和知识，可用Prolog实现在开放世界中带有感知行动的规划．讨论并介绍与这些应用有关的基本概念、思想，方法和最新的一些研究成果。     

Associating Memory Through Case-Based Immune Mechanisms for Dynamic Job-Shop Scheduling

Knowledge plays an active role in job-shop scheduling, especially in dynamic environments. A novel case-based immune framework was developed for static and dynamic job-shop problems, using the associative memory and knowledge reuse from case-based reasoning (CBR) and immune response mechanisms. A 2-level similarity index which combines both job routing and problem solution characteristics based on DNA matching ideas was defined for both the CBR and immune algorithms. A CBR-embedded immune algorithms (CBR-IAs) framework was then developed focusing on case retrieval and adaptation methods. In static environments, the CBR-IAs have excellent population diversity and fast convergence which are necessary for dynamic problems with jobs arriving and leaving continually. The results with dynamic scheduling problems further confirm the CBR-IAs effectiveness as a problem solving method with knowledge reuse.     

基于L~*系统的一种非单调推理系统

研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统L ,在L 系统中定义了后承关系｜～:A｜～B当且仅当A2├B,证明了在L 系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这种后承关系不满足单调推理系统M的逆否律规则,从而在L 系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统.这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路.     

Application of Uncertainty Reasoning Theory to satellite Fault Detection and Diagnosis

Reasoning theories are divided into certainty reasoning theories and uncertainty reasoning theories.Now,only certainty reason-ing theories use to deitcs are used to detect and diagnose satellite faults.However,in practice,it is difficult to detect and diagnose some faults of the satellite autiomatically only by use of ccrtainty.Fortunately.uncerlainty Reasoning theories are applied to detect and diagnose satellite faults.Uncertainty reasoning theories include several kinds of theories,such as inclusion degree theory,rough set theory,evidence reasoning theory,probabilisticresoning theory,fuzzy,fuzzy reasoningteory,and so on.Inclusion degree theory.rough set theory and evidence reasoning theory are three advanced ones,Based on these three theories respectively.the audhor introduces three new methods to detect and diagnose satellite faults in this paper.It is shown that the methods,suitable for detecting and diagnosing satellite faults,especially uncertainty faults,can remedy the defects of the current methods.     

确定性理论及主观Bayes方法的一个统一框架

本文讨论下列问题:1.提出一个统一框架:假定不确定知识由断言和推理不确定性组成,则其推理形式由AND型结合、OR型结合和COMB(组合)型结合组成.2.讨论在建造专家系统中,处理不确定性知识的确定性理论和主观Bayes方法,并将这个统一框架用于上述二种不精确推理方法,使这二种推理方法进一步系统化.3.讨论确定性理论和确定性因子的定义,提出一个将确定性因子的区间从[-1,1]压缩到[0,1]的方法.     

知识库中近似推理命题的Fuzzy表达及其求值

面向知识的计算机处理,关键在探求对包含主观不确定性命题的表达和求值。本文根据Zadeh的近似推理理论,给出在含有语言信息的知识库查询中,以一种可表达思维模糊特征的Fuzzy零函数Z(s)作为执行Fuzzy程序的可优化判据,并给出著名Fuzzy谓词“a few”的解。     

知识基工艺设计专家系统

系统使用Visual Prolog语言，基于知识进行计算机辅助工艺设计。在系统中采用零件特征与加工特性相结合的方法描述零件；分层和分类收集存放知识，知识基与推理机分离，用户可以打开知识库根据要求修改知识；推理机制采用反向推理，进行合一算法自动生成工艺规程。     

约束优化的两块校正非单调回代法

提出一种二块校正既约Hessian方法的非单调信赖域回代算法来解决约束优化问题。一般采用二块校正的双边既约Hesse阵方法代替完全Hesse阵方法处理大规模问题。为了获得算法的整体收敛性，引入非光滑的l1罚函数作为势函数。在每次回代中不必使罚函数都单调递减，以使能克服高度非线性情况下的峡谷状态，同时采用二阶校正步计算能避免Maratos效应。只要每一步迭代至少运用两种校正规则之一，算法就能保持一步局部Q－超线性收敛速率。     

基于范例推理的桩基设计辅助系统

基于范例的推理（CBR）是一种新型的人工智能推理技术，能够有效地提高系统的推理求解能力，利用Visual Basic和Access，通过应用数据库来表示和搜索匹配范例，对开发基于范例推理的桩基设计辅助系统进行了初步尝试。