广义剩余蕴涵北大核心

本文基于一般的聚合算子,提出一类新的模糊蕴涵,称之为广义剩余蕴涵.广义剩余蕴涵是模糊逻辑中十分重要的剩余蕴涵的自然推广.我们进一步讨论这类蕴涵的基本性质,并且探究广义剩余蕴涵与由模糊合取生成的蕴涵之间的关系,并证明这两类蕴涵为不同的蕴涵.这些结果在模糊逻辑与模糊决策之间建立了新的联系.     

完备格上模糊粗近似算子的代数结构

模糊粗集是粗集的模糊化。现有模糊粗集大多建立在t-范数、模糊（t-）相似关系以及对偶原理基础之上。本文将模糊知识（模糊数据）的属性值集[0，1]拓广到一般完备格，基于一般二元模糊关系、模糊合取算子以及模糊合取和模糊蕴涵间的“伴随”关系研究一类模糊粗近似算子。本文对一般模糊粗集的代数结构做了详尽的探讨，并研究了新的模糊粗集与经典粗集和模糊粗集之间的联系。结论表明：粗集的这种模糊化方法保持了Pawlak粗集的代数性质；所提出的模糊粗集是现有典型模糊粗集的一般化；而且，模糊粗近似的贴近度得以提高。     

模糊错误逻辑事物毁灭转化联结词研究

给出模糊错误逻辑事物毁灭转化联结词所涉及的概念、运算及其模糊错误逻辑事物毁灭转化联结词与外延联结词否定,∧合取,∨析取,∨bxr不相容析取,→实质蕴涵等和对模糊错误逻辑事物毁灭转化联结词与内涵联结词∧n内涵合取词,∨n内涵析取,—n内涵差取,/nf l内涵分离,/nf h内涵分化,∥nhb内涵互补,∥-nhd l内涵对立等的关系作了一点研究。     

(O,N)-蕴涵的新性质

重叠函数是一类特殊的非结合的二元聚类函数.利用重叠函数可以诱导出不同形式的模糊蕴涵.文[7]介绍了由重叠函数O和模糊否定N诱导出的模糊蕴涵—(O,N)-蕴涵,并对(O,N)-蕴涵的基本性质进行了研究,但尚存一些重要性质尚未得到研究.主要基于自同构φ和模糊否定N的相关性质对(O,N)-蕴涵进行深入研究,给出(O,N)-蕴涵一些新的重要性质.     

广义剩余蕴涵

本文基于一般的聚合算子,提出一类新的模糊蕴涵,称之为广义剩余蕴涵.广义剩余蕴涵是模糊逻辑中十分重要的剩余蕴涵的自然推广.我们进一步讨论这类蕴涵的基本性质,并且探究广义剩余蕴涵与由模糊合取生成的蕴涵之间的关系,并证明这两类蕴涵为不同的蕴涵.这些结果在模糊逻辑与模糊决策之间建立了新的联系.     

剩余格蕴涵代数中多重模糊结合滤子的研究

在剩余格蕴涵代数中,首先提出了多重模糊结合滤子的概念,研究了其性质.然后,讨论了多重模糊结合滤子与模糊滤子之间的关系;接着,讨论了多重模糊结合滤子与多重模糊关联滤子之间的关系;最后,得到了在格H蕴涵代数中,不同的多重模糊结合滤子之间等价的结论.     

格蕴涵代数中的直觉模糊理想

给出格蕴涵代数中直觉模糊理想的定义,并研究了其性质。然后讨论了直觉模糊理想与模糊理想和LI-理想之间的关系。证明了直觉模糊理想与直觉模糊滤子的对偶关系。最后,得到了直觉模糊理想的全体集合Ψ(L)构成L-闭包系统。     

格蕴涵代数的区间值模糊子代数

将区间值模糊集的概念应用于格蕴涵代数,引入区间值模糊格蕴涵子代数的概念并研究它们的性质.讨论了区间值模糊格蕴涵子代数与（模糊）格蕴涵子代数之间的关系;定义了区间值模糊集的象和原象,获得了区间值模糊格蕴涵子代数的象和原象成为区间值模糊格蕴涵子代数的条件.     

模糊蕴涵代数的结构特征

本文研究了模糊蕴涵代数的一些性质,给出了模糊蕴涵代数成为Heyting代数的一个条件,得到对模糊蕴涵代数的结构特征刻画,并给出了一个(2,0)型代数(X,→,0)成为模糊蕴涵代数的充分必要条件.     

