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

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

基于强正则蕴涵算子的加权模糊度量空间

在强正则蕴涵算子的统一框架下给出了加权正则度量的定义,建立了基于强正则蕴涵算子的加权正则模糊度量空间,并且研究了该模糊度量空间的性质,分析了常用的逻辑连接词所对应的映射关于加权正则度量的连续性,最后证明了基于Lukasiewicz蕴涵的加权正则模糊度量空间是最适宜于展开模糊推理的模糊度量空间。

关于满足I(x,n(x))=n(x)的D-蕴涵的刻画

研究I(x,n(x))=n(x),其中I为由连续三角模T、连续三角余模S和强否定n生成的D-蕴涵,即I(x,y)=S(T(n(x),n(y)),y),给出了满足I(x,n(x))=n(x)的充要条件。

模糊蕴涵算子的相等问题

在文献[1]中,S.Weber介绍了三类模糊蕴涵算子,据此,本文讨论了其前两种类型的模糊蕴涵算子及S-蕴涵算子三者之间的相等问题,并利用强DeMorgan三元组的性质,给出了两两相等的充要条件.

基于模糊蕴涵的分配性方程

研究函数方程组I(x,T(y,z))=T(I(x,y),I(x,z)),I(x,y)=I(N(y),N(x))的解,其中T:[0,1]2→[0,1]是一个严格三角模,I:[0,1]2→[0,1]是一个模糊蕴涵算子和N:[0,1]→[0,1]是一个强否定。在I除了在点(0,0),(1,1)不连续的假设下,获得了满足这个函数方程组解的完全刻画。

关于Lukasiewicz系统中强蕴涵算子构造的若干结果

首先证明了Lukasiewicz系统中的公式┐xmyn,┐mxny,┐xmny,┐mxyn是强蕴涵算子,接着指出任意两个Lukasiewicz强蕴涵算子的合取和析取都是强蕴涵算子,最后对构造Lukasiewicz强蕴涵算子的问题提出了几点看法。

关于R-模糊蕴涵的逆否对称性

讨论了R_模糊蕴涵的逆否的对称性 ,在t_模适合剩余条件时 ,研究了其逆否对称性的特性。

R蕴涵与I_(T,N)蕴涵关系的研究

着重研究了R蕴涵与T_(T,N)蕴涵之间等价的条件,给出了二者等价的若干定理,有助于更好地理解I_(T,N)蕴涵与R蕴涵之间的关系,丰富了模糊蕴涵理论的内容.

满足I(x,I(y,x))=1的I_(T,N)蕴涵的解

研究了I(x,I(y,x))=1,其中I为由强否定N和连续三角模T生成的IT,N蕴涵,即IT,N(x,y)=N(T(x,N(y))),x,y∈[0,1],给出了满足I(x,I(y,x))=1,x,y∈[0,1]的充要条件;最后,研究了由强否定N和一类不连续的三角模min0生成的Imin0,N蕴涵,给出了满足I(x,I(y,x))=1,x,y∈[0,1]的充要条件。

一类模糊蕴涵性质的研究

对一类模糊蕴涵IT,N的性质进行了详细研究,其主要内容涉及三个方面。首先讨论了IT,N满足常见的模糊蕴涵性质的条件;其次给出了IT,N是S蕴涵,R蕴涵和QL蕴涵的等价条件,重点为QL蕴涵的等价条件;最后我们讨论了此蕴涵满足性质I(x,N(x))=N(x)和I(x,y)=I(x,I(x,y))的条件。