基于正则蕴涵算子的a-三Ⅰ算法

给出了基于正则蕴涵算子的a-三I算法的计算公式,并考虑算法的还原性。     

基于正则蕴涵算子的三I算法的性质

基于正则蕴涵算子分析了三I算法的连续性与逼近性问题,指出在模糊连续输入的条件下,RL、RG、RΠ型三I算法均具有连续性与逼近性,并指出了R0型三I算法具有连续性与逼近性的条件是x∈X,A*(x)∧A(x)>1/2成立.     

不同蕴涵算子下的三I算法

对三Ｉ算法作了进一步的推广,详细讨论了在Ｌｕｋａｓｉｅｗｉｃｚ涵蕴算子,Ｇｏｅｄｅｌ蕴涵算子和Ｇａｉｎｅｓ－Ｒｅｓｃｈｅｒ蕴涵算子之下的ＦＭＰ规则以及相应的三Ｉ算法的表达形式,同时给出了三Ｉ算法为Ｐ－还原的充分条件。     

基于正则蕴涵算子的反向三Ⅰ算法

讨论了基于常见正则蕴涵算子的反向三Ⅰ算法,给出了计算公式.     

基于 Lukasiewicz 蕴涵算子的α-三 I 约束算法

在Lukasiewicz蕴涵算子（RL）下讨论FMP模型和FMT模型的三I约束算法,并给出FMP模型和FMT模型解的计算公式．     

基于含参量蕴涵算子的三I约束算法

针对Hα系统中的蕴涵算子给出了FMP和FMT问题的三I约束算法计算公式.     

基于正则蕴涵算子的三Ⅰ算法的性质

基于正则蕴涵算子分析了三Ⅰ算法的连续性与逼近性问题，指出在模糊连续输入的条件下，RL、RG、RⅡ型三Ⅰ算法均具有连续性与逼近性，并指出了R0型三Ⅰ算法具有连续性与逼近性的条件是↓Ax∈X，A^＊（x）∧A（x）〉1/2成立。     

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

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

基于蕴涵算子族NMp的α-三I算法及约束度理论

研究了基于蕴涵算子NMp模糊推理的三I算法的约束度理论,分析了约束度的性质,给出了α-三I算法的FMP(FMT)上(下)确界的计算公式.     

基于正则蕴涵算子的约束度分析

采用正则蕴涵算子进行探讨,提出三I算法的约束度理论,并给出 -三I FMP上确界与 -三I FMT下确界的计算公式。     

基于蕴涵算子上的模糊强正则子半群

文中给出R-模糊强正则子半群的定义,讨论了其与模糊强正则子半群的关系,证明在一定条件下有限个R-模糊强正则子半群的交(并)还是R-模糊强正则子半群,R-模糊强正则子半群的同态像(原像)仍是R-模糊强正则子半群。     

三I算法的统一形式

给出了正则蕴涵算子的概念,证明了Lukasiewicz算子、G del算子、乘积算子和R0 算子都是正则蕴涵算子.针对这种正则蕴涵算子建立了FMP和FMT的三I算法的统一形式,相应地三I解可用一般的伴随对( ,R)中的左连续三角模 和正则蕴涵算子R统一表达;指出在G del的意义下,Zadeh关于FMP的CRI算法可以纳入到这种统一形式之中;给出了α 三I算法的统一形式,得到了关于FMP和FMT而言的α 三I算法的对偶性结论.     

基于Vague集的一类蕴涵算子

介绍了采用Fuzzy集进行近似推理的一些蕴涵算子的性质,根据Vague集的直觉特性提出了采用Vague集实现近似推理的一类蕴涵算子的构造方法,并根据Vague集的模糊熵对上述蕴涵算子的特性进行了解释。     

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

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

基于9种常用蕴涵算子上的模糊强正则子半群

在前期工作基础上,利用不等式的刻画方法,给出9种常用的R-蕴涵算子下的R-模糊强正则子半群9种等价形式,推广了现有相应模糊代数的结果,丰富了模糊代数的理论成果。     

Reverse three I Algorithm Based on Regular Implication

讨论了基于常见正则蕴涵算子的反向三I算法,给出了计算公式.     

一类正规蕴涵及其导出算子

通过对一些蕴涵算子性质的的研究得出:伴随对是三角模的蕴涵算子一定是正规蕴涵;若正规蕴涵的伴随对是三角模则其导出算子是其自身;正则蕴涵算子的导出算子是其自身.这些结论对建立多值逻辑的语义理论有重要的应用.