模糊数学基础

1第六章模糊数学基础6.1概述6.1.1传统数学与模糊数学6.1.2不相容原理6.2模糊集合与隶属度函数6.2.1模糊集合及其运算6.2.2隶属度函数6.3模糊逻辑与模糊推理6.3.1模糊逻辑6.3.2模糊语言6.3.3模糊推理2第六章模糊数学基础6.1概述6.1.1传统数学与模糊数学6.1.2不相容原理1965年，美国自动化控制专家扎德（L.A.Zadeh）教授首先提出用隶属度函数(membershipfunction)来描述模糊概念，创立了模糊集合论，为模糊数学奠定了基础。不相容原理:“随着系统复杂性的增加，我们对其特性作出精确而有意义的描述的能力会随之降低，直到达到一个阈值，一旦超过它，精确和有意义二者将会相互排斥”。这就是说，事物越复杂，人们对它的认识也就越模糊，也就越需要模糊数学。不相容原理深刻的阐明了模糊数学产生和发展的必然性，也为三十多年来模糊数学的发展历史所证实。6.2模糊集合与隶属度函数6.2.1模糊集合及其运算一、模糊集合（FuzzySets）的定义传统集合中的元素是有精确特性的对象，称之为普通集合。例如，“8到12之间的实数”是一个精确集合C，C={实数r|8≤r≤12}，用特征函数C(r)表示其成员，如图6.1(a)所示。其它，，01281)(rrC在模糊论域上的元素符合程度不是绝对的0或1，而是介于0和1之间的一个实数。例如，“接近10的实数”是一个模糊集合F＝{r|接近10的实数}，用“隶属度(Membership)”F(r)作为特征函数来描述元素属于集合的程度。018121107.29110.750.27512.8rrC（r）F（r）(a)(b)图6.1普通集合与模糊集合的对比3模糊集合的定义如下：论域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,仍以前面提到的“年轻”、“中年”、“老年”为例，这三个年龄特征分别用模糊集合A、B、C表示，它们的论域都是U＝[0，100]，论域中的元素都是年龄u，我们可以规定模糊集合A、B、C的隶属度函数分别为μA(u)、μB(u)、μC(u)，如图6.2所示。01u20304050607080ABC0.750.250.5图6.2“年轻”、“中年”、“老年”的隶属度函数二、模糊集合的表示1、离散论域如果论域Ｕ中只包含有限个元素，该论域称为离散论域。设离散论域Ｕ＝{u1,u2,…，un}，Ｕ上的模糊集合Ｆ可表示为niiiFuuF1)((6.2.1)nnFFFuuuuuu)()()(2211这只是一种表示法，表明对每个元素ui所定义的隶属度为μF(ui)，并不是通常的求和运算。42、连续论域如果论域Ｕ是实数域，即Ｕ∈Ｒ，论域中有无穷多个连续的点，该论域称为连续论域。连续论域上的模糊集合可表示为UuFuuF)((6.2.2)这里的积分号也不是通常的含义，该式只是表示对论域中的每个元素u都定义了相应的隶属度函数μF(u)。三、模糊集合的基本运算1、基本运算的定义设A，B是同一论域U上的两个模糊集合，它们之间包含、相等关系定义如下：A包含B，记作AB，有),()(uuBAUu(6.2.3)A等于B，记作A＝B，有),()(uuBAUu(6.2.4)显然，BABA且BA。设A、B是同一论域U上的两个模糊集合，隶属度函数分别为A(u)和B(u)，它们的并、交、补运算定义如下：A与B的交，记作A∩B，有)()()(uuuBABA)(),(minuuBA，Uu(6.2.5)A与B的并，记作A∪B，有)()()(uuuBABA)(),(maxuuBA，Uu(6.2.6)A的补，记作A，有UuuuAA),(1)(_(6.2.7)其中，min和∧表示取小运算，max和∨表示取大运算。图6.3显示了这三种运算对应的隶属度函数。501rrABABrA_A11A∩BA∪B(a)A和B的交；(b)A和B的并；(c)A的补图6.3模糊集合的三种运算2.基本运算定律论域Ｕ上的模糊全集Ｅ和模糊空集φ定义如下：1)(uE，Uu(6.2.8)0)(u，Uu(6.2.9）设Ａ，Ｂ，Ｃ是论域Ｕ上的三个模糊集合，它们的交、并、补运算有下列定律：①恒等律：AAAAAA,②交换律：ABBAABBA,③结合律：)()()()(CBACBACBACBA④分配律：)()()()()()(CABACBACABACBA⑤吸收律：AABAAABA)()(⑥同一律：AAAAEAEEA,,⑦复原律：AA⑧对偶律（摩根律）：BABABABA______________以上八条运算定律，模糊集合和普通集合是完全相同的，但是普通集合的“互补律”对模糊集合却不成立，如图6.4所示，即6EAA，AArA_A1rA_A1_AA_AA(a)EAA(b)AA图6.4模糊集合的运算不满足“互补律”四、模糊关系设有两个集合A，B，A和B的直积A×B定义为},|),{(BbAabaBA＝它是由序偶(a,b)的全体所构成的二维论域上的集合。一般来说A×B≠B×A。设A×B是集合A和B的直积，以A×B为论域的模糊集合R称为A和B的模糊关系。也就是说对A×B中的任一元素(a,b)，都指定了它对R的隶属度),(baR，R的隶属度函数R可看作是如下的映射：),(),(]1,0[:babaBARR设R1是X和Y的模糊关系，R2是Y和Z的模糊关系，那么R1和R2的合成是X到Z的一个模糊关系，记作21RR，其隶属度函数为)],(),([),(2121zyyxzxRRYyRR，ZXzx),((6.2.10)6.2.2隶属度函数正确地确定隶属度函数，是运用模糊集合解决实际问题的基础，是能否用好模糊集合的关键。目前隶属度函数的确定方法大致有以下几种：①模糊统计方法：用对样本统计实验的方法确定隶属度函数。②例证法：从有限个元素的隶属度值来估计模糊子集隶属度函数。7③专家经验法：根据专家的经验来确定隶属度函数。④机器学习法：通过神经网络的学习训练得到隶属度函数。目前常用的隶属度函数有：①三角形三角形隶属度函数曲线如图6.5所示，隶属度函数的解析式为cxbxcxaacxcaxbbabxxF或，，，0)((6.2.11)01xbacF01xbacFd图6.5三角形隶属度函数图6.6梯形隶属度函数②梯形梯形与三角形是最简单的两种隶属度函数，应用也非常广泛。梯形隶属度函数如图6.6所示，解析式表示为dxaxdxccdxdcxbbxaabaxxF＞或＜，，，，01)((6.2.12)③正态型这是一种最主要、最常见的分布，表示为：02bexbax，(6.2.13)其分布曲线如图6.7所示：801xFa图6.7正态型分布曲线④Γ型如图6.8所示，解析式表示为：0x00)(xexxxF，，(6.2.14)其中λ0,ν0。⑤Sigmiod型如图6.9所示，解析式为：xFex11)((6.2.15)01xF01xF0.5图6.8Γ型隶属度函数图6.9Ｓigmoid型隶属度函数6.3模糊逻辑与模糊推理6.3.1模糊逻辑模糊命题的真值应是隶属度函数，其取值应在区间[0,1]上连续取值。模糊命题是普通命题在概念上的拓广。它对应的逻辑是连续逻辑（或多值逻辑），又称为模糊逻辑。显然，9不仅普通命题能反映客观世界，而模糊命题更是现实生活中常见的。随着模糊逻辑的出现和发展，将对计算机科学、人工智能、模糊控制等方向的研究和发展起推动作用。下面对模糊逻辑的运算作一简单介绍。设有模糊命题X和Y，对应的真值（隶属度，也称为模糊变量）x，y∈[0,1]，称：①YX为模糊逻辑合取（交、与），真值为),min(yxyx②YX为模糊逻辑析取（并、或），真值为),max(yxyx③X为模糊逻辑否定（补、非），真值为xx1④YX为模糊逻辑蕴含，真值为yxyx⑤YX为模糊逻辑恒等，真值为)()(xyyxyx6.3.2语言变量一、模糊数与语言变量模糊数和语言变量的定义如下：连续论域U中的模糊数F是一个U上的正规凸模糊集合。这里所谓正规集合的含义就是其隶属度函数的最大值是1，即1)(maxUuFu。凸集合的含义是：在隶属度函数曲线上任意两点之间，曲线上的任意一点所表示的隶属度都大于或者等于两点隶属度中较小的一个，即在实数集合的任意区间[a,b]上，对于所有的x∈[a,b]，都有],[,,))(),(min()(baxUbabaxFFF，(6.3.1)语言变量用一个有五个元素的集合(Ｎ,T(N),U,G,M)来表征，其中(1)Ｎ是语言变量的名称，如年龄、数的大小等；(2)U为语言变量N的论域；(3)T(Ｎ)为语言变量的值Ｘ的集合，其中每个Ｘ都是论域U上的模糊集合，如T(Ｎ)＝T(年龄)=“很年轻”+“年轻”+“中年”+“较老”+“很老”＝Ｘ1+Ｘ2+Ｘ3+X4+X5(4)G为语法规则，用于产生语言变量N的值Ｘ的名称，研究原子单词构成合成词后词义的变化，并求取其隶属度函数。其中，用“或”、“与”、“非”作连接词构成的合成词，可以按模糊逻辑运算取真值，见6.3.1节；带修饰词算子的合成词，其真值可以根据经验公式计算出来。常用的算子有以下几种：10①语气算子，如“很”、“略”、“相当”等；②模糊化算子，如“大概”、“近乎”、“差不多”等；③判定化算子，如“偏向”、“多半是”、“倾向于”等。(5)M是语义规则，根据语义规则给出模糊子集X的隶属度函数。以N＝年龄为例，表征语言变量的五元素集合如图6.10所示。年龄很年轻年轻很老0202530356065701.00.251.00.50.20.640.810.89X1X2X5语言变量N语法规则G语言值集合T(N)语义规则M论域U(岁)0.5图6.10表示年龄的语言变量例L.A.Zadeh在论域U=[0,100岁]内给出了年龄的语言变量值“老“的模糊子集隶属度函数为5055011500)(2xxxx，，老其中修饰词的隶属度函数为：4AA极，2AA非常，25.1AA相当，75.0AA比较，5.0AA略，25.0AA稍微。现以60岁为例，通过隶属度函数分别计算它属于“极老”、“非常老”、“相当老”、“比较老”、“略老”、“稍微老”的程度为41.0)8.0()]60([)60(44老极老64.0)8.0()]60([)60(22老非常老757.0)8.0()]60([)60(25.125.1老相当老845.0)8.0()]60([)60(75.075.0老比较老89.0)8.0()]60([)60(5.05.0老略老946.0)8.0()]60([)60(25.025.0老稍微老11二、模糊语句1、模糊直言语句模糊直言语句的句型为“x是A”，其中x是对象的名称，A是论域U上的一个模糊子集。2、模糊条件语句常用的模糊条件语句的句型有：①“若A则B”型，也记为ifAthenB；②“若A则B否则C”型，也记为if