第五章模糊数学基础

第五章模糊数学基础第五章模糊数学基础§5.1概述§5.2模糊集合与隶属度函数§5.3模糊逻辑与模糊推理§5.4模糊聚类§5.1概述§5.1.1传统数学与模糊数学§5.1.2不相容原理§5.1.2不相容原理1965年，美国自动化控制专家扎德（L.A.Zadeh）教授首先提出用隶属度函数(membershipfunction)来描述模糊概念，创立了模糊集合论，为模糊数学奠定了基础。不相容原理:“随着系统复杂性的增加，我们对其特性作出精确而有意义的描述的能力会随之降低，直到达到一个阈值，一旦超过它，精确和有意义二者将会相互排斥”。这就是说，事物越复杂，人们对它的认识也就越模糊，也就越需要模糊数学。不相容原理深刻的阐明了模糊数学产生和发展的必然性，也为三十多年来模糊数学的发展历史所证实。§5.2模糊集合与隶属度函数§5.2.1模糊集合及其运算§5.2.2隶属度函数§5.2.1模糊集合及其运算一、模糊集合（FuzzySets）的定义“8到12之间的实数”，是一个精确集合C，C={实数r|8≤r≤12}，用特征函数C(r)表示其成员。“接近10的实数”是一个模糊集合F＝{r|接近10的实数}，用“隶属度(Membership)”F(r)作为特征函数来描述元素属于集合的程度。其它，，01281)(rrC(a)(b)图5.1普通集合与模糊集合的对比018121107.29110.750.27512.8rrC（r）F（r）模糊集合的定义如下：论域U上的一个模糊集合F是指，对于论域U中的任一元素u∈U,都指定了[0,1]闭区间中的一个数F(u)∈[0,1]与之对应，F(u)称为u对模糊集合F的隶属度。F：U→[0,1]u→F(u)这个映射称为模糊集合F的隶属度函数（membershipfunction）。模糊集合有时也称为模糊子集。U中的模糊集合F可以用元素u及其隶属度F(u)来表示：FuuuUF,图5.2“年轻”、“中年”、“老年”的隶属度函数01u20304050607080ABC0.750.250.5二、模糊集合的表示1、离散论域如果论域Ｕ中只包含有限个元素，该论域称为离散论域。设离散论域Ｕ＝{u1,u2,…，un}，Ｕ上的模糊集合Ｆ可表示为这只是一种表示法，表明对每个元素ui所定义的隶属度为μF(ui)，并不是通常的求和运算。niiiFuuF1)(nnFFFuuuuuu)()()(22112、连续论域如果论域Ｕ是实数域，即Ｕ∈Ｒ，论域中有无穷多个连续的点，该论域称为连续论域。连续论域上的模糊集合可表示为这里的积分号也不是通常的含义，该式只是表示对论域中的每个元素u都定义了相应的隶属度函数μF(u)。UuFuuF)(三、模糊集合的基本运算1、基本运算的定义设A，B是同一论域U上的两个模糊集合，它们之间包含、相等关系定义如下：lA包含B，记作AB，有A(u)B(u),uUlA等于B，记作A＝B，有A(u)=B(u),uU显然，A=BAB且AB。设A、B是同一论域U上的两个模糊集合，隶属度函数分别为A(u)和B(u)，它们的并、交、补运算定义如下：lA与B的交，记作A∩B，有AB(u)=A(u)B(u)=min{A(u),B(u)},uUlA与B的并，记作A∪B，有AB(u)=A(u)B(u)=max{A(u),B(u)},uUlA的补，记作，有其中，min和∧表示取小运算，max和∨表示取大运算。AUuuuAA),(1)(_(a)A和B的交；(b)A和B的并；(c)A的补图5.3模糊集合的三种运算01rrABABrA_A11A∩BA∪B2.基本运算定律论域Ｕ上的模糊全集Ｅ和模糊空集φ定义如下：E(u)=1,uU(u)=0,uU设Ａ，Ｂ，Ｃ是论域Ｕ上的三个模糊集合，它们的交、并、补运算有下列定律：①恒等律：A∩A=A，A∪A=A②交换律：A∩B=B∩A，A∪B=B∪A③结合律：(A∪B)∪C=A∪(B∪C)，(A∩B)∩C=A∩(B∩C)④分配律：A∪(B∩C)=(A∪B)∩(A∪C)A∩(B∪C)=(A∩B)∪(A∩C)⑤吸收律：(A∩B)∪A=A，(A∪B)∩A=A⑥同一律：A∪E=E，A∩E=A，A∪=A，A∩=⑦复原律：⑧对偶律（摩根律）：但是普通集合的“互补律”对模糊集合却不成立，即，AABABABABA______________EAAAA(a)(b)图5.4模糊集合的运算不满足“互补律”rA_A1rA_A1_AA_AA四、模糊关系设有两个集合A，B，A和B的直积A×B定义为AB={(a,b)aA,bB}它是由序偶(a,b)的全体所构成的二维论域上的集合。一般来说A×B≠B×A。设A×B是集合A和B的直积，以A×B为论域的模糊集合R称为A和B的模糊关系。也就是说对A×B中的任一元素(a,b)，都指定了它对R的隶属度R(a,b)，R的隶属度函数R可看作是如下的映射：R：AB[0,1](a,b)R(a,b)设R1是X和Y的模糊关系，R2是Y和Z的模糊关系，那么R1和R2的合成是X到Z的一个模糊关系，记作R1ەR2，其隶属度函数为)],(),([),(2121zyyxzxRRYyRRZXzx),(例：设U={1,2,3,4,5}，U上的“远小于”这个模糊关系用模糊子集表示为：“远小于”=0.1/(1,2)+0.4/(1,3)+0.7/(1,4)+1/(1,5)+0.2/(2,3)+0.4/(2,4)+0.7/(2,5)+0.1/(3,4)+0.4/(3,5)+0.1/(4,5)该模糊关系用矩阵表示为：000001.000004.01.00007.04.02.00017.04.01.00§6.2.2隶属度函数目前隶属度函数的确定方法大致有以下几种：①模糊统计方法：用对样本统计实验的方法确定隶属度函数。②例证法：从有限个元素的隶属度值来估计模糊子集隶属度函数。③专家经验法：根据专家的经验来确定隶属度函数。④机器学习法：通过神经网络的学习训练得到隶属度函数。目前常用的隶属度函数有：①三角形三角形隶属度函数曲线如图5.5所示，隶属度函数的解析式为cxbxcxaacxcaxbbabxxF或，，，0)(图5.5三角形隶属度函数图5.6梯形隶属度函数01xbacF01xbacFd②梯形③正态型dxaxdxccdxdcxbbxaabaxxF＞或＜，，，，01)(02bexbax，图5.7正态型分布曲线01xFa④Γ型其中λ0,ν0。⑤Sigmiod型0x00)(xexxxF，，xFex11)(图5.8Γ型隶属度函数图5.9Sigmoid型隶属度函数01xF01xF0.5§5.3模糊逻辑与模糊推理§5.3.1模糊逻辑§5.3.2模糊语言§5.3.3模糊推理§5.3.1模糊逻辑设有模糊命题X和Y，对应的真值（隶属度，也称为模糊变量）x，y∈[0,1]，称：①X∧Y为模糊逻辑合取（交、与），真值为x∧y=min(x,y)②X∨Y为模糊逻辑析取（并、或），真值为x∨y=max(x,y)③为模糊逻辑否定（补、非），真值为④为模糊逻辑蕴含，真值为⑤为模糊逻辑恒等，真值为Xxx1YXyxyxYX)()(xyyxyx§5.3.2语言变量一、模糊数与语言变量模糊数和语言变量的定义如下：连续论域U中的模糊数F是一个U上的正规凸模糊集合。这里所谓正规集合的含义就是其隶属度函数的最大值是1，即凸集合的含义是：在隶属度函数曲线上任意两点之间，曲线上的任意一点所表示的隶属度都大于或者等于两点隶属度中较小的一个，即在实数集合的任意区间[a,b]上，对于所有的x∈[a,b]，都有1)(maxUuFu],[,,))(),(min()(baxUbabaxFFF，语言变量用一个有五个元素的集合(Ｎ,T(N),U,G,M)来表征，其中(1)Ｎ是语言变量的名称，如年龄、数的大小等；(2)U为语言变量N的论域；(3)T(Ｎ)为语言变量的值Ｘ的集合，其中每个Ｘ都是论域U上的模糊集合，如T(Ｎ)＝T(年龄)=“很年轻”+“年轻”+“中年”+“较老”+“很老”＝Ｘ1+Ｘ2+Ｘ3+X4+X5(4)G为语法规则，用于产生语言变量N的值Ｘ的名称，研究原子单词构成合成词后词义的变化，并求取其隶属度函数。其中，用“或”、“与”、“非”作连接词构成的合成词，可以按模糊逻辑运算取真值；带修饰词算子的合成词，其真值可以根据经验公式计算出来。常用的算子有以下几种：①语气算子，如“很”、“略”、“相当”等；②模糊化算子，如“大概”、“近乎”、“差不多”等；③判定化算子，如“偏向”、“多半是”、“倾向于”等。(5)M是语义规则，根据语义规则给出模糊子集X的隶属度函数。图5.10表示年龄的语言变量年龄很年轻年轻很老0202530356065701.00.251.00.50.20.640.810.89X1X2X5语言变量N语法规则G语言值集合T(N)语义规则M论域U(岁)0.5例L.A.Zadeh在论域U=[0,100岁]内给出了年龄的语言变量值“老“的模糊子集隶属度函数为其中修饰词的隶属度函数为：极A=A4，非常A=A2，相当A=A1.25，比较A=A0.75，略A=A0.5，稍微A=A0.25。5055011500)(2xxxx，，老现以60岁为例，通过隶属度函数分别计算它属于“极老”、“非常老”、“相当老”、“比较老”、“略老”、“稍微老”的程度为极老(60)=[老(60)]4＝(0.8)4＝0.41非常老(60)=[老(60)]2＝(0.8)2＝0.64相当老(60)=[老(60)]1.25＝(0.8)1.25＝0.757比较老(60)=[老(60)]0.75＝(0.8)0.75＝0.845略老(60)=[老(60)]0.5＝(0.8)0.5＝0.89稍微老(60)=[老(60)]0.25＝(0.8)0.25＝0.946二、模糊语句1、模糊直言语句模糊直言语句的句型为“x是A”，其中x是对象的名称，A是论域U上的一个模糊子集。2、模糊条件语句常用的模糊条件语句的句型有：①“若A则B”型，也记为ifAthenB；②“若A则B否则C”型，也记为ifAthenBelseC；③“若A且B则C”型，也记为ifAandBthenC。§5.3.3模糊推理模糊推理的两种重要推理规则：①广义前向推理法（GeneralizeModusPonens，简称GMP）前提1：如果x是A，则y是B前提2：x是A＇结论：那么y是B＇②广义后向推理法（GeneralizeModusTollens，简称GMT）前提1：如果x是A，则y是B前提2：y是B＇结论：那么x是A＇1975年Zadeh利用模糊变换关系，在广义前向推理法的基础上，提出了模糊逻辑推理的合成规则，建立了统一的数学模型，用于对各种模糊推理作统一处理。其推理规则为：前提：如果x是A，则y是B事实：x是A＇结论：那么y是B'=A'•(AB)即结论B＇可用A＇与由A到B的推理关系进行合成而得到，其中的算子“○”表示模糊关系的合成运算，(A→B)表示由A到B进行推理的关系或者条件，即“如果x是A，那么y是B”的简化表示方法。有时(A→B)也可写成RA→B，其隶属度函数被定义为那么B'=A'•(AB)的隶属度函数为如何实现合成运算，有各种不同的方法，这决定于对蕴含运算的定义。)()(),(yxyxBABA)]()([)(),()()(yxxyxxyBAAxBAA