模糊知识体系逻辑扩展能力评价模型研究

以真度测度区间的兼容性和推理结果的逻辑语义一致性为评价指标，在模糊逻辑知识体系和二值逻辑知识体系间严格定义了一种模糊知识体系逻辑扩展能力评价模型，并给出对典型加权模糊逻辑的详细评测过程，这个模糊知识体系的逻辑扩展能力评价模型，可对各领域模糊知识体系对二值逻辑知识体系扩展的合理性程度进行评测。     

初等模糊一阶逻辑的准形式演绎系统

本在模糊命题逻辑演绎系统的基础上,引入了模糊意义下的一阶逻辑的相关概念,建立了模糊一阶（谓词）逻辑的准形式演绎系统。并且证明了相应的可靠性定理。     

直觉模糊逻辑中的归结原理

在模糊逻辑归结原理的基础上，用（０，１）中的两个实数表示一个命题“真的程度”和“假的程度”，从而提出了直觉模糊逻辑，本文提出直觉模糊逻辑的归结原理，并证明其完备性。     

模糊逻辑组合的灰度模型

首先对复合模糊命题的几种真值计算方法作了介绍，分析各种方法的优缺点，接着为了处理日益增多的模糊逻辑组合算子给用户带来不便的问题，提出模糊逻辑的灰度概念，给出一个处理逻辑组合的灰度模型。它能将具有不同灰度的模糊逻辑统一起来．     

对算子模糊逻辑的拓展讨论

在算子模糊逻辑的基础上，定义了直觉算子模糊逻辑，并对它的性质进行了讨论。     

模糊逻辑函数的主析取范式的研究

本文首先证明有关模糊逻辑函数的一些定理和并不可约元的充要条件。之后定义了模糊逻辑函数的“互素并不可约元”的概念,以及建立了在主析取范式“互素并不可约元”的条件。最后给出简化模糊逻辑函数的方法,应用它化简模糊逻辑函数,比采用[1]和[2]介绍的方法,化得更简。从而使模糊逻辑函数的化简问题,得到较理想的解决。     

基于矩阵半张量积的模糊逻辑研究进展

模糊逻辑是一种在不确定性条件下建模和控制复杂过程的革命性方法,在系统建模与控制领域得到了广泛的应用。基于矩阵半张量积理论可以将模糊逻辑表达式转化为代数表达式,借鉴代数系统的经典控制理论与方法来进一步研究模糊逻辑。首先介绍了以矩阵半张量积理论为框架的模糊逻辑的理论研究进展,如模糊关系矩阵、模糊关系方程、模糊关系不等式与分层模糊控制等,其次介绍了基于矩阵半张量积框架下的模糊控制理论的应用,最后给出了基于矩阵半张量积理论的模糊逻辑研究前景。     

基于集对分析的模糊逻辑研究

介绍了一种新的解决模糊问题的途径 ,提出了一种模糊逻辑表示新形式 ,论证了其较之于传统模糊逻辑表示法的优点 .     

直觉模糊逻辑“蕴涵”算子的研究

给出了直觉模糊逻辑“蕴涵”算子的定义,并对它的性质做了较为系统的研究。     

基于模糊描述逻辑的模糊UML类图形式化

由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)为其逻辑基础,详细描述模糊UML类图中的类、属性和各种关系转化为模糊描述逻辑表达的形式化过程,最后用实例证明该方法是可行的。     

基于模糊粗糙集与模糊推理的作战指挥方式决策分析

依据指挥权限集中程度,指挥方式可分为集中指挥和分散指挥两种形式.本文探讨了基于模糊粗糙集与模糊推理的指挥方式决策分析新方法.首先,分析了作战指挥方式决策的影响因素,即指挥控制手段和情报保障程度;在此基础上,给出了基于模糊粗糙集的作战指挥方式的一种知识发现方法;然后,通过获取的模糊推理规则,运用多输入多重Mamdani模糊推理算法获得量化的指挥方式决策结论;最后,通过在MATLAB7.0模糊逻辑工具箱中构建的模糊推理仿真系统进行验证推演,给出了三种类型的指挥方式决策结论,与军事专家的经验决策相符合,该系统可纳入到作战指挥决策支持系统中.     

