论文部分内容阅读
模糊蕴涵作为经典逻辑中蕴涵的推广，是模糊逻辑中的一类重要的连接词，在模糊控制、专家系统及模糊系统模型等方面有十分重要的应用。人们已经对基于三角模T、三角余模S及一致模U的模糊蕴涵的各个方面做了大量的研究。自1959年，Sklar引入copula算子以来，该算子已成为很好的风险管理工具，并且copula同样也是作用在单位区间上的合取算子，因此它同样也可诱导产生模糊蕴涵，但该方面很少有人研究。基于此，本文借助于copula算子及co-copula算子定义六种新的算子，分别称为:RC-蕴涵、(CC，N)-蕴涵、CQL-算子、CD-算子、cf-蕴涵及ccg-蕴涵，并讨论了其相关性质。本文主要工作分为以下四个部分:
第一章介绍研究背景与意义，回顾几个基本的概念并简述了文章的主要内容。
第二章是预备知识，主要回顾模糊蕴涵、模糊补、copula及co-copula的定义与相关性质。
第三章借助于copula及co-copula定义六种新的蕴涵算子:(左、右)RC-蕴涵、(CC，N)-蕴涵、CQL-算子、CD-算子、cf-蕴涵及ccg-蕴涵，并研究其相关性质，主要得到以下结论:
(1)(左、右)RC-蕴涵、(CC，N)-蕴涵、cf-蕴涵及ccg-蕴涵是模糊蕴涵，但CQL-算子及CD-算子不一定为模糊蕴涵。
(2)六种蕴涵算子均满足左单位元性质(NP)，条件满足换置位对称性(CP)。
(3)当copula和co-copula满足结合律时，(左、右)RC-蕴涵、(CC，N)-蕴涵、cf-蕴涵及ccg-蕴涵满足互换原则(EP)。
(4)六种蕴涵算子的(φ)-共轭仍分别为同类型蕴涵，并且是由copula、 co-copula、f、g及模糊补的(φ)-共轭诱导的。
(5)(左、右)RC-蕴涵满足(RP)、恒等性质(IP)及序性质(OP)，(CC，N)-蕴涵条件满足序性质(OP)及恒等性质(IP)等。
第四章以cf-蕴涵和ccg-蕴涵为例讨论输入法则(LI)，得到如下结论:
(1)Ic，f为基于[0,1]上copula C及一元连续严格减函数f的cf-蕴涵，则C满足结合律且Ic，f满足(LI)当且仅当T(x，y)=C（x，y），(V)x，y∈[0，1].
(2)Icc，N，g为基于[0，1]上co-copula CC、模糊补N及一元连续严格递增函数g的ccg-蕴涵，则co-copula CC满足结合律且Icc，N，g满足(LI)当且仅当T为CC的N对偶。
全文创新点如下:
(1)借助于copula、co-copula及模糊补定义了六种新型模糊蕴涵，研究了其相关性质。
(2)对cf-蕴涵及ccg-蕴涵的输入法则进行研究，给出了它们满足输入法则的充要条件。