资源描述：
《区间值XOR模糊蕴涵性质研究【文献综述】》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、毕业设计文献综述信息与计算科学区间值XOR模糊蕴涵性质研究美国自动控制论专家L.A.Zadeh在《模糊集合(FuzzySets)》一文中首次引入了隶属函数(membershipfunction)的概念.并用其刻画一个元素属于模糊集合的程度.进一步引入语言变量和近似推理来处理客观世界不能精确描述的问题.Zadeh首次用数学的观点来刻画模糊现象,这就标志着一门新的学科---模糊数学的诞生.Zadeh提出模糊数学的核心思想就是用数学手段来仿效人脑的思维,建立对复杂事物进行模糊度量、模糊识别、模糊推理、模糊控制和模糊决策的方法.模糊数学这种崭新的思想,固然代表了与传统数学不同的另一种倾向,但绝不意味着
2、是对精确化努力的一种否定.从某种意义上说,它使精确化能在更一般的框架下得以展现,即从模糊中寻找确定性的信息.模糊数学使过去那些与数学毫不相关或关系不大的学科（如生物学、心理学、语言学、社会科学等）都有可能用定量化和数学化加以描述和处理,从而显示了强大的生命力和渗透力,使数学的应用范围大大扩展[1].众所周知,模糊逻辑推理系统是近似推理和决策中处理不确定信息的重要工具.模糊逻辑不仅运用在近似推理和模糊控制上,而且运用在许多领域,例如:图像处理、专家系统、数据挖掘等等.广泛的应用背景驱动着从数学角度对模糊逻辑的系统系统研究.短短几十年人们对模糊逻辑的研究卓有成效.1972年Lee迈出了模糊逻辑中自
3、动演绎的第一步[2].1975年Zadeh提出真值取在“语言集”上的模糊逻辑,成功地描述了命题的模糊性质,但是语言真值之间的运算无法封闭[3].1980年刘叙华提出值域为格的模糊逻辑,并于1984年提出了值域为格的算子模糊逻辑[4].在模糊逻辑中,模糊连接词是逻辑中的重要概念之一.经过近些年的不断发展与完善,现在的是以三角范数T表示逻辑“与”,以三角余范数S表示逻辑“或”,以强补n表示逻辑“非”[5].作为模糊连接词之一的模糊蕴涵在模糊逻辑中扮演着重要的角色.但是对于蕴涵算子的取法,人们的争论比较多,并且一直没有定论.模糊蕴涵算子反映所给模糊命题的蕴涵,是由逻辑连接词“蕴涵”导出的.在模糊逻辑
4、中,如果命题的真值为则命题“”的真值记为“”.目前存在许多的模糊蕴涵算子,例如:R-蕴涵,S-蕴涵,QL-蕴涵和D-4蕴涵.不同的文献中提出许多不同的模糊蕴涵算子.在发展过程中,人们提出过许多不同的蕴涵算子[6,7],例如:1Zadeh算子:2Lukasiewicz算子:3Mamdani算子:4Gaines-Rescher算子:5Reichenbach算子:6Gǒdel算子:8Yager算子:7Goguen算子:9Kleene-Dienes算子:具体说来,最常见的模糊蕴涵定义如下[8]:1.S-蕴涵:2.蕴涵(剩余类蕴涵):3.QL-蕴涵:1991年法国学者D.Dubois和H.Prade对蕴
5、涵算子提出了10个条件,称为条件[9],首先指出,10条条件不是相互独立的,其中有一半均可删去.当然,把这些可由其他条件推得的条件一一并列出也有其好处,使人可以清楚的看到全部性质,从直观上、理论上和应用上都较好的反映了人们对蕴涵算子的要求,所以4条件成为人们分析所给蕴涵算子的“标尺”之一.从经典蕴涵出发,C.Alcalde等人[10]又提出了检验模糊蕴涵满足的一些其他的性质.概括如下:XOR连接词在电脑编程中起着非常重要的作用.例如:许多加密算法中进行原始运算.在二元数据处理中,一次性密匙就是一种加密算法,它的码薄结合随机密匙通过模加法或异或运算而生成.XOR连接词也应用于别的领域,例如,它在
6、神经网络中作为门槛,用于光谱鉴定,用于算法来消除缓存冲突的错误,用于构造无冲突的散列函数,用于技术开发加入IP路由器等等.此外,针对搜索网址的相互排斥性,运用XOR连接词提高了布尔网搜索逻辑能力.此外,由于其非线性,XOR连接词常用在神经网络支持向量机以及量子运算.C.Benjamin.Bedregal在文献[11]中运用模糊XOR连接词的定义构造模糊XOR蕴涵,分析了其主要性质及相互关系.这些结果能用来软计算当中来设计控制系统的信息处理系统以及应用、决策、专家系统、模式识别等等.在实际应用中,如果信息处理的结果用区间值模糊集来表示则更能反映其模糊性和不确定性.尽管模糊蕴涵成为模糊命题的“语言
7、”,它的[0,1]真值仍然是精确的.4为了在逻辑上加强建模能力和操纵不确定信息,Zadeh引进了区间模糊蕴涵的概念.近年来,2-型模糊蕴涵受到越来越多的关注,因为比起经典模糊蕴涵,它们为“文字计算”提供了更好的框架[12].于是,本文将经典模糊XOR蕴涵推广到区间值模糊XOR蕴涵.C.B.Bedregal在文献[11]中给出了模糊XOR蕴涵的定义.C.Alcalde等人在文献[10]中给出了一种区
