基于剩余型蕴涵算子的α-三I算法

三I算法是针对模糊推理FMP与FMT模型的一种新的推理方法.剩余型蕴涵算子是一类广泛的蕴涵算子,具有较好的性质.讨论了剩余型蕴涵算子之下FMP与FMT模型的α-三I算法,对三I算法作了进一步的推广,得到了相应的表达形式.     

一般模糊推理具有还原性的全蕴涵三I算法

在王国俊教授提出的满足还原性的单一规则的全蕴涵三I算法基础上,利用模糊集合的相似度给每条模糊推理规则赋予权重,即wi={1-S/2,i(∈)I 1+S/2,i∈I,其中S=max{S1,S2,…,Sn}且I={i|Si=S,1≤i≤n},使得全蕴涵三I算法在一般的模糊推理情形下也满足还原性.最后通过实例表明:用新方法推理得出的结果比文献[4]的全蕴涵三I算法的结果更具合理性.     

一般模糊推理具有还原性的全蕴涵三I算法

在王国俊教授提出的满足还原性的单一规则的全蕴涵三I算法基础上,利用模糊集合的相似度给每条模糊推理规则赋予权重,即wi=1-S2,i■I1+S2,i∈I,其中S={max S1,S2,…,Sn}且I=i|Si=S,{1≤i≤n},使得全蕴涵三I算法在一般的模糊推理情形下也满足还原性。最后通过实例表明:用新方法推理得出的结果比文献[4]的全蕴涵三I算法的结果更具合理性。     

基于完备余剩余格的反向三I算法

提出了一般余剩余格中的反向三I算法规则,给出了基于完备余剩余格的反向三Iα-MIFMP算法和反向三Iα-MIFMT算法,证明了CRL-型反向三IMIFMP算法和CRL-型反向三IMIFMT算法是P-还原算法,并基于Lukasiewicz余伴随对和R0余伴随对中的Θ算子给出了FMP问题和FMT问题关于反向三IMIFMP规则和反向三IMIFMT规则的解法.     

完备格上的广义Pawlak近似算子

波兰学者Z.Pawlak引入的Rough集理论,在计算机科学和信息科学等方面有着广泛的应用。但它只是在一般论域上利用等价关系,对集合引入上、下近似算子。我们将这种算子推广到具有逆对合对应的完备格上。证明推广后的算子与Z.Pawlak原先的算子理论,具有完全类似的特性。对Pawlak的Rough集理论,进行了实质性的改进与推广,应用范围更广。     

完备格上的拟t-模与蕴涵算子

引入并讨论完备格L上的拟t-模与剩余蕴涵的概念，研究了L上拟t-模与剩余蕴涵之间的关系，给出求一个已知拟t-模或剩余蕴涵的剩余算子的方法，并指出[0，1]上的两类基本蕴涵和Yager蕴涵都是可以由[0，1]上的拟t-模诱导的剩余蕴涵．     

完备格L上的三角结构

在最广泛的完备格框架下引入了一种新的代数结构,即三角结构,它是L上满足适当条件的一种关系。在一定条件下L上的三角结构与L上的自映射可以互相转化。基于这一事实,内部算子、闭包算子、近性结构(proximity)以及近年来在完全分配格上建立的拟一致结构理论和Katsaras在Fuzzy集框架下提出的泛拓扑结构(Syntopogenous Structure)理论等都可以统一于三角结构理论之中。     

模糊推理的反向对称蕴涵算法

综合考虑推理模型与逻辑系统,提出反向对称蕴涵算法,建立反向对称蕴涵原则,通过探究其解的性质验证其合理性,改进以前的反向三Ⅰ算法的原则。以经典的Lukasiewicz蕴涵算子为对象,针对FMP(fuzzy modus ponens)和FMT(fuzzy modus tollens)问题分别获得其优化解。面向FMP和FMT问题分别证明反向对称蕴涵算法的还原性。     

基于正规剩余格的一个逻辑系统及其完备性

在模糊逻辑中,基于剩余格的逻辑系统起着非常重要的作用.本文提出一种新的代数结构,叫做正规剩余格,研究这种剩余格的性质和结构,建立基于正规剩余格的统一的逻辑系统,许多重要的逻辑系统是这个系统的扩张.进一步,本文还讨论了这个系统关于建立在正规剩余格上语义的完备性.     

线性空间中的下近似与上近似

将粗糙集理论引入线性空间,提出了上、下近似的概念,并研究了它们的有关性质,得到了一些有意义的结果。     

一种新型模糊推理方法

目前常用的模糊推理方法是Zadeh提出的CRI方法,但是CRI方法中的合取运算缺乏根据, 三I算法从逻辑语义上改进了CRI方法.首先引入运算,讨论了运算和的性质;并根据过半可信原则,在三I算法的基础上,提出了一种更符合客观实际的新型模糊推理方法.     

模糊推理三I方法的R L型约束度分析

研究了基于蕴涵算子RL的模型推理的三I方法的约束理论,分析了约束度的性质,得到了一般化的α－三I FMP（模糊取代）最大解计算公式与α－三I FMT(模糊拒取式）最小解计算公式。     

剩余蕴涵的模糊三Ⅰ方法的约束度分析

由连续三角模导出的剩余蕴涵算子,对模糊三Ⅰ算法的约束度问题进行研究．在原有三Ⅰ方法的约束度理论的基础上,利用三角模和蕴涵算子的性质,讨论该类算子下三Ⅰ方法的约束度理论．给出一般化的α-三ⅠFMP公式和α-三ⅠFMT公式．     

完备Brouwerian格上Fuzzy关系方程极小解存在的一个充分条件

在完备Ｂｒｏｕｗｅｒｉａｎ 格上证明如果方程∨ｉ∈Ｊ（ ａｉ ∧ｘｉ） ＝ ｂ 的解集Ｘ２ 非空且ｂ 有不可约完全并既分解，则Ｘ∈Ｘ２ ，至少存在Ｘ２ 的一个极小元Ｘ＊ 满足Ｘ＊ ≤Ｘ．     

大坝变形分析的模糊似然推理方法

作为模糊似然推理方法的扩展，在多输入因子情况下，推演出水位、温度、时效因子交替固定或变化而似然推理大坝位移的规则，并以刘家峡大坝的水平位移为例，导出了模糊演算预测模型。     

完备Brouwerian格上Fuzzy关系方程极小解的一些性质

讨论了完备Brouwerian格上Fuzzy关系方程,当Fuzzy关系方程的解集非空时,首先给出了解集中的解是极小解的一个充要条件,然后得到了方程极小解的一些不变性,根据这些不变性可以由一个极小解构造出其他的一些极小解．     

完备布劳威尔格上蕴涵的结构

研究了完备布劳威尔格上全体蕴涵算子之集,在此集上定义运算及序关系使其成为幺半群,且是完备布劳威尔格;然后讨论了线性完备布劳威尔格,且给出一种方法构造新的蕴涵算子,同时研究了蕴涵算子换置位对称性质,最后讨论了[0,1]上任意2个可比蕴涵算子的关系。     

模糊推理的模糊熵三I算法及其还原性

讨论FMP问题的模糊熵三I算法解的存在条件,研究了三I解与模糊熵三I解的关系,获得了模糊熵三I算法的一般计算公式,并给出了几个重要蕴涵算子的模糊熵三I算法公式,证明了这些算法在一定条件下是还原算法.     

基于模糊Petri网的动态知识表示与推理方法

针对专家系统知识库中的知识具有模糊特性以及知识库需要频繁更新的特点,设计了一种基于模糊Petri网的动态知识表示与推理方法。该方法利用实际环境中的数据,通过学习来调整知识模型的权值、阈值和确信度等参数,从而实现知识库的动态实时更新。此方法同时结合了产生式知识表示方式和神经网络知识表示方式的优点:知识模型结构清晰,参数意义明确;具有学习和并行推理能力。仿真实验结果表明,经过训练调整后的知识模型具有更高的准确度。     

完备格上Fuzzy关系方程的解是极小元的一个充要条件

在完备格L上给出方程∨j∈J(aj∧xj) =b的解集非空时 ,解集中的解是极小元的一个充要条件及解集中的解有极小元的一个充分条件 .讨论了与格论有关的一些性质 ,并给出了一个开问题 .