模煳控制的数学基础.ppt
2023/10/29,人工智能与模糊控制,1,第二章 模糊控制的数学基础,2023/10/29,人工智能与模糊控制,2,2.1 清晰向模糊的转换,一、模糊控制的提出 以往的各种传统控制方法均是建立在被控对象精确数学模型基础上的,然而,随着系统复杂程度的提高,将难以建立系统的精确数学模型。在工程实践中,人们发现,一个复杂的控制系统可由一个操作人员凭着丰富的实践经验得到满意的控制效果。这说明,如果通过模拟人脑的思维方法设计控制器,可实现复杂系统的控制,由此产生了模糊控制。,2023/10/29,人工智能与模糊控制,3,2.1 清晰向模糊的转换,二、模糊控制的特点(1)模糊控制不需要被控对象的数学模型。模糊控制是以人对被控对象的控制经验为依据而设计的控制器,故无需知道被控对象的数学模型。(2)模糊控制是一种反映人类智慧的智能控制方法。模糊控制采用人类思维中的模糊量,如“高”、“中”、“低”、“大”、“小”等,控制量由模糊推理导出。这些模糊量和模糊推理是人类智能活动的体现。,2023/10/29,人工智能与模糊控制,4,2.1 清晰向模糊的转换,(3)模糊控制易于被人们接受。模糊控制的核心是控制规则,模糊规则是用语言来表示的,如“今天气温高,则今天天气暖和”,易于被一般人所接受。(4)构造容易。模糊控制规则易于软件实现。(5)鲁棒性和适应性好。通过专家经验设计的模糊规则可以对复杂的对象进行有效的控制。,2023/10/29,人工智能与模糊控制,5,2.1 清晰向模糊的转换,为了对事物进行识别,必须对事物按不同的要求进行分类。许多事物可以依据一定的标准进行分类。用于这种分类的数学工具就是集合论。解决精确性的集合问题可以用经典集合论。世界上大多数事物具有模糊性。为了描述具有模糊性的事物,引入模糊集合的概念。,2023/10/29,人工智能与模糊控制,6,2.1 清晰向模糊的转换,经典集合:具有某种特性的所有元素的总和。模糊集合:在不同程度上具有某种特性的所有元素的总和。,2023/10/29,人工智能与模糊控制,7,模糊集合论的诞生,解决了数值和模糊概念间的相互映射问题。以模糊集合论为基础的模糊数学,在经典数学和充满模糊性的现实世界之间,架起了一座桥梁,使得模糊性事物有了定量表述的方法,从而可以用数学方法揭示模糊性问题的本质和规律。,2.1 清晰向模糊的转换,2023/10/29,人工智能与模糊控制,8,2.1 清晰向模糊的转换,三类数学模型第一类是确定性数学模型确定性数学模型往往用于描述具有清晰的确定性、归属界线分明、相互间关系明确的事物。对这类事物可以用精确的数学函数予以描述,典型的代表学科就是“数学分析”、“微分方程”、“矩阵分析”等常用的重要数学分支。第二类是随机性数学模型随机性数学模型常用于描述具有或然性或者随机性的事物,这类事物本身是确定的,但是它的发生与否却不是确定的。概率论、随机过程第三类是模糊性数学模型模糊性数学模型适用于描述含义不清晰、概念界线不分明的事物,它的外延不分明,在概念的归属上不明确。模糊数学、模糊逻辑、粗糙集、熵空间等,2023/10/29,人工智能与模糊控制,9,2.1 清晰向模糊的转换,模糊数学(模糊集)是模糊控制的数学基础,它是由美国加利福尼亚大学Zadeh教授最先提出的。他将模糊性和集合论统一起来,在不放弃集合的数学严格性的同时,使其吸取人脑思维中对于模糊现象认识和推理的优点。,“模糊”,是指客观事物彼此间的差异在中间过渡时,界限不明显,呈现出的“亦此亦彼”性。“模糊”是相对于“精确”而言的。,“精确”:“老师”、“学生”、“工人”“模糊”:“高个子”、“热天气”、“年轻人”,模糊数学并不是让数学变成模模糊糊的东西,而是用数学工具对模糊现象进行描述和分析。模糊数学是对经典数学的扩展,它在经典集合理论的基础上引入了“隶属函数”的概念,来描述事物对模糊概念的从属程度。,2023/10/29,人工智能与模糊控制,10,2.1.1 普通集合,集合是数学中最基本的概念之一。任何一个概念都有它的内涵和外沿。概念的内涵 指这一概念的本质属性;概念的外沿 指这一概念的全体对象,即一个集合。讨论某一概念的外沿时总离不开一定的范围。这个讨论的范围,称为“论域”,论域中的每个对象称为“元素”。,2023/10/29,人工智能与模糊控制,11,1)集合的概念,*集合 具有特定属性的对象的全体,称为集合。例如:“湖南大学的学生”可以作为一个集合。集合通常用大写字母A,B,Z来表示。*元素 组成集合的各个对象,称为元素,也称为个体。通常用小写字母a,b,z来表示。*论域 所研究的全部对象的总和,叫做论域,也叫全集合。*空集 不包含任何元素的集合,称为空集,记做。*子集 集合中的一部分元素组成的集合,称为集合的子集。,若元素 a 是集合 A 的元素,则称元素 a 属于集合 A,记为aA;反之,称a不属于集合A,记做。,*属于,*包含,若集合A是集合B的子集,则称集合A包含于集合B,记为;或者集合B包含集合A,记为。,对于两个集合A和B,如果 和 同时成立,则称A和B相等,记做A=B。此时A和B有相同的元素,互为子集。,*相等,*有限集,如果一个集合包含的元素为有限个,就叫做有限集;否则,叫做无限集。,2.1.1 普通集合,2023/10/29,人工智能与模糊控制,12,2)集合的表示法,将集合中的所有元素都列在大括号中表示出来,该方法只能用于有限集的表示。例如10-20之间的偶数组成集合A,则A可表示为 A=10,12,14,16,18,20,*表征法 表征法将集合中所有元素的共同特征列在大括号中表征出来。上例中的集合A也可用表征法表示为A=a|a为偶数,10a 20*特征函数法:设A是论域X上的一个集合,定义论域X上的函数称 A(x)为集合A的特征函数。可简记为A(x)。,*列举法,2.1.1 普通集合,2023/10/29,人工智能与模糊控制,13,*集合交设X,Y为两个集合,由既属于X又属于Y的元素组成的集合P称为X,Y的交集,记作P=XY*集合并设X,Y为两个集合,由属于X或者属于Y的元素组成的集合Q称为X,Y的并集,记作Q=XY*集合补在论域Y上有集合X,则X的补集为,3)集合的运算,2.2 普通集合,2023/10/29,人工智能与模糊控制,14,具体算法是:在X,Y中各取一个元素组成序偶(x,y),所有序偶组成的集合,就是X,Y的直积。,*集合的直积 设X,Y为两集合,定义X,Y的直积为,4)集合的特征函数设x为论域X中的元素,A为论域X中定义的一个集合,则x和A的关系可以用集合A的特征函数来表示。它的值域是0,1,它表示元素x是否属于集合A。如果x属于集合A,那么的值为1;如果x不属于集合A,那么的值为0。即,2.2 普通集合,*幂集:对于给定集合A,以它的全体子集为元素组成的集合,T(A),2023/10/29,人工智能与模糊控制,15,经典集合:清晰确定,彼此可以区分,边界周延明确,非此即彼。自然界:亦此亦彼,模糊性沙堆悖论:问题:计算机如何识别、刻画模糊现象1965年 Fuzzy Set特征函数取值0,1扩充到闭区间0,1,描述亦此亦彼现象。,2.1.2 模糊集合,2023/10/29,人工智能与模糊控制,16,(1)模糊集合的定义:,2.1.2 模糊集合,例2.1.1 论域为15到35岁之间的人,模糊集 表示“年轻人”,则模糊集的隶属函数可定义为,则年龄为30岁的人属于“年轻人”的程度为:,给定论域E中的一个模糊集,是指任意元素xE,都不同程度地属于这个集合,元素属于这个集合的程度可以用隶属函数 0,1来表示。,2023/10/29,人工智能与模糊控制,17,经典集合和模糊集合在数轴上的映射,即它们的特征函数或隶属函数取值可以形象地画在图2-2中,左侧图中的A为模糊集合,右侧图中的A为经典集合。,2023/10/29,人工智能与模糊控制,18,2023/10/29,人工智能与模糊控制,19,(2)模糊数,1)F集合的支集、核和正规F集设,记集合SuppA=x,xU,A(x)0,称SuppA为F集合A的支集(Supporter);KerA=x,xU,A(x)=1,称KerA为F集合A的核(Kernel)正规F集:KerA 的F集合。F集合A的支集和核,都是经典集合2)数 与集合A的数积设,称,2023/10/29,人工智能与模糊控制,20,2023/10/29,人工智能与模糊控制,21,3)凸F集:,凸F集的实际意义在于它是实数域上满足下述条件的F集合:任何中间元素的隶属度,都大于两边元素隶属度中的小者。如图2-5所示。,为什么这样规定?,2023/10/29,人工智能与模糊控制,22,4)F数,2023/10/29,人工智能与模糊控制,23,2023/10/29,人工智能与模糊控制,24,(3)模糊集合的表示法:,1)Zadeh表示法当论域上的元素为有限个时,定义在该论域上的模糊集可表示为:,注意:式中的“”和“/”,仅仅是分隔符号,并不代表“加”和“除”。,例2.3.2 假设论域为5个人的身高,分别为172cm、165cm、175cm、180cm、178cm,他们的身高对于“高个子”的模糊概念的隶属度分别为0.8、0.78、0.85、0.90、0.88。则模糊集“高个子”可以表示为,高个子,2.3 模糊集合,2023/10/29,人工智能与模糊控制,25,2)序偶表示法 当论域上的元素为有限个时,定义在该论域上的模糊集还可用序偶的形式表示为:,或简化为:,对于上例的模糊集“高个子”可以用序偶法表示为,高个子,或 高个子,2.3 模糊集合,2023/10/29,人工智能与模糊控制,26,4)隶属函数描述法 论域U上的模糊子集可以完全由其隶属函数表示。,假设年龄的论域为U=15,35,则模糊集“年轻”可用隶属函数表征为:,该隶属函数的形状如图,2.3 模糊集合,2023/10/29,人工智能与模糊控制,27,3)向量法,2023/10/29,人工智能与模糊控制,28,2023/10/29,人工智能与模糊控制,29,2023/10/29,人工智能与模糊控制,30,2.2隶属函数,2023/10/29,人工智能与模糊控制,31,确定隶属函数的基本方法,凸F集,单峰,单调,2023/10/29,人工智能与模糊控制,32,确定隶属函数的基本方法,2023/10/29,人工智能与模糊控制,33,确定隶属函数的基本方法,2023/10/29,人工智能与模糊控制,34,2.2.2 常用隶属函数,在Matlab中已经开发出了11种隶属函数,即双S形隶属函数(dsigmf)、联合高斯型隶属函数(gauss2mf)、高斯型隶属函数(gaussmf)、广义钟形隶属函数(gbellmf)、II型隶属函数(pimf)、双S形乘积隶属函数(psigmf)、S状隶属函数(smf)、S形隶属函数(sigmf)、梯形隶属函数(trapmf)、三角形隶属函数(trimf)、Z形隶属函数(zmf)。,2023/10/29,人工智能与模糊控制,35,2.2.2 常用隶属函数,在模糊控制中应用较多的隶属函数有以下6种隶属函数。(1)高斯型隶属函数 高斯型隶属函数由两个参数 和c确定:其中参数b通常为正,参数c用于确定曲线的中心。Matlab表示为,2023/10/29,人工智能与模糊控制,36,图 高斯型隶属函数(M=1),2023/10/29,人工智能与模糊控制,37,fisMat=newfis(tipper);fisMat=addvar(fisMat,input,service,0 10);fisMat=addmf(fisMat,input,1,poor,gaussmf,1.5 0);fisMat=addmf(fisMat,input,1,good,gaussmf,1.5 5);fisMat=addmf(fisMat,input,1,excellent,gaussmf,1.5 10);plotmf(fisMat,input,1);,2023/10/29,人工智能与模糊控制,38,(2)广义钟型隶属函数 广义钟型隶属函数由三个参数a,b,c确定:其中参数b通常为正,参数c用于确定曲线的中心。Matlab表示为,2023/10/29,人工智能与模糊控制,39,图 广义钟形隶属函数(M=2),2023/10/29,人工智能与模糊控制,40,(3)S形隶属函数 尽管Gauss隶属函数和钟型隶属函数具有平滑性,但它们不能规定非对称的隶属函数,因此模糊逻辑工具箱中内置了sigmoidal隶属函数,它是左开或右开的。非对称的隶属函数可以由两个S形函数结合构成。S形函数sigmf(x,a c)由参数a和c决定:其中参数a的正负符号决定了S形隶属函数的开口朝左或朝右,用来表示“正大”或“负大”的概念。Matlab表示为 sigmf(x,a c),2023/10/29,人工智能与模糊控制,41,图 S形隶属函数(M=3),2023/10/29,人工智能与模糊控制,42,(4)梯形隶属函数 梯形曲线可由四个参数a,b,c,d确定:其中参数a和d确定梯形的“脚”,而参数b和c确定梯形的“肩膀”。Matlab表示为:,trapezoid,2023/10/29,人工智能与模糊控制,43,(5)三角形隶属函数 三角形曲线的形状由三个参数a,b,c确定:其中参数a和c确定三角形的“脚”,而参数b确定三角形的“峰”。Matlab表示为,triangle,2023/10/29,人工智能与模糊控制,44,图 三角形隶属函数(M=5),2023/10/29,人工智能与模糊控制,45,(6)Z形隶属函数 这是基于样条函数的曲线,因其呈现Z形状而得名。参数a和b确定了曲线的形状。Matlab表示为 有关隶属函数的MATLAB设计,见著作:楼顺天,胡昌华,张伟,基于MATLAB的系统分析与设计-模糊系统,西安:西安电子科技大学出版社,2001,2023/10/29,人工智能与模糊控制,46,图 Z形隶属函数(M=6),2023/10/29,人工智能与模糊控制,47,2023/10/29,人工智能与模糊控制,48,2023/10/29,人工智能与模糊控制,49,2023/10/29,人工智能与模糊控制,50,模糊集合与普通集合一样也有交、并、补的运算。,模糊集交,模糊集并,模糊集补,2.3模糊集合的运算,2023/10/29,人工智能与模糊控制,51,2.3 模糊集合,2023/10/29,人工智能与模糊控制,52,2023/10/29,人工智能与模糊控制,53,2023/10/29,人工智能与模糊控制,54,2023/10/29,人工智能与模糊控制,55,分配率,复原率,2.3.2 模糊集合的运算规律,幂等率,同一率,2023/10/29,人工智能与模糊控制,56,2023/10/29,人工智能与模糊控制,57,2.3.3 模糊集合运算的其它定义,2023/10/29,人工智能与模糊控制,58,2023/10/29,人工智能与模糊控制,59,2.4 模糊关系及其运算,“关系”是集合论中的一个重要概念,它反映了不同集合的元素之间的关联。普通关系是用数学方法描述不同普通集合中的元素之间有无关联。,例2.4.1 举行一次东西亚足球对抗赛,分两个小组A=中国,日本,韩国,B=伊朗,沙特,阿联酋。抽签决定的对阵形势为:中国-伊朗,日本-阿联酋,韩国-沙特。用R表示两组的对阵关系,则R可用序偶的形式表示为:,R=(中国,伊朗),(日本,阿联酋),(韩国,沙特),2.4.1 经典关系,2023/10/29,人工智能与模糊控制,60,可见关系R是A,B的直积AB的子集。也可将R表示为矩阵形式,假设R中的元素r(i,j)表示A组第i个球队与B组第j个球队的对应关系,如有对阵关系,则r(i,j)为1,否则为0,则R可表示为:,该矩阵称为A和B的关系矩阵。,2.5 模糊关系,由普通关系的定义可以看出:在定义了某种关系之后,两个集合的元素对于这种关系要么有关联,r(i,j)1;要么没有关联,r(i,j)0。这种关系是很明确的。,直积:设任意两个集合A B,从A、B中各取一个元素x,y,按先A后B的顺序搭配成元素对(x,y),称它们为序偶。所有以序偶(x,y)为元素组成的集合,称为集合A到B 的直积,1 集合的直积,2023/10/29,人工智能与模糊控制,61,2.经典二元关系及其表示方式,2023/10/29,人工智能与模糊控制,62,2023/10/29,人工智能与模糊控制,63,2023/10/29,人工智能与模糊控制,64,2023/10/29,人工智能与模糊控制,65,人和人之间关系的“亲密”与否?儿子和父亲之间长相的“相像”与否?家庭是否“和睦”?,这些关系就无法简单的用“是”或“否”来描述,而只能描述为“在多大程度上是”或“在多大程度上否“。这些关系就是模糊关系。我们可以将普通关系的概念进行扩展,从而得出模糊关系的定义。,2.4.2 模糊关系,2023/10/29,人工智能与模糊控制,66,1 模糊关系的定义,例2.4.2 我们用模糊关系来描述子女与父母长相的“相像”的关系,假设儿子与父亲的相像程度为0.8,与母亲的相像程度为0.3;女儿与与父亲的相像程度为0.3,与母亲的相像程度为0.6。则可描述为:,2.5 模糊关系,2023/10/29,人工智能与模糊控制,67,模糊关系常常用矩阵的形式来描述。假设xU,yV,则U到V的模糊关系可以用矩阵描述为,则上例中的模糊关系又可以用矩阵描述为:,2.5 模糊关系,2023/10/29,人工智能与模糊控制,68,2 模糊关系的表示方法,2023/10/29,人工智能与模糊控制,69,2023/10/29,人工智能与模糊控制,70,2023/10/29,人工智能与模糊控制,71,2023/10/29,人工智能与模糊控制,72,2023/10/29,人工智能与模糊控制,73,假设R和S是论域上UV的两个模糊关系,分别描述为:,那么,模糊关系的运算规则可描述如下:,模糊关系的相等:,模糊关系的包含:,模糊关系的并:,2.4.3 模糊关系的运算,1 F矩阵的运算,2023/10/29,人工智能与模糊控制,74,模糊关系的交:,模糊关系的补:,2.5 模糊关系,2023/10/29,人工智能与模糊控制,75,例2.4.3 已知,求:,解:根据模糊关系的运算规则得:,2.5 模糊关系,2023/10/29,人工智能与模糊控制,76,2 F矩阵的运算的性质,2023/10/29,人工智能与模糊控制,77,2023/10/29,人工智能与模糊控制,78,2023/10/29,人工智能与模糊控制,79,2.4.4 模糊关系的合成,1 经典关系的合成,关系的合成本质上是建立一个新的映射,2023/10/29,人工智能与模糊控制,80,2023/10/29,人工智能与模糊控制,81,2023/10/29,人工智能与模糊控制,82,2 F关系合成定义,2023/10/29,人工智能与模糊控制,83,2023/10/29,人工智能与模糊控制,84,2023/10/29,人工智能与模糊控制,85,2023/10/29,人工智能与模糊控制,86,2023/10/29,人工智能与模糊控制,87,2023/10/29,人工智能与模糊控制,88,2023/10/29,人工智能与模糊控制,89,x1=-20:0.2:0;x2=0.01:0.2:100;plot(x1,x1-x1,x2,(1+100./x2.2)-1)holdplot(x1,x1-x1,x2,(1+100./(0.5*x2).2)-1);gridx1=-20:0.2:0;x2=0.001:0.2:100;plot(x1,x1-x1,x2,(1+100./x2.2).-1);hold;plot(x1,x1-x1,x2,(1+100./(0.5*x2).2).-1);grid,2023/10/29,人工智能与模糊控制,90,2.5 模糊关系向清晰的转换,自然语言,量化,模糊的,执行机构,清晰化,2023/10/29,人工智能与模糊控制,91,2.5.1 模糊集合的截集,1.模糊集合与经典集合间的转换考试成绩:正态分布,及格与不及格,2023/10/29,人工智能与模糊控制,92,2023/10/29,人工智能与模糊控制,93,2.模糊集合的截集,2023/10/29,人工智能与模糊控制,94,2023/10/29,人工智能与模糊控制,95,2023/10/29,人工智能与模糊控制,96,2023/10/29,人工智能与模糊控制,97,2.5.2 模糊关系矩阵的截矩阵,2023/10/29,人工智能与模糊控制,98,2023/10/29,人工智能与模糊控制,99,2.5.3 模糊集合转化为数值的常用方法,由v(包含于R)上的模糊集B(模糊推理机的输出)向清晰点y(属于V)的一种映射。三条准则:言之有据:点y可直观地代表B;例如,它可能位于B的支撑集的中心附近或在B中有很大的隶属度值计算简便连续性:B的微小变化不会造成y的大幅度波动代表性,2023/10/29,人工智能与模糊控制,100,1.面积中心(重心)法(centroid),2023/10/29,人工智能与模糊控制,101,2.面积平分法(bisector),2023/10/29,人工智能与模糊控制,102,3.最大隶属度法(maximum),2023/10/29,人工智能与模糊控制,103,2023/10/29,人工智能与模糊控制,104,2023/10/29,人工智能与模糊控制,105,2023/10/29,人工智能与模糊控制,106,2023/10/29,人工智能与模糊控制,107,2023/10/29,人工智能与模糊控制,108,2023/10/29,人工智能与模糊控制,109,2023/10/29,人工智能与模糊控制,110,2023/10/29,人工智能与模糊控制,111,2023/10/29,人工智能与模糊控制,112,本章结束,2023/10/29,人工智能与模糊控制,113,例2.5.6 艺术学院招生,对考生所需考察的素质有:歌舞,表演,外在。对各种素质的评语分为四个等级好,较好,一般,差。,某学生表演完毕后,评委对其评价为:,如果考察学生培养为电影演员的潜质,则对表演的要求较高,其它较低。定义加权模糊集为:,A0.25 0.5 0.25,试根据模糊变换来得到评委对该学生培养为电影演员的最终结论。,2.5 模糊关系,2023/10/29,人工智能与模糊控制,114,解:根据模糊变换可以得到评委对该学生培养为电影演员的决策集:,综合评判:选取隶属度最大的元素作为最终的评语,评委的评语为“一般”,2.5 模糊关系,2023/10/29,人工智能与模糊控制,115,2.6 语言规则中蕴涵的模糊关系,“天气很冷,快要下雪了”气温-下雪概率,(1)语言变量,语言变量是自然语言中的词或句,它的取值不是通常的数,而是用模糊语言表示的模糊集合。例如“年龄”就可以是一个模糊语言变量,其取值为“年幼”,“年轻”,“年老”等模糊集合。,2023/10/29,人工智能与模糊控制,116,2.4 水平截集,水平截集的定义 在论域U中,给定一个模糊集合A,由对于A的隶属度大于某一水平值(阈值)的元素组成的集合,叫做该模糊集合的水平截集。用公式可以描述如下:,其中xU,0,1。显然,A是一个普通集合。,2023/10/29,人工智能与模糊控制,117,2.4 水平截集,水平截集的性质,1)AB的水平截集是A和B的并集:,2)AB的水平截集是A和B的交集:,3)如果0,1,0,1且,则,2023/10/29,人工智能与模糊控制,118,定义一个语言变量需要定义以下4个方面的内容:,定义变量名称 定义变量的论域 定义变量的语言值(每个语言值是定义在变量论域上的一个模糊集合)定义每个模糊集合的隶属函数。,例:试根据定义语言变量的4要素来定义语言变量“速度”。,首先,定义变量名称为“速度”,记做x;其次,定义变量“速度”的论域为0,200km/h;再次,在论域0,200上定义变量的语言值为 慢,中,快;最后,在论域上分别定义各语言值的隶属函数为,2.6 语言规则中蕴涵的模糊关系,2023/10/29,人工智能与模糊控制,119,定义的隶属函数形状如图,(2)模糊蕴含关系,人类在生产实践和生活中的操作经验和控制规则往往可以用自然语言来描述。譬如,在汽车驾驶速度的控制过程中,控制规则可以描述为“如果速度快了,那么减小油门;如果速度慢了,那么加大油门。”下面就来介绍如何利用模糊数学从语言规则中提取其蕴涵的模糊关系。,2.6 语言规则中蕴涵的模糊关系,2023/10/29,人工智能与模糊控制,120,1)简单条件语句的蕴涵关系,2.6 语言规则中蕴涵的模糊关系,“如果那么”或“如果那么,否则”,假设u,v 是已定义在论域U和V的两个语言变量,人类的语言控制规则为“如果u是A,则v是B”,其蕴涵的模糊关系R为:,式中,AB称作A和B的笛卡儿乘积,其隶属度运算法则为:,所以,R的运算法则为:,2023/10/29,人工智能与模糊控制,121,2023/10/29,人工智能与模糊控制,122,2023/10/29,人工智能与模糊控制,123,2023/10/29,人工智能与模糊控制,124,2023/10/29,人工智能与模糊控制,125,2023/10/29,人工智能与模糊控制,126,2.6 语言规则中蕴涵的模糊关系,假设u,v 是已定义的两个语言变量,人类的语言控制规则为“如果u是A,则v是B;否则,v是C”则该规则蕴涵的模糊关系R为:,2023/10/29,人工智能与模糊控制,127,2.6 语言规则中蕴涵的模糊关系,例:定义两语言变量“误差u”和“控制量v”;两者的论域:U=V=1,2,3,4,5;定义在论域上的语言值为:小,大,很大,不很大=A,B,G,C;定义各语言值的隶属函数为:,分别求出控制规则“如果u 是小,那么 v 是大”蕴涵的模糊关系R1和规则“如果u 是小,那么 v 是大;否则,v 是不很大”蕴涵的模糊关系R2。,2023/10/29,人工智能与模糊控制,128,2.6 语言规则中蕴涵的模糊关系,解:(1)求解R1,(2)求解R2,2023/10/29,人工智能与模糊控制,129,2)多重条件语句的蕴涵关系,由多个简单条件语句并列构成的语句叫做多重条件语句,其句型为:,如果u是A1,则v是B1;否则,如果u是A2,则v是B2;否则,如果u是An,则v是Bn。,该语句蕴涵的模糊关系为:,其隶属函数为:,2.6 语言规则中蕴涵的模糊关系,2023/10/29,人工智能与模糊控制,130,3)多维条件语句的蕴涵关系,具有多输入量的简单条件语句,我们称之为多维条件语句。其句型为:,如果u1是A1,且u2是A2,且um是Am,则v是B,该语句蕴涵的模糊关系为:,其隶属函数为:,2.6 语言规则中蕴涵的模糊关系,2023/10/29,人工智能与模糊控制,131,2.6 语言规则中蕴涵的模糊关系,解:,第一步,先求R1AB:,2023/10/29,人工智能与模糊控制,132,第二步,将二元关系矩阵R1排成列向量形式R1 T,先将中的第一行元素写成列向量形式,再将中的第二行元素也写成列向量并放在前者的下面,如果是多行的,再依次写下去。于是R1可表示为:,第三步,R可计算如下:,2.6 语言规则中蕴涵的模糊关系,2023/10/29,人工智能与模糊控制,133,2.6 语言规则中蕴涵的模糊关系,4)多重多维条件语句的蕴涵关系,具有多输入量的多重条件语句,我们称之为多重多维条件语句。其句型为:,如果u1是A11,且u2是A12,且um是A1m,则v是B1;否则,如果u1是A21,且u2是A22,且um是A2m,则v是B2;否则,如果u1是An1,且u2是An2,且um是Anm,则v是Bn;,则该语句蕴涵的模糊关系为:,其隶属函数为:,2023/10/29,人工智能与模糊控制,134,2.7 模糊推理,常规推理:已知x,y之间的函数关系yf(x),则对于某个x*,根据f()可以推理得到相应的y*。,模糊推理:知道了语言控制规则中蕴涵的模糊关系后,就可以根据模糊关系和输入情况,来确定输出情况,这就叫做“模糊推理”。,2023/10/29,人工智能与模糊控制,135,2.7 模糊推理,(1)单输入模糊推理,对于单输入的情况,假设两个语言变量x,y之间的模糊关系为R,当x的模糊取值为A*时,与之相对应的y的取值B*,可通过模糊推理得出,如下式所示:,上式的计算方法有两种:,1)Zadeh法,2023/10/29,人工智能与模糊控制,136,2.7 模糊推理,例2.7.1 在例中,已经求出控制规则“如果u 是小,那么 v 是大”蕴涵的模糊关系为R1,现在,已知输入量u 的模糊取值为“略小”,记做A1,令A1=(1,0.89,0.55,0.32,0)求控制量v根据规则相应的取值B1。,解:,同理,可解得:,所以,2023/10/29,人工智能与模糊控制,137,2.7 模糊推理,2)Mamdani推理方法,与Zadeh法不同的是,Mamdani推理方法用A和B的笛卡儿积来表示AB的模糊蕴涵关系。,叫做和A的适配度,它是A*和A的交集的高度。,根据Mamdani推理方法,结论可以看作用对B进行切割,所以这种方法又可以形象地称为削顶法。,2023/10/29,人工智能与模糊控制,138,2.7 模糊推理,单输入Mamdani推理的图形化描述(削顶法),2023/10/29,人工智能与模糊控制,139,(2)多输入模糊推理,对于语言规则含有多个输入的情况,假设输入语言变量x1,x2,xm与输出语言变量y之间的模糊关系为R,当输入变量的模糊取值分别为A1*,A2*,Am*时,与之相对应的y的取值B*,可通过下式得到:,2.7 模糊推理,2023/10/29,人工智能与模糊控制,140,例,已知,2.7 模糊推理,试根据例中的语言规则求“e 是A*并且ec 是B*”时输出u的模糊值C*。,解:,2023/10/29,人工智能与模糊控制,141,把R2写成行向量形式,并以R2T表示,则,令,2.7 模糊推理,2023/10/29,人工智能与模糊控制,142,2.7 模糊推理,对于二输入模糊推理,还可以根据Mamdani方法用图形法进行描述:,二维模糊规则:R:IF x is A and y is B THEN z is C,可以看作两个单维模糊规则的交集:,R1:IF x is A THEN z is C,and R2:IF y is B THEN z is C。,则当二维输入变量的模糊取值分别为A*和B*时,根据R推理得到的模糊输出C*等于根据R1推理得到的模糊输出C1*和根据R2推理得到的模糊输出C2*的交集。,2023/10/29,人工智能与模糊控制,143,其运算法则为:,上式的图形化意义在于用1和2的最小值对C进行削顶。,2.7 模糊推理,2023/10/29,人工智能与模糊控制,144,(3)多输入多规则模糊推理,以二输入为例,对于多规则的情况,规则库可以描述为:,R:R1:IF x is A1 and y is B1 THEN z is C1;R2:IF x is A2 and y is B2 THEN z is C2;Rn:IF x is An and y is Bn THEN z is Cn;,则当二维输入变量的模糊取值分别为A*和B*时,根据R推理得到的模糊输出C*等于所有根据Ri推理得到的模糊输出Ci的并集。,2.7 模糊推理,2023/10/29,人工智能与模糊控制,145,2.7 模糊推理,两规则二输入模糊推理图形化描述,2023/10/29,人工智能与模糊控制,146,小结,模糊集理论是模糊控制的数学基础,是描述模糊性概念的有效的数学工具。模糊集合理论是普通集合理论的拓展,它通过引入隶属函数的概念达到了对模糊概念描述的目的。本章详细地介绍了模糊集合、模糊关系的概念及其与普通集合、普通关系之间的关系、并给出了如何从人类自然语言规则中提取其蕴涵的模糊关系的方法,介绍了如何根据模糊关系进行模糊推理。,2023/10/29,人工智能与模糊控制,147,作 业,已知语言变量x,y,z。X的论域为1,2,3,定义有两个语言值:“大”0,0.5,1;“小”=1,0.5,0。Y的论域为10,20,30,40,50,语言值为:“高”=0,0,0,0.5,1;“中”=0,0.5,1,0.5,0;“低”=1,0.5,0,0,0。Z的论域为0.1,0.2,0.3,语言值为:“长”=0,0.5,1;“短”=1,0.5,0则1)试求规则:如果 x 是“大”并且 y 是“高”那么 z是“长”;否则,如果 x 是“小”并且 y 是“中”那么 z是“短”。所蕴涵的x,y,z之间的模糊关系R。2)假设在某时刻,x是“略小”=0.7,0.25,0,y是“略高”=0,0,0.3,0.7,1 试根据R通过Zadeh法模糊推理求出此时输出z的语言取值。,2023/10/29,人工智能与模糊控制,148,设论域X=a1,a2,a3,Y=b1,b2,b3,Z=c1,c2,c3,已知它们满足模糊条件命题if A and B then U,试确定模糊关系R(a,b,c),2023/10/29,人工智能与模糊控制,149,2023/10/29,人工智能与模糊控制,150,