格蕴涵代数的素模糊LI-理想及其谱空间

运用模糊集及拓扑学的方法和原理对格蕴涵代数的LI-理想概念作进一步研究.首先,在格蕴涵代数中引入素模糊LI-理想的概念并讨论其性质特征及其与LI-理想的关系,建立了格蕴涵代数的素模糊LI-理想定理.其次,在格蕴涵代数L的全体素模糊LI-理想构成的集合PFLI(L)上构造了一个拓扑T,从而得拓扑空间(PFLI(L),T),称之为L的素模糊LI-理想谱空间,记为P F-Spec(L).考察了P FSpec(L)的若干拓扑性质.最后,在格蕴涵代数L的全体素LI-理想之集PLI(L)上定义了LI-拓扑TLI,证明了在一个格H蕴涵代数中拓扑空间(PLI(L),TLI)同胚于P FSpec(L)的一个Hausdor?子空间的结论.     

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

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

模糊BIK~+-逻辑与非可换模糊逻辑(英文)

为了建立各种可换和非可换模糊逻辑的公共基础(蕴涵片段),提出了一个新的蕴涵逻辑,称为模糊BIK+-逻辑。证明了这一新的蕴涵逻辑的可靠性和弱完备性定理,同时讨论了模糊BIK+-逻辑与各种模糊逻辑之间的关系,以及与它们配套的代数结构之间的关系。     

正则剩余格上的模糊理想及模糊蕴涵理想

对正则剩余格的结构作进一步研究。利用正则剩余格上、算子并结合模糊数学的思想和方法,在正则剩余格上引入了模糊理想和模糊蕴涵理想的概念,讨论了它们的基本性质。主要结果是:(1)给出了模糊理想和模糊蕴涵理想的等价刻画;(2)证明了模糊蕴涵理想一定是模糊理想,模糊理想不必是模糊蕴涵理想;(3)证明了全体模糊理想之集在给定的运算下是一个完备的分配格。     

Fuzzy蕴涵代数的模糊正则滤子

在Fuzzy蕴涵代数中引入模糊正则滤子的概念并讨论其性质.获得了模糊正则滤子的若干等价刻画.深入考察了模糊正则滤子与其它类型的模糊滤子之间的关系,证明了一个模糊集是模糊Q-滤子当且仅当它既是模糊P-滤子又是模糊正则滤子的结论.     

MTL代数的特征定理

对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质.     

多重模糊蕴涵与生成模糊蕴涵的新方法

提出一种生成模糊蕴涵的新方法,即通过一个或多个选定的模糊蕴涵作多重迭代生成新的模糊蕴涵,称为多重模糊蕴涵.从选定的模糊蕴涵出发,根据不同的迭代次数,分别证明迭代结果仍为模糊蕴涵.进一步,分析当选定的模糊蕴涵具有某种性质时,所生成的多重模糊蕴涵是否仍保持这些性质.还对选定的模糊蕴涵分别为(S,N)-蕴涵和R-蕴涵这两种重要情形,进行更深入的分析.这些结果将为模糊蕴涵在控制及决策等领域的应用提供支持.     

一类模糊蕴涵性质的研究

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

格蕴涵代数的关联理想与模糊关联思想

本文提出了格蕴涵代数的关联理想和模糊关联理想的概念，讨论了它们的性质，指出了关联理想与理想、关联理想与关联滤子、关联理想与模糊关联理想、模糊关联理想与模糊关联滤子、模糊关联理想与模糊理想之间的关系。     

基于格值逻辑的模糊概念格

从逻辑的角度,将非经典逻辑之一的格值逻辑引入概念格,建立了格值模糊形式背景,通过格结构来刻画对象与属性之间的模糊关系,证明了由蕴涵算子诱导的算子对是伽罗瓦连接,并讨论了相关的一些性质,进而给出了格值模糊概念格的构造算法.格值模糊概念格的建立为模糊性与不可比较性信息的处理提供了可靠的数学工具.     

格蕴涵代数的关联理想与模糊关联理想(英文)

本文提出了格蕴涵代数的关联理想和模糊关联理想的概念 ,讨论了它们的性质 ,指出了关联理想与理想、关联理想与关联滤子、关联理想与模糊关联理想、模糊关联理想与模糊关联滤子、模糊关联理想与模糊理想之间的关系