软计算及其新一代模糊控制器

介绍了软计算的概念及构成软计算的三个组成部分：模糊逻辑、神经网络和概率推理,并讨论了以软计算为基础的新一代模糊控制器．     

模糊目标信息系统上的逻辑及决策规则

基于模糊目标信息系统模型，并结合粗糙集相关的逻辑理论，提出了模糊粗糙决策语言FRDL，给出了FRDL中公式的定义、语义、可满足性有效性的形式化描述以及相关的性质。在此语言的基础上，给出了模糊目标信息系统上的决策规则、逆决策规则形式化描述和构造方法。FRDL所描述的逻辑表达方法以及规则推理公式为建立在模糊目标信息系统之上的决策支持系统、推理机提供了形式化的表示和推理方法。最后，在眼科近视诊断上进行的数据实验表明，这种形式化描述和推理方法比较合理。     

神经模糊网络自适应模糊控制研究

提出了一种由样品辨识、模糊推理和控制处理 3个子网模块构成的基于知识的多层神经网络 .这种网络由各子网分别构成并按照最初的模糊控制结构适当连接而建立 ,具有明确区分各组成子网功能及其知识流结构 .由于综合了模糊逻辑的推理过程及神经网络的学习能力 ,使它能够在其结构中以模糊规则的形式引入语言知识并通过网络的训练及自学习对这些知识进行加工 ,从而实现了真正意义上的自适应模糊控制器 .最后还讨论了这种 NFN网络在动态过程控制中的应用     

战场目标的模糊逻辑检测与识别方法

研究模糊逻辑在战场声/地震动目标检测和识别中的有效算法.应用模糊集理论与模糊逻辑推理方法,在分析目标信息不确定性的基础上设计了适用于目标检测和分类的隶属函数,建立了相应的推理规则,构成了战场侦察传感器系统目标检测和分类的模糊逻辑推理系统.典型战场目标信号样本检验表明,该方法具有良好的检测和识别分类效果,利用基于模糊逻辑的分类器实现对战场声/地震动目标的检测和识别分类是可行的.     

模糊逻辑推理在电子病历智能辅助诊断系统中的应用研究

文章将模糊逻辑推理的思想应用于电子病历系统的知识表示和智能推理,在辅助诊断时,根据病人病症进行模糊推理,给出确信度,供医生参考.并用模糊逻辑推理方法在电子病历系统中进行室性早搏的实时自动检测实验,结果表明该方法能帮助医生准确思维,达到有效地降低误诊误治率和减少医疗费用的双重目的.     

加权模糊Petri网在故障诊断中的应用

提出了一种对复杂装备进行故障诊断的加权模糊Petri网模型,并对于装备故障传播的逻辑关系进行了描述。然后,根据实际的故障诊断中的不确定推理问题,给出了一种新的加权模糊推理算法,以更加符合工程实际。为提高诊断时的并行推理能力,给出了诊断推理的形式化算法。用实际的诊断案例说明了该方法的有效性。     

Larsen模糊推理算法的直觉化扩展

对Larsen模糊推理算法进行了直觉化扩展。首先将Larsen定义的模糊关系Rp进行直觉化扩展,然后推出了其对应的直觉模糊取式推理算法和直觉模糊拒式推理算法。最后以具体算例叙述了推理计算过程中的细节,验证了该方法的正确性和有效性。结果证明直觉化扩展后的Larsen模糊推理算法是一种性能比较好的直觉模糊推理算法。     

最小-蕴涵模糊推理模型的连续性

把泛逻辑学引入模糊系统,基于泛逻辑算子,在模糊空间中定义一种新的模糊距离,引入模糊推理模型连续性的定义,给出最小-蕴涵模糊推理模型为连续模型的充要条件.