基于关联规则数据挖掘的梭式窑燃烧控制专家系统的研究

为实现梭式窑燃烧控制运行的空燃气优化配比以及温度控制科学决策,研究并设计出一种基于关联规则数据挖掘的专家系统。详细地论述了数据挖掘基础知识以及使用关联规则理论挖掘的方法。重点设计并介绍了燃烧控制专家系统的各个部分详细组成。最后还给出了基于关联规则的燃烧控制专家推理算法并进行了实际应用举例。实践表明,该专家系统模型适应性好,推理结果可靠稳定,具有比较好推广应用价值。     

模糊推理的α-三I算法

三I算法是针对模糊推理的FMP与FMT模型的一种新的推理方法。本文借助蕴涵算子的性质,针对满足一定条件的较一般蕴涵算子,建立了FMP与FMT模型的α-三I算法,并讨论了算法的还原性。     

基于案例推理的旋转机械故障诊断系统研究

针对大型旋转机械结构复杂,故障现象难以用结构化知识表示,故障诊断规则难以提炼的特点,将基于案例推理(CBR)方法应用于旋转机械故障诊断。从旋转机械故障诊断的需求出发,在分析旋转机械故障诊断知识特点的基础上,对故障诊断系统的总体结构、故障案例库的构建、案例相似度匹配、案例调整和学习等CBR方法的关键技术进行了研究。重点设计了故障案例表示方法,采用基于三标度的层次分析法(AHP)确定案例征兆权值。提出了改进的最近邻法计算案例相似度,可以从征兆名称、征兆值、权值三方面对案例进行精确匹配。提出了基于案例审核的学习机制,可以充分发挥不同人员的作用。开发了基于CBR的旋转机械故障诊断系统原型,并给出了应用实例。     

格值一阶逻辑系统LF(X)中带广义量词的不确定性推理

讨论格值一阶逻辑系统LF(X)中带广义量词的不确定性推理规则,和FMP、FMT规则。为研究带广义量词的归结自动推理作准备,也为研究语言值逻辑推理提供一阶逻辑系统的基础平台。     

参数Kleene系统的三Ⅰ算法与反向三Ⅰ支持算法

提出基于参数蕴涵算子θp模糊推理的思想,给出了在模糊推理的每一步都使用蕴涵运算pθ的三I算法与反向三I支持算法理论,得到了三I上确界算法、模糊取式算法(FM P)与模糊拒取式算法(FM T)的计算公式,这将有助于提高模糊推理结果的可靠性。     

Elements in accepting an explanation

This paper addresses the question of what criteria influenced the acceptance of two “explanations” by grade 5 students. The students accepted the use of deductive reasoning as explanatory, as well as using reasoning by analogy in their own explanations. The “explanations” can be interpreted as proofs by mathematical induction. The main weakness of mathematical induction as a form of explanation was the arbitrariness of the initial step. The induction step did not seem to trouble these students. Other elements in their acceptance of explanations were concreteness, familiarity, and opportunities for multiple interpretations.     

基于案例推理的股价操纵行为判别系统研究

自中国股票交易市场成立以来,各种各样的股价操纵行为层出不穷。本文就如何对股价操纵行为进行判别做了研究,设计了一个基于案例推理的股价操纵行为判别系统。利用1996~2009年间在中国股市中被公开披露和查处的股价操纵案构建案例库,在前人研究的基础上从价量和风险两个角度提取了股票的若干市场交易属性作为判别指标,并通过二值Logistic回归分析确立了指标属性的权重,随后采用K最近邻法作为案例检索算法,依据指标属性的特征同时确立了属性相似度的计算方法,并利用SQL语言对核心算法在数据库中进行了程序实现。同时,通过设计“阈值控制法”来维护案例库,确保了案例库中知识的代表性并能有效降低信息冗余度。基于案例推理的股价操纵行为判别系统能够绕过“知识获取”这个难题,克服基于规则的推理系统的一些弱点,为今后股价操纵行为的判别研究提供了一个新的方向。     

基于本体的领域知识库构建及推理研究

文章基于本体、资源描述框架、本体描述语言OWL、描述逻辑，对领域知识库的构建及知识推理等方面进行了研究，阐述了基于本体的领域知识库构建的方法，并且介绍了常用软件领域知识库的构建实例，对基于描述逻辑的知识库推理进行了研究，并以实例说明其应用。     

关于格蕴涵代数的余元及结构

根据格蕴涵代数的性质,利用蕴涵滤子的概念,给出一种确定任意元素的余元的思路,指出在几种特殊的分配格上不能定义格蕴涵代数,给出几种格蕴涵代数的结构。     

语义Web推理的研究与实现

语义Web的逻辑基础是描述逻辑,语义Web出现的目的就是为了解决机器和人对知识理解的问题,因此可以在语义Web的基础上展开推理。传统的推理系统结合语义Web可以克服知识表示方面的缺点,并且有利于知识的共享。首先在语义Web的知识体系之上建立起来一套推理系统,然后通过应用实现对该系统进行了验证。