第2卷第2期 智能系统学报 Vol.2 Na 2 2007年4月 CAAI Transactions on Intelligent Systems Apr.2007 模糊推理的统计敏感性分析 王士同,谢振平1,李涵雄 (1,江南大学信息工程学院,江苏无锡214122:2.香港城市大学制造工程与工程管理系,香港) 摘要:在设计模糊逻辑系统时,如何实现其对输入噪声的鲁棒性是一个首要的问题,相应地如何很好地分析其对 输入噪声的鲁棒性(也称敏感性分析)也就成了一个重要问题.使用统计的方法,对常见的模糊推理方法进行了敏感 性分析.首先以均值与方差为基础,提出了2个模糊集的统计相等的概念:随后导出了常见的模糊推理方法的统计 敏感性,这包括链接模糊推理与多规则模糊推理.与前人相关工作不同的是,更着重于模糊推理的方差分析,这一方 法从数理统计的角度来看能更好地揭示模糊推理本质的敏感性 关键词:模糊推理:模糊规则:链接模糊推理:统计敏感性 中图分类号:TP18文献标识码:A文章编号:1673-4785(2007)02-0057-08 Statistical sensitivity analysis of fuzzy reasoning WANG Shi-tong'XIE Zhemping',LI Hanxiong (1.College of Information Engineering,Southern Yangtze University,Wuxi 214122,China;2.Department of MEEM,Faculty of Sci.Eng.,City University of Hong Kong,Hong Kong SAR,China) Abstract:Robustness of input noise is an important issue when designing a fuzzy logic system.In this pa- per,a statistics based method is introduced to analyze the sensitivity of various popular fuzzy reasoning methods.Using the new concept of statistical-equalities,the statistical sensitivity between two fuzzy sets is analyzed based on their means and variances.Then the statistical sensitivities of various popular fuzzy reasoning methods are derived,including syllogistic fuzzy reasoning and fuzzy reasoning with multiple rules.Different from other research work,the variance analysis of fuzzy reasoning is particularly empha- sized to better reveal the sensitivity of fuzzy reasoning from a statistical perspective. Key words:fuzzy reasoning;fuzzy rule;syllogistic fuzzy reasoning;statistical sensitivity 自从Zadeh提出了模糊推理的合成规则4,1以集,4(x)和4e(x)分别表示它们各自的隶属度函 后,众多的蕴涵与连接算子被引入到模糊推理中形 数,若满足s山()-4(川≤,则称A与B逼 成了各种模糊推理方法8,0,2).模糊推理尝试 近相等,记为A≈B,常数ε称为逼近度 摄取人类推理的本质,并在设计与分析模糊控制器 随之,Hong和Hwangl)使用相似性度量对上 中扮演着关键的角色,在模糊推理中人类专家的主 式进行了扩展,重新定义如下: 观经验被转换成定量的推理规则.在设计模糊控制 设U是某一论域,A和B是U上的2个模糊 器时,通常要分析其对实际输入信号中所含噪音的 集,44(x)和(x)分别表示它们各自的隶属度函 鲁棒性.目前,对模糊推理的鲁棒性分析己有了不少 研究.Pappis使用了逼近度来分析模糊推理的敏感 数,若满足1-s罗l4(xW-4m(x川,a∈0,1], 性2161,Pappis在论文中引入了如下的定义: 则称A与Ba-,记为A≈aB, 设U是某一论域,A和B是U上的2个模糊 近来,Cai使用模糊集的&相等概念把原有的 定义泛化成了下面的形式: 收稿日期:20061008. 基金项目:南京大学计算机软件新技术国家重点实验室开放课题, 设U是某一论域,A和B是U上的2个模糊 集,4(x)和(x分别表示它们各自的隶属度函 1994-2008 China Academic Journal Electronic Publishing House.All rights reserved.http://www.cnki.net
第 2 卷第 2 期 智 能 系 统 学 报 Vol. 2 №. 2 2007 年 4 月 CAA I Transactions on Intelligent Systems Apr. 2007 模糊推理的统计敏感性分析 王士同1 ,谢振平1 ,李涵雄2 (1 . 江南大学 信息工程学院 ,江苏 无锡 214122 ;2. 香港城市大学 制造工程与工程管理系 ,香港) 摘 要 :在设计模糊逻辑系统时 ,如何实现其对输入噪声的鲁棒性是一个首要的问题 ,相应地如何很好地分析其对 输入噪声的鲁棒性(也称敏感性分析)也就成了一个重要问题. 使用统计的方法 ,对常见的模糊推理方法进行了敏感 性分析. 首先以均值与方差为基础 ,提出了 2 个模糊集的ε2统计相等的概念 ;随后导出了常见的模糊推理方法的统计 敏感性 ,这包括链接模糊推理与多规则模糊推理. 与前人相关工作不同的是 ,更着重于模糊推理的方差分析 ,这一方 法从数理统计的角度来看能更好地揭示模糊推理本质的敏感性. 关键词 :模糊推理 ;模糊规则 ;链接模糊推理 ;统计敏感性 中图分类号 : TP18 文献标识码 :A 文章编号 :167324785 (2007) 0220057208 Statistical sensitivity analysis of fuzzy reasoning WAN G Shi2tong 1 ,XIE Zhen2ping 1 ,L I Han2xiong 2 (1. College of Information Engineering , Southern Yangtze University , Wuxi 214122 , China ; 2. Department of MEEM , Faculty of Sci. & Eng. , City University of Hong Kong , Hong Kong SAR , China) Abstract :Robust ness of inp ut noise is an important issue when designing a f uzzy logic system. In t his pa2 per , a statistics2based met hod is introduced to analyze t he sensitivity of various pop ular f uzzy reasoning met hods. Using t he new concept ofε2statistical2equalities , t he statistical sensitivity between two f uzzy sets is analyzed based on their means and variances. Then t he statistical sensitivities of various pop ular f uzzy reasoning methods are derived , including syllogistic f uzzy reasoning and f uzzy reasoning wit h multiple rules. Different from ot her research work , t he variance analysis of f uzzy reasoning is particularly emp ha2 sized to better reveal t he sensitivity of f uzzy reasoning from a statistical perspective. Keywords :f uzzy reasoning ; f uzzy rule ; syllogistic f uzzy reasoning ; statistical sensitivity 自从 Zadeh 提出了模糊推理的合成规则[4 - 6 ]以 后 ,众多的蕴涵与连接算子被引入到模糊推理中形 成了各种模糊推理方法[1 ,4 - 8 ,10 ,12 - 13 ] . 模糊推理尝试 摄取人类推理的本质 ,并在设计与分析模糊控制器 中扮演着关键的角色 ,在模糊推理中人类专家的主 观经验被转换成定量的推理规则. 在设计模糊控制 器时 ,通常要分析其对实际输入信号中所含噪音的 鲁棒性. 目前 ,对模糊推理的鲁棒性分析已有了不少 研究. Pappis 使用了逼近度来分析模糊推理的敏感 性[2 ,16 ] ,Pappis 在论文中引入了如下的定义 收稿日期 :2006210208. 基金项目 :南京大学计算机软件新技术国家重点实验室开放课题. : 设 U 是某一论域 , A 和 B 是 U 上的 2 个模糊 集 ,μA ( x) 和μB ( x) 分别表示它们各自的隶属度函 数 ,若满足sup x ∈U |μA ( x) - μB ( x) | ≤ε,则称 A 与 B 逼 近相等 ,记为 A≈B ,常数ε称为逼近度. 随之 , Hong 和 Hwang [17 ]使用相似性度量对上 式进行了扩展 ,重新定义如下 : 设 U 是某一论域 , A 和 B 是 U 上的 2 个模糊 集 ,μA ( x) 和μB ( x) 分别表示它们各自的隶属度函 数 ,若满足 1 - sup x ∈U |μA ( x) - μB ( x) | ≥α,α∈[0 , 1 ] , 则称 A 与 Bα- ,记为 A≈aB. 近来 ,Cai [2 ]使用模糊集的ε2相等概念把原有的 定义泛化成了下面的形式 : 设 U 是某一论域 , A 和 B 是 U 上的 2 个模糊 集 ,μA ( x) 和μB ( x) 分别表示它们各自的隶属度函
·58 智能系统学报 第2卷 数,若满足1-s罗4(x)-4h(川≤66∈0,1], E(PA(x-s(x))=0, 则称A与B8.相等,记为A≈⑨B.然后他给出了 i.e.E(4x)= dP= 一个用于模糊推理的鲁棒性分析的系统框架.与 Pappis的定义相似,Ying)提出了模糊推理的最大 E(4a(x)= f(dP( (1) 与平均扰动的概念,其中用一个固定的参数£来评 d(4(x)-(x)应该趋向于0, 估在模糊集或模糊推理中的扰动程度,据此可估计 i.e.d(u4(x)≈0(ax) 2 得出最大与平均扰动的参数值,详细的相关研究内 此处E()和()分别表示求均值与方差.对于 容可参考[19-36],特别地,文献[26-28]的研究代 上面的条件,等价于当扰动足够小时,4(x)应逼近 表了鲁棒模糊推理的最新进展.综合而言,目前所有 于(x),同时d(4(x)也应逼近于0((x). 的模糊推理的鲁棒性分析方法均是基于2类模糊集 这样可以对模糊集引入如下的统计相等的定义 的隶属度函数(MFs)的绝对差的上界而展开分析 定义1令U是某一具有概率分布P(x)的论 的 域,A和B是U上的2个模糊集,4(x)和a(x分 事实上,对于实际中产生的噪音,可以假设它的 别为它们的连续MFs,假设B是A一个扰动,即 均值为0,并且标准差很小.这就意味着鲁棒性分析 xs(x)=4(x)+6(x,此处6(x表示独立随 必须建立在下面2个基础假设之上:1)实际数据与 机噪声,满足E(6(x))=0,则如果下面几个公式同 真实数据间的均值应保持不变,且方差也不会由于 时满足,则称A与BE-统计相等,记为B=gA 噪音的存在而产生较大幅度的增大.2)在失真的数 E((x)=E(g(x), (3 据上作任何的鲁棒性讨论是没有现实意义的.所以 从统计学的观点来看,前面的一些定义是不全面的, (x⊥d(4ax2 max 上探讨了在使用不同的模糊推理方法时它们的均值 (4(x),则式4)可简化如下: 与方差将会产生怎样的变化,分析所得的结果将有助 d(4ax⊥ 于在设计模糊逻辑系统时选择最佳的模糊推理方法. 6,9⊙6>6 min(am,m,adl≤ 1 基本定义和引理 WMw(a ,.aa)max(a ,.aa) 首先定义2个模糊集的:统计相等的概念,设 引理1设A,A是论域U上的2个模糊集,U U是某一具有概率分布P(x)的论域,A和B是U 中概率分布为P(x),B,B是论域V上的2个模糊 上的2个模糊集,4(x)和(x)分别表示它们各自 集,V中概率分布为Q(y以,若A'=()A,B'= 的隶属度函数.假设A是B的一个扰动,从统计学 ()B,令AUB表示模糊集A与B的关系并,A'U 的角度来看,若此扰动很小以至于可以忽略不计,那 B表示模糊集A与B的关系并,且模糊集的关系 么A与B应满足如下条件: 并算子定义为 1994-2008 China Academic Journal Electronic Publishing House.All rights reserved.http://www.cnki.net
数 ,若满足 1 - sup x ∈U |μA ( x) - μB ( x) | ≤δ,δ∈[0 , 1 ] , 则称 A 与 Bδ- 相等 ,记为 A≈(δ) B. 然后他给出了 一个用于模糊推理的鲁棒性分析的系统框架. 与 Pappis 的定义相似 , Ying [3 ] 提出了模糊推理的最大 与平均扰动的概念 ,其中用一个固定的参数ε来评 估在模糊集或模糊推理中的扰动程度 ,据此可估计 得出最大与平均扰动的参数值 ,详细的相关研究内 容可参考[19 - 36 ] ,特别地 ,文献[26 - 28 ]的研究代 表了鲁棒模糊推理的最新进展. 综合而言 ,目前所有 的模糊推理的鲁棒性分析方法均是基于 2 类模糊集 的隶属度函数 (MFs) 的绝对差的上界而展开分析 的. 事实上 ,对于实际中产生的噪音 ,可以假设它的 均值为 0 ,并且标准差很小. 这就意味着鲁棒性分析 必须建立在下面 2 个基础假设之上 :1) 实际数据与 真实数据间的均值应保持不变 ,且方差也不会由于 噪音的存在而产生较大幅度的增大. 2) 在失真的数 据上作任何的鲁棒性讨论是没有现实意义的. 所以 从统计学的观点来看 ,前面的一些定义是不全面的 , 应以均值与标准差的概论为视角 ,研究分析模糊推 理的鲁棒性. 据此提出了ε2统计相等的概念 ,并理论 上探讨了在使用不同的模糊推理方法时它们的均值 与方差将会产生怎样的变化 ,分析所得的结果将有助 于在设计模糊逻辑系统时选择最佳的模糊推理方法. 文中提出了在模糊集上的ε2统计等式的概念 , 据此可以理论地推导出模糊推理的统计敏感性. 2 个模糊集的ε2统计相等要求两个模糊集具有相等的 均值与ε相近的方差. 需要指出的是 Ying 在文献 [3 ]中使用概率的方法讨论了模糊推理的平均扰动 , 从这一角度来看 ,本文的工作与此有相似性. 然而与 Ying、Cai 等所做工作显然不同的是 :首先 ,更着重 于均值与标准差的分析 ,且文中的方法是完全基于 统计的 ,这与目前大都数鲁棒性分析方法相吻合 ,更 适合于现实的要求;其次 ,文中的方法由于在ε2统计 相等中使用了非固定变量ε而具有更好的普遍意义. 1 基本定义和引理 首先定义 2 个模糊集的ε2统计相等的概念 ,设 U 是某一具有概率分布 P ( x) 的论域 , A 和 B 是 U 上的 2 个模糊集 ,μA ( x) 和μB ( x) 分别表示它们各自 的隶属度函数. 假设 A 是 B 的一个扰动 ,从统计学 的角度来看 ,若此扰动很小以至于可以忽略不计 ,那 么 A 与 B 应满足如下条件 : E(μA ( x) - μB ( x) ) = 0 , i. e. E(μA ( x) ) =∫μA ( x) d P( x) = E(μB ( x) ) =∫μB ( x) d P( x) . (1) σ2 (μA ( x) - μB ( x) ) 应该趋向于 0 , i. e. σ2 (μA ( x) ) ≈σ2 (μB ( x) ) . (2) 此处 E( ·) 和σ2 ( ·) 分别表示求均值与方差. 对于 上面的条件 ,等价于当扰动足够小时 ,μA ( x) 应逼近 于μB ( x) ,同时σ2 (μA ( x) ) 也应逼近于σ2 (μB ( x) ) . 这样可以对模糊集引入如下的统计相等的定义. 定义 1 令 U 是某一具有概率分布 P ( x) 的论 域 , A 和 B 是 U 上的 2 个模糊集 ,μA ( x) 和μB ( x) 分 别为它们的连续 MFs , 假设 B 是 A 一个扰动 , 即 ΠxμB ( x) =μA ( x) +δA ( x) ,此处δA ( x) 表示独立随 机噪声 ,满足 E(δA ( x) ) = 0 ,则如果下面几个公式同 时满足 ,则称 A 与 Bε2统计相等 ,记为 B = (ε) A . E(μA ( x) ) = E(μB ( x) ) , (3) max σ2 (μA ( x) ) σ2 (μB ( x) ) , σ2 (μB ( x) ) σ2 (μA ( x) ) σ2 (μA ( x) ) ,则式(4) 可简化如下 : σ2 (μB ( x) ) σ2 (μA ( x) ) ε1 ,ε1 Ýε2 >ε2 . min ( a1 , a2 , …, ad ) ≤ W M w ( a1 , a2 , …, ad ) ≤max ( a1 , a2 , …, ad ) . 引理 1 设 A , A′是论域 U 上的 2 个模糊集 , U 中概率分布为 P ( x) , B , B′是论域 V 上的 2 个模糊 集 ,V 中概率分布为 Q ( y) , 若 A′= (ε1 ) A , B′= (ε2 ) B ,令 A ∪B 表示模糊集 A 与 B 的关系并 , A′∪ B′表示模糊集 A′与 B′的关系并 ,且模糊集的关系 并算子定义为 · 85 · 智 能 系 统 学 报 第 2 卷
第2期 王士同,等:模糊推理的统计敏感性分析 ·59 4auB(x,y以=max(P4(x),s(y以) 引理4设A,A是论域U上的2个模糊集,U 4'uB'(x,y以=max((x,(y以). 中概率分布为Px),B,B是论域V上的2个模糊 那么, 集,V中概率分布为Q(y以,若A'=(6)A,B'= A'UB'=(max()(A UB). 8) ()B,令AB表示模糊集A与B的关系积,AB表 证明首先为证明的方便,引入如下的替代公式: 示模糊集A与B的关系积,且模糊集的关系积算子 max((x,e(y以)≈w1凸(x)+w2(以. 定义为 (9) B(x,以=H4xg(以, 式中:w1+w2=1,w1,w20.这样便有 4a'(x,y以=H'(x),凸烟(以 d(44ug(x,以)≤ 则有AB'=(6⊙S)(AB). (13) fi011dPrwde)+ 证明由4(x)与%(x)的独立性,显然有 E(凸B(x,以)=E(8(x,以), fics()dPwdew+ 又d(4a(x,以)=d(4(x)d(凸(以). d(4a(x,以)=d((x)0(a(y) d(4ug(x,y以)= 则有 wid(0(x)+w3d((以)+0(4aus(x,以) 则 GxL-x)dh业< 0(4a(x,以)0(4(x)0((以) O(Lax⊥ (1+6)1+6)=1+6+6+66=1+6©6 0(4aUB(x,以) 1+idL⑧)+n0④边 至此,引理得证 (10) 0(41u8(x,以 2 蕴涵算子的统计敏感性 显然有d(4u(x,y)=wd(4(x)+wd(h(), 又A'=(6)A,B'=()B,则有d(6(x)< 在基于规则的模糊推理中蕴涵算子扮演着十分 Gd(44(x),0(⊙a(x)<d(4s(以).综上可得 重要的角色,本节中将对几类典型的蕴涵算子进行 (un'(x+ 统计敏感性分析.一般地,令I(A,B)表示U到V的 G(4us(x,以) 模糊关系,此关系由规则IF Xis A,THEN Y is B wis d(x))( 上的蕴涵算子所确定 w10(4(x)+w20(4a(以) 定理1当Dienes-Rescher蕴涵算子应用于模 1 max, 糊规则IF Xis A,THEN Y is B上时,即 至此,引理得证 I(A,B)=TUB或者,(x,y以=max(1- 引理2设B=(gA,若令T为A的补,B为B 4(x),g(以),若A'=()A,B'=()B,则有 的补,即x)=1-4(x),(x)=1-Ma(x),则 1(A',B)=(max{9,)1(A,B).14) 有 证明由引理2,有T=()T;又由引理1,得 B=(9A工 11) UB'=(maxUB.1(A',B =(max 证明证明较为简单,此处从略 {,})I(A,B),则定理得证 引理3设A,A是论域U上的2个模糊集,U 定理2当Lukasiewicz蕴涵算子应用于模糊 中概率分布为P(x),B,B是论域V上的2个模糊 规则IF Xis A,THEN Y is B上时,即 集,V中概率分布为P(以,若A'=(G)A,B'= I(A,B=AXB或者4(x,y=max0,4(x)+ (S)B,令A∩B表示模糊集A与B的关系交,A'∩ a(以-1), B表示模糊集A与B的关系交,且模糊集的关系 若A'=(9)A,B'=()B则有 交算子定义为 I(A',B)=(maxf9,9)I(A,B).(15) 4anax,以=min(4(x),a(以), 证明由条件显然可得E(1(A,B)= 巴a'ns'(x,以=min(巴'(x),巴s'(y以) E(I(A,B)),又 则有A'nB'=(min(6,)(AnB). 12) (1(4B))(()= 证明此处证明类似于引理1的证明,故从略。 0(1(A,B) 0(4(x)+0((以) 1994-2008 China Academic Journal Electronic Publishing House.All rights reserved.http://www.cnki.net
μA ∪B ( x , y) = max (μA ( x) ,μB ( y) ) , μA′∪B′( x , y) = max (μA′( x) ,μB′( y) ) . 那么 , A′∪B′= (max (ε1 ,ε2 ) ) ( A ∪B) . (8) 证明 首先为证明的方便,引入如下的替代公式: max (μA ( x) ,μB ( y) ) ≈ w1μA ( x) + w2μB ( y) . (9) 式中 :w1 + w2 = 1 , w1 , w2 ≥0. 这样便有 σ2 (μA′∪B′( x , y) ) ≤ Uκ×V w 2 1σ2 (δA ( x) ) d P( x) dQ( y) + Uκ×V w 2 2σ2 (δB ( x) ) d P( x) dQ( y) + σ2 (μA ∪B ( x , y) ) = w 2 1σ2 (δA ( x) ) + w 2 2σ2 (δB ( y) ) +σ2 (μA ∪B ( x , y) ) . 则 σ2 (μA′∪B′( x , y) ) σ2 (μA ∪B ( x , y) ) ≤ 1 + w 2 1σ2 (δA ( x) ) + w 2 2σ2 (δB ( y) ) σ2 (μA ∪B ( x , y) ) . (10) 显然有σ2 (μA ∪B ( x , y)) • w 2 1σ2 (μA ( x)) + w 2 2σ2 (μB ( y)) , 又 A′= (ε1 ) A , B′= (ε2 ) B , 则有 σ2 (δA ( x ) ) < ε1σ2 (μA ( x) ) ,σ2 (δB ( x) ) <ε2σ2 (μB ( y) ) . 综上可得 σ2 (μA′∪B′( x , y) ) σ2 (μA ∪B ( x , y) ) < 1 + w 2 1ε1σ2 (μA ( x) ) + w 2 2ε2σ2 (μB ( y) ) w 2 1σ2 (μA ( x) ) + w 2 2σ2 (μB ( y) ) < 1 + max{ε1 ,ε2 } . 至此 ,引理得证. 引理 2 设 B = (ε) A ,若令 A 为 A 的补 , B 为 B 的补 ,即μA ( x) = 1 - μA ( x) ,μB ( x) = 1 - MB ( x) ,则 有 B = (ε) A. (11) 证明 证明较为简单 ,此处从略. 引理 3 设 A , A′是论域 U 上的 2 个模糊集 , U 中概率分布为 P ( x) , B , B′是论域 V 上的 2 个模糊 集 ,V 中概率分布为 P ( y) , 若 A′= (ε1 ) A , B′= (ε2 ) B ,令 A ∩B 表示模糊集 A 与 B 的关系交 , A′∩ B′表示模糊集 A′与 B′的关系交 ,且模糊集的关系 交算子定义为 μA ∩B ( x , y) = min (μA ( x) ,μB ( y) ) , μA′∩B′( x , y) = min (μA′( x) ,μB′( y) ) . 则有 A′∩B′= (min (ε1 ,ε2 ) ) ( A ∩B) . (12) 证明 此处证明类似于引理 1 的证明 ,故从略. 引理 4 设 A , A′是论域 U 上的 2 个模糊集 , U 中概率分布为 P ( x) , B , B′是论域 V 上的 2 个模糊 集 ,V 中概率分布为 Q ( y) , 若 A′= (ε1 ) A , B′= (ε2 ) B ,令 A B 表示模糊集 A 与 B 的关系积 , A′B′表 示模糊集 A′与 B′的关系积 ,且模糊集的关系积算子 定义为 μAB ( x , y) = μA ( x)μB ( y) , μA′B′( x , y) = μA′( x) ,μB′( y) . 则有 A′B′= ( (ε1 ©ε2 ) ) ( A B) . (13) 证明 由 μA ( x ) 与 μB ( x ) 的独立性 , 显然有 E(μAB ( x , y) ) = E(μA′B′( x , y) ) , 又σ2 (μAB ( x , y) ) =σ2 (μA ( x) )σ2 (μB ( y) ) . σ2 (μA′B′( x , y) ) =σ2 (μA′( x) )σ2 (μB′( y) ) . 则有 σ2 (μA′B′( x , y) ) σ2 (μAB ( x , y) ) = σ2 (μA′( x) )σ2 (μB′( y) ) σ2 (μA ( x) )σ2 (μB ( y) ) < (1 +ε1 ) (1 +ε2 ) = 1 +ε1 +ε2 +ε1ε2 = 1 +ε1 ©ε2 . 至此 ,引理得证. 2 蕴涵算子的统计敏感性 在基于规则的模糊推理中蕴涵算子扮演着十分 重要的角色 ,本节中将对几类典型的蕴涵算子进行 统计敏感性分析. 一般地 ,令 I ( A , B) 表示 U 到 V 的 模糊关系 ,此关系由规则 IF X is A , T HEN Y is B 上的蕴涵算子所确定. 定理 1 当 Dienes2Rescher 蕴涵算子应用于模 糊规则 IF X is A , T HEN Y is B 上时 ,即 I ( A , B ) = A ∪B 或者μI ( x , y ) = max ( 1 - μA ( x) ,μB ( y) ) ,若 A′= (ε1 ) A , B′= (ε2 ) B ,则有 I( A′, B′) = (max{ε1 ,ε2 }) I ( A , B) . (14) 证明 由引理 2 ,有 A′= (ε1 ) A ;又由引理 1 ,得 A′∪B′= (max{ε1 ,ε2 }) A ∪B ,即 I ( A′, B′) = (max {ε1 ,ε2 }) I ( A , B) ,则定理得证. 定理 2 当 Lukasiewicz 蕴涵算子应用于模糊 规则 IF X is A , T HEN Y is B 上时 ,即 I( A , B) = A ×B 或者μI ( x , y) = max (0 ,μA ( x) + μB ( y) - 1) , 若 A′= (ε1 ) A , B′= (ε2 ) B 则有 I( A′, B′) = (max{ε1 ,ε2 }) I ( A , B) . (15) 证明 由条件显 然可得 E ( I ( A′, B′) ) = E( I( A , B) ) ,又 σ2 ( I( A′, B′) ) σ2 ( I( A , B) ) = σ2 (μA′( x) ) +σ2 (μB′( y) ) σ2 (μA ( x) ) +σ2 (μB ( y) ) = 第 2 期 王士同 ,等 :模糊推理的统计敏感性分析 · 95 ·
·60. 智能系统学报 第2卷 1+ d16x)+d16L (1+9)(1+)=1+号+6+99=1+9⊙9. (4(x)+d((以) 至此定理得证 1+GL+专GL< d(4(x)+0(s(以) 3广义肯定前提式与广义否定后件式 1+max{,5}. 的统计敏感性分析 至此,定理得证 3.1广义肯定前提式的统计敏感性分析 定理3当Zadeh蕴涵算子应用于模糊规则上 模糊推理的通常形式是广义肯定前提式,它可 F Xis A,THEN Y is B时,即 表述如下: I(A,B)=AU(A∩B)或者凸(x,以= 前件:IF Xis A,THEN Y is B, max(1-(x)min((x)(y))). 事实:XisC, 若A=(9)A,B'=(5)B则有 后件:YisD. I(A'.B)=(max)1(A,B) 其中X和y是语义变量,A与C是论域U上 证明由引理2可得,T=(6)工又由引理1 的模糊集,B与D是论域V上的模糊集,通常D规 与引理3可得, 定如下: TUA'∩B)= 4(=s1(c(xW,4-(x,以),y∈V (max!6,max(nB) 式中:(表示1为模算子,→表示一个蕴涵算子 (max)(A nB) 这里将给出几种特定的连接与蕴涵算子下的广义 则此定理得证 肯定前提式的统计敏感性, 定理41)当Mamdani min蕴涵算子应用于模 定理6当广义肯定前提式中使用min连接与 糊规则IF Xis A,THEN Y is B上时,即 Dines-Rescher蕴涵算子时,即 I(A,B)=A∩B」 若A'=(6)A,B'=()B则有 4o()=Bmin((), I(A',B)=(max{6,6})1(A,B). 16) max1-4a(x),(以). (19) 2)若用Mamdani积算子替代Mamdani min算 若A'=()A,B'=(S)B且C'=()C则有 子则式(16)结论变成如下的形式: D'=(max{9,号,s)D. 20) I(A',B)=G©)IA,B 17) 证明从统计学的观点看来,对于·,) 证明上述定理可由引理34直接导出 并不改变其敏感性,则结合前面的结论,显然有 定理5当Reichenbach蕴涵算子应用于模糊 E(D)=E(D),且 规则IF Xis A,THEN Y is B上时,即 d以<1+max(,max5,s》d(h( d边< 0(4(y) I(A.B)=AB. 1+maxs,,5). 若A=(G)A,B=(5)B则有 则定理得证 1A',B)=(6©)1(A,B (18) 与定理6类似,可以轻易地得到如下的定理 证明由于4(x,以=1-4(x+4((y, 定理7对于下面3种情况定理6的结论仍成 A'=(9)A,B'=(6)B,显然可得E(I(A',B))= 立,I)当广义肯定前提式中使用min连接与Liks E(I(A,B)). iewicz蕴涵算子时,2)当广义肯定前提式中使用 又0(凸a.(x,以)=0(1-凸(x)+ min连接与Zadeh蕴涵算子时;3)当广义肯定前提 0(44(x)d(凸s(以)= 式中使用min连接与Mamdani蕴涵算子时 2(4(x)+0(山(x)0(4(y)= 定理8当广义肯定前提式中使用min连接与 0(4(x)+0(4(x)2(a(x)· Mamdani积蕴涵算子时,即 d(4aB2(x,以). Hoy=smin(c(x,4(WHa(以), 出-出 若A=(G)A,B'=(6)B且C'=G)C则有 1+)1+1+sLL D'=(max{号,6⊙s})D. 21) 1+0(a(y) 证明上述结论可由引理34或定理4直接导 1994-2008 China Academic Journal Electronic Publishing House.All rights reserved.http://www.cnki.net
1 + σ2 (δA ( x) ) +σ2 (δB ( y) ) σ2 (μA ( x) ) +σ2 (μB ( y) ) < 1 + ε1σ2 (μA ( x) ) +ε2σ2 (μB ( y) ) σ2 (μA ( x) ) +σ2 (μB ( y) ) < 1 + max{ε1 ,ε2 } . 至此 ,定理得证. 定理 3 当 Zadeh 蕴涵算子应用于模糊规则上 IF X is A , T HEN Y is B 时 ,即 I ( A , B) = A ∪( A ∩B) 或者μI ( x , y) = max (1 - μA ( x) ,min (μA ( x) ,μB ( y) ) ) . 若 A′= (ε1 ) A , B′= (ε2 ) B 则有 I( A′, B′) = (max{ε1 ,ε2 }) I ( A , B) . 证明 由引理 2 可得 , A′= (ε1 ) A ,又由引理 1 与引理 3 可得 , A′∪( A′∩B′) = (max{ε1 ,max{ε1 ,ε2 }}) A ∪( A ∩B) = (max{ε1 ,ε2 }) A ∪( A ∩B) . 则此定理得证. 定理 4 1) 当 Mamdani min 蕴涵算子应用于模 糊规则 IF X is A , T HEN Y is B 上时 ,即 I ( A , B) = A ∩B , 若 A′= (ε1 ) A , B′= (ε2 ) B 则有 I( A′, B′) = (max{ε1 ,ε2 }) I ( A , B) . (16) 2) 若用 Mamdani 积算子替代 Mamdani min 算 子则式(16) 结论变成如下的形式 : I( A′, B′) = (ε1 ©ε2 ) I ( A , B) . (17) 证明 上述定理可由引理 3、4 直接导出. 定理 5 当 Reichenbach 蕴涵算子应用于模糊 规则 IF X is A , T HEN Y is B 上时 ,即 I ( A , B) = A B, 若 A′= (ε1 ) A , B′= (ε2 ) B 则有 I( A′, B′) = (ε1 ©ε2 ) I ( A , B) . (18) 证明 由于μI ( x , y) = 1 - μA ( x) +μA ( x)μB ( y) , A′= (ε1 ) A , B′= (ε2 ) B ,显然可得 E( I ( A′, B′) ) = E( I( A , B) ) . 又σ2 (μI( A , B) ( x , y) ) =σ2 ( I - μA ( x) ) + σ2 (μA ( x) )σ2 (μB ( y) ) = σ2 (μA ( x) ) +σ2 (μA ( x) )σ2 (μB ( y) ) = σ2 (μA′( x) ) +σ2 (μA′( x) )σ2 (μB′( x) ) · σ2 (μI( A′, B′) ( x , y) ) . 则 σ2 (μI(A′,B′) ( x , y) ) σ2 (μI(A ,B) ( x , y)) = σ2 (μA′( x)) σ2 (μA ( x)) · 1 +σ2 (μB′( y)) 1 +σ2 (μB ( y)) < (1 +ε1 ) · 1 + (1 +ε2 )σ2 (μB ( y) ) 1 +σ2 (μB ( y) ) < (1 +ε1 ) (1 +ε2 ) = 1 +ε1 +ε2 +ε1ε2 = 1 +ε1 ©ε2 . 至此定理得证. 3 广义肯定前提式与广义否定后件式 的统计敏感性分析 3. 1 广义肯定前提式的统计敏感性分析 模糊推理的通常形式是广义肯定前提式 ,它可 表述如下 : 前件 : IF X is A , T HEN Y is B , 事实 : X is C, 后件 : Y is D. 其中 X 和 Y 是语义变量 , A 与 C 是论域 U 上 的模糊集 , B 与 D 是论域 V 上的模糊集 ,通常 D 规 定如下 : μD ( y) = sup x ∈U t (μC ( x) ,μA →B ( x , y) ) , Πy ∈V . 式中 :t( ·) 表示 t 为模算子 , →表示一个蕴涵算子 , 这里将给出几种特定的 t2连接与蕴涵算子下的广义 肯定前提式的统计敏感性. 定理 6 当广义肯定前提式中使用 min 连接与 Dines2Rescher 蕴涵算子时 ,即 μD ( y) = sup x ∈U min (μC ( x) , max (1 - μA ( x) ,μB ( y) ) ) . (19) 若 A′= (ε1 ) A , B′= (ε2 ) B 且 C′= (ε3 ) C 则有 D′= (max{ε1 ,ε2 ,ε3 }) D. (20) 证明 从统计学的观点看来 ,对于 ·, sup x ∈U ( ·) 并不改变其敏感性 , 则结合前面的结论 , 显然有 E( D′) = E( D) ,且 σ2 (μD′( y)) σ2 (μD ( y) ) < 1 + max(ε3 ,max(ε1 ε, 2 ) ) σ2 (μD′( y) ) σ2 (μD ( y) ) < 1 + max (ε3 ,ε1 ,ε2 ) . 则定理得证. 与定理 6 类似 ,可以轻易地得到如下的定理. 定理 7 对于下面 3 种情况定理 6 的结论仍成 立 ,1) 当广义肯定前提式中使用 min 连接与 Liks2 iewicz 蕴涵算子时 ; 2) 当广义肯定前提式中使用 min 连接与 Zadeh 蕴涵算子时 ;3) 当广义肯定前提 式中使用 min 连接与 Mamdani 蕴涵算子时. 定理 8 当广义肯定前提式中使用 min 连接与 Mamdani 积蕴涵算子时 ,即 μD ( y) = sup x ∈U min (μC ( x) ,μA ( x)μB ( y) ) , 若 A′= (ε1 ) A , B′= (ε2 ) B 且 C′= (ε3 ) C 则有 D′= (max{ε3 ,ε1 ©ε2 }) D. (21) 证明 上述结论可由引理 3、4 或定理 4 直接导 · 06 · 智 能 系 统 学 报 第 2 卷
第2期 王士同,等:模糊推理的统计敏感性分析 *61* 出 出 定理9 当广义肯定前提式中使用min连接与 当用积连接或Lukasiewicz连接替代广义肯定 Reichenbach蕴涵算子时,即 前提式中的min连接时,相应的统计敏感性可以使 p(y)supmin(He(x), 用相似的方法求得.一般地,若令A'=(G)A,B'= 1-4a(x),4a(x)·s(以) )B,C=)C,则,6,与e间的关系可归纳 若A=(9)A,B=()B且C'=(S)C则有 如表1所示.由于⊙和max为放大算子,所以在所 D'=(max{s,6回)D (22) 有情况下获得的ε值应是£,6,6上的放大运算, 证明上述结论可由引理3和引理5直接导 表1结果很好地证实了这一点。 表1广义肯定前提式在使用不同的连接与蕴涵算子时的统计敏感性 Table 1 Statistical sensitivity of generalized modus ponens under various conjunctions and implication operators Dienes Rescher Lukasiewicz Mamdani min Mamdani Reichenbach 连接 Zadeh蕴涵 蕴涵 蕴涵 蕴涵 积蕴涵 蕴涵 min连接 max max{6,5,6} max/6,,与} max. max/6,6,} maxf6,f⊙5} 6+1+)X 5+(1+5)× 积连接 s©maxf6,5} s⊙max{9,5}s⊙maxf9,5}5©max{9,5/ (9⊙9) (6⊙5) Lukasiewicz max{6,6,与}max{9,5,5}max{6,,/max{,6,6} max{5,6⊙9}max{5,6⊙5} 连接 3.2广义否定后件式 糊推理归纳出一个U到W的模糊关系,等价于: 另一个基本的模糊推理形式是广义否定后件 hx,=s(Ha,副(x,》,Aacy,), 式,它可表述如下: x∈U,:∈W. 24) 前件:IF Xis A,THEN Y is B, 其中:1()表示r模算子,1(A,B)与前件条件1相 事实:YisD, 后件:XisC 关,1(B1,G)与前件条件2相关,则可知R仅仅是1 等价于(以=s里o(以,(x,).(23别 (A,B)与1(B1,G)的一个合成.这样便可以用前面 前面分析广义肯定前提式的统计敏感性的方法 同样的方法推导出链接模糊推理在采用不同连接与 同样适用于分析广义否定后件式的统计敏感性,若 蕴涵算子时的统计敏感性,表2中列出了详细的分 交换广义肯定前提式中的C与D,同样令A'= 析结果.从表2中可以明显地看出,链接模糊推理的 ()A,B'=()B,C'=(S)C,则可分析得出广义否 后件部分具有较大的扰动量,由分析知这主要是由 定后件式的统计敏感性相等于广义肯定前提式的统 于max与⊙算子的同时放大作用而产生的.下面以 计敏感性,其在不同情况下的结果同样可以归纳为 一种情况为例,说明如何推导链接模糊推理的统计 表1所示的结果 敏感性.设采用的2算子分别为min连接与Dienes Rescher蕴涵,则有 4链接模糊推理的统计敏感性 H(x)=supmin(max(1((y) 链接模糊推理是人推理机制的另一种基本形 max1-a,(以,e() 25 式,一般地链接模糊推理能够表述成如下的形式: 若令A'=(6)A、B'=(6)B、B1=(6)B且 前件1:IF Xis A,THEN Y is B, C1=()C,同时令R表示U到W的模糊关系,由 前件2:IF Y is B1,THEN Zis C 定理1知: 后件:IF Xis A,THEN Zis C. 式中:X,Y和Z是语义变量,A是论域U上的 I(A',B)=(max{6,6})1A,B), 模糊集,B与B1是论域V上的模糊集,C与C是 I(B/,C0=(max{1,1)1(B1,Ci). 论域W上的模糊集,根据前件条件1与2,链接模 又由引理3,便可得 1994-2008 China Academic Journal Electronic Publishing House.All rights reserved.http://www.cnki.net
出. 定理 9 当广义肯定前提式中使用 min 连接与 Reichenbach 蕴涵算子时 ,即 μD ( y) = sup x ∈U min (μC ( x) , 1 - μA ( x) ,μA ( x) ·μB ( y) ) . 若 A′= (ε1 ) A , B′= (ε2 ) B 且 C′= (ε3 ) C则有 D′= (max{ε3 ,ε1 ©ε2 }) D. (22) 证明 上述结论可由引理 3 和引理 5 直接导 出. 当用积连接或 Lukasiewicz 连接替代广义肯定 前提式中的 min 连接时 ,相应的统计敏感性可以使 用相似的方法求得. 一般地 ,若令 A′= (ε1 ) A , B′= (ε2 ) B , C′= (ε3 ) C,则ε1 ,ε2 ,ε3 与ε间的关系可归纳 如表 1 所示. 由于 ©和 max 为放大算子 ,所以在所 有情况下获得的ε值应是ε1 ,ε2 ,ε3 上的放大运算 , 表 1 结果很好地证实了这一点. 表 1 广义肯定前提式在使用不同的连接与蕴涵算子时的统计敏感性 Table 1 Statistical sensitivity of generalized modus ponens under various conjunctions and implication operators 连接 Dienes2Rescher 蕴涵 Lukasiewicz 蕴涵 Zadeh 蕴涵 Mamdani min 蕴涵 Mamdani 积蕴涵 Reichenbach 蕴涵 min 连接 max{ε1 ,ε2 ,ε3 } max{ε1 ,ε2 ,ε3 } max{ε1 ,ε2 ,ε3 } max{ε1 ,ε2 ,ε3 } max{ε1 ,ε2 ,ε3 } max{ε3 ,ε1 ©ε2 } 积连接 ε3 ©max{ε1 ,ε2 } ε3 ©max{ε1 ,ε2 } ε3 ©max{ε1 ,ε2 } ε3 ©max{ε1 ,ε2 } ε3 + (1 +ε3 ) × (ε1 ©ε2 ) ε3 + (1 +ε3 ) × (ε1 ©ε2 ) Lukasiewicz 连接 max{ε1 ,ε2 ,ε3 } max{ε1 ,ε2 ,ε3 } max{ε1 ,ε2 ,ε3 } max{ε1 ,ε2 ,ε3 } max{ε3 ,ε1 ©ε3 } max{ε3 ,ε1 ©ε2 } 3. 2 广义否定后件式 另一个 基本的模糊推理形式是广义否定后件 式 ,它可表述如下 : 前件 : IF X is A , T HEN Y is B , 事实 : Y is D , 后件 : X is C. 等价于μC ( y) = sup y ∈V (μD ( y) ,μA →B ( x , y) ) . (23) 前面分析广义肯定前提式的统计敏感性的方法 同样适用于分析广义否定后件式的统计敏感性 ,若 交换广义肯定前提式中的 C 与 D , 同样令 A′= (ε1 ) A , B′= (ε2 ) B , C′= (ε3 ) C,则可分析得出广义否 定后件式的统计敏感性相等于广义肯定前提式的统 计敏感性 ,其在不同情况下的结果同样可以归纳为 表 1 所示的结果. 4 链接模糊推理的统计敏感性 链接模糊推理是人推理机制的另一种基本形 式 ,一般地链接模糊推理能够表述成如下的形式 : 前件 1 : IF X is A , T H EN Y is B , 前件 2 : IF Y is B1 , TH EN Z is C1 , 后件 : IF X is A , TH EN Z is C. 式中 : X , Y 和 Z 是语义变量 , A 是论域 U 上的 模糊集 , B 与 B 1 是论域 V 上的模糊集 , C 与 C1 是 论域 W 上的模糊集 ,根据前件条件 1 与 2 ,链接模 糊推理归纳出一个 U 到 W 的模糊关系 ,等价于 : μR ( x , z) = sup y ∈V t (μI( A , B) ( x , y) ,μI( B1 , C1 ) ( y , z) ) , Πx ∈U , z ∈W . (24) 其中 :t( ·) 表示 t2模算子 , I ( A , B) 与前件条件 1 相 关 , I( B1 , C1 ) 与前件条件 2 相关 ,则可知 R 仅仅是 I ( A , B) 与 I ( B1 , C1 ) 的一个合成. 这样便可以用前面 同样的方法推导出链接模糊推理在采用不同连接与 蕴涵算子时的统计敏感性 ,表 2 中列出了详细的分 析结果. 从表 2 中可以明显地看出 ,链接模糊推理的 后件部分具有较大的扰动量 ,由分析知这主要是由 于 max 与 ©算子的同时放大作用而产生的. 下面以 一种情况为例 ,说明如何推导链接模糊推理的统计 敏感性. 设采用的 2 算子分别为 min 连接与 Dienes2 Rescher 蕴涵 ,则有 μR ( x , z) = sup y ∈V min (max (1 - μA ( x) ,μB ( y) ) , max (1 - μB1 ( y) ,μC1 ( z) ) ) . (25) 若令 A′= (ε1 ) A 、B′= (ε2 ) B 、B′1 = (ε21 ) B 且 C′1 = (ε31 ) C1 ,同时令 R′表示 U 到 W 的模糊关系 ,由 定理 1 知 : I( A′, B′) = (max{ε1 ,ε2 }) I ( A , B) , I ( B′1 , C′1 ) = (max{ε21 ,ε31 }) I ( B1 , C1 ) . 又由引理 3 ,便可得 第 2 期 王士同 ,等 :模糊推理的统计敏感性分析 · 16 ·
·62 智能系统学报 第2卷 R'=(max{fmax{e,5},max{1,5})R=(max{9,9,1,91})R. 表2链接模糊推理在采用不同的连接与蕴涵算子时的统计敏感性 Table 2 Statistical sensitivity of syllogistic fuzzy reasoning under various conjunctions and implication operators Dienes Rescher Lukasiewicz Mamdani min Mamdani Reichenbach 连接 Zadeh蕴涵 蕴涵 蕴涵 蕴涵 积蕴涵 蕴涵 max,. maxf号,, max{号,5, max/,. 「g⊙9, 6⊙6, min连接 max max 51,91} 51,1/ 6,11 51,51} 与⊙9到 61⊙5到 max(,5)⊙ max(9,6)⊙ max(6,)⊙ max(,5)⊙ (写©5)© (©5)© 积连接 max(51,5 max(5!,1 max(1,今) max51,5》 (51⊙51 (1⊙ Lukasiewicz max{,与, max{f,与, max{6,与, max/, maxf.. max/6,与, 连接 1,6/ 1,1} 1,1/ 1,1/ 1,51/ 51,1/ 5多规则模糊推理的统计敏感性 5xm,以,u(x1,2,xm,以).(28) M 在现实中模糊知识通常包含多个规则,其一般 当用交算子时,R=,QR,则 形式可表述成如下的形式: u(x1,x2,.x.y)min((xI,x2, 前件1:XisG,X2isG,X is C xm,以,RM(x1,x2,xm,以).(29列 前件2:模糊知识 最后,这类模糊推理的输出结果如下: 1)IF X is An,X2 is A12,.X is Ai THEN 4=吧14W,, Yis Bu, en(xn,Hgx,x2,xn,以 30) 在大多数实际情况中,r模算子采用min Mamdani M IF Xi is Ain,X2 is A,Xn is Au 积.这样当式(26),(28)或(29)中的模算子与 THEN Y is Bw, I(AR,B)给定时,便可轻易地推导出相应的模糊 后件:YisD 推理的统计敏感性.现举一例说明,令1(·)与 式中:X,,,X。和Y是语义变量,Ag和C I(AR,B)均为Mamdani积算子,则式(28)化成如 是论域U,i=1,2,M,j=1,2,川上模糊集, 下形式: B1,B2,BM和D是论域V上的模糊集 4R(x1,x2,,Xn,y以= 众所周知,对于上述模糊推理目前有2种主要 max(H,(x)…4.(xn}a,以, 的推理过程1:一个是基于组合的推理过程:另一个 4n(x)…4h(xn)au(以 31) 是基于独立规则的推理过程.在基于组合的推理过 相应地式(29)化成如下的形式: 程中,首先用模糊关系R,表示第ith规则 4R(xI,x2,“,Xn,y以= lRx1,X2,,xm,J以=44R(x1,x2,,Xm,以, min(4am(x)n(xg,(以, (26) 4n(x)…44h(xn)4au(以) (32) 式中:4R,(x,x,x=1f44n(x),4。(2, 这样(以变成: 4im(xn) (27) 且t()表示r模算子,I(AR,B)表示AR与 =p.4, B,的蕴涵算子,这样可用同样的方法求得R,R, (x},4(x1,x2,…xa,y以. 33) :,R,据此可用并或交算子合成R当用并算子 若令A=()Ag,B=(月)B:,C=()G,=1, 时,R=UR,则 2,n,i=1,2,…M,则由引理3、4可得 =1 He(xI x2,.xm,y)max(ug (x1,x2 D-[om ⊙A, 1994-2008 China Academic Journal Electronic Publishing House.All rights reserved. http://www.cnki.net
R′= (max{ max{ε1 ,ε2 } ,max{ε21 ,ε31 }}) R = (max{ε1 ,ε2 ,ε21 ,ε31 }) R. 表 2 链接模糊推理在采用不同的连接与蕴涵算子时的统计敏感性 Table 2 Statistical sensitivity of syllogistic fuzzy reasoning under various conjunctions and implication operators 连接 Dienes2Rescher 蕴涵 Lukasiewicz 蕴涵 Zadeh 蕴涵 Mamdani min 蕴涵 Mamdani 积蕴涵 Reichenbach 蕴涵 min 连接 max{ε1 ,ε2 , ε21 ,ε31 } max{ε1 ,ε2 , ε21 ,ε31 } max{ε1 ,ε2 , ε21 ,ε31 } max{ε1 ,ε2 , ε21 ,ε31 } max ε1 ©ε2 , ε21 ©ε31 max ε1 ©ε2 , ε21 ©ε31 积连接 max (ε1 ,ε2 ) © max (ε21 ,ε31 ) max (ε1 ,ε2 ) © max (ε21 ,ε31 ) max (ε1 ,ε2 ) © max (ε21 ,ε31 ) max (ε1 ,ε2 ) © max (ε21 ,ε31 ) (ε1 ©ε2 ) © (ε21 ©ε31 ) (ε1 ©ε2 ) © (ε21 ©ε31 ) Lukasiewicz 连接 max{ε1 ,ε2 , ε21 ,ε31 } max{ε1 ,ε2 , ε21 ,ε31 } max{ε1 ,ε2 , ε21 ,ε31 } max{ε1 ,ε2 , ε21 ,ε31 } max{ε1 ,ε2 , ε21 ,ε31 } max{ε1 ,ε2 , ε21 ,ε31 } 5 多规则模糊推理的统计敏感性 在现实中模糊知识通常包含多个规则 ,其一般 形式可表述成如下的形式 : 前件 1 : X1 is C1 , X2 is C2 , …, Xn is Cn , 前件 2 : 模糊知识 1) IF X1 is A11 , X2 is A12 , …, Xn is A1 n TH EN Y is B M , … M) IF X1 is A M1 , X2 is A M2 , …, Xn is A Mn T HEN Y is B M , 后件 : Y is D 式中 : X1 , X2 , …, Xn 和 Y 是语义变量 , A ij和 Cj 是论域 U j ( i = 1 , 2 , …, M , j = 1 , 2 , …, n) 上模糊集 , B1 , B2 , …, B M 和 D 是论域 V 上的模糊集. 众所周知 ,对于上述模糊推理目前有 2 种主要 的推理过程[2 ] :一个是基于组合的推理过程;另一个 是基于独立规则的推理过程. 在基于组合的推理过 程中 ,首先用模糊关系 Ri 表示第 it h 规则 μRi ( x1 , x2 , …, x n , y) = μI( AR i , Bi ) ( x1 , x2 , …, x n , y) , (26) 式中 :μAR i ( x1 , x2 , …, x n ) = t(μA i1 ( x1 ) ,μA i2 ( x2 ) , …, μA in ( x n ) ) . (27) 且 t( ·) 表示 t2模算子 , I ( A Ri , Bi) 表示 A Ri 与 B i 的蕴涵算子 ,这样可用同样的方法求得 R1 , R2 , …, RM ,据此可用并或交算子合成 R. 当用并算子 时 , R = ∪ M i = 1 Ri ,则 μR ( x1 , x2 , …, x n , y) = max (μR1 ( x1 , x2 , …, x n , y) , …,μRM ( x1 , x2 , …, x n , y) ) . (28) 当用交算子时 , R = ∩ M i = 1 Ri ,则 μR ( x1 , x2 , …, x n , y) = min (μR 1 ( x1 , x2 , …, x n , y) , …,μRM ( x1 , x2 , …, x n , y) ) . (29) 最后 ,这类模糊推理的输出结果如下 : μD ( y) = sup x 1 , x 2 , …, x n t (μC1 ( x1 ) ,μC2 ( x2 ) , …, μCn ( x n ) ,μR ( x1 , x2 , …, x n , y) ) . (30) 在大多数实际情况中 , t2模算子采用 min Mamdani 积. 这样当式 ( 26) , ( 28) 或 ( 29) 中的模算 子 与 I( A Ri , Bi) 给定时 ,便可轻易地推导出相应的模糊 推理的统计敏感性. 现举一例说明 , 令 t ( ·) 与 I( A Ri , Bi) 均为 Mamdani 积算子 ,则式 (28) 化成如 下形式 : μR ( x1 , x2 , …, x n , y) = max (μA11 ( x1 ) …μA1n ( x n )μB1 ( y) , …, μA M1 ( x1 ) …μA Mn ( x n )μB M ( y) ) . (31) 相应地式(29) 化成如下的形式 : μR ( x1 , x2 , …, x n , y) = min (μA11 ( x1 ) …,μA1n ( x n )μB1 ( y) , …, μA M1 ( x1 ) …μA Mn ( x n )μB M ( y) ) . (32) 这样μD ( y) 变成 : μD ( y) = sup x 1 , x 2 , …, x n μC1 ( x1 ) ,μC2 ( x2 ) , …, μCn ( x n ) ,μR ( x1 , x2 , …, x n , y) . (33) 若令 A′ij = (εij ) A ij , B′i = (βi) Bi , C′j = (γj) Cj , j = 1 , 2 , …, n , i = 1 ,2 , …, M ,则由引理 3、4 可得 D′= ©1 ≤j ≤n γj © max ©1 ≤j ≤n ε1 j ©β1 , · 26 · 智 能 系 统 学 报 第 2 卷
第2期 王士同,等:模糊推理的统计敏感性分析 *63* (只o月.…(只wo 这些工作还包括对模糊方程、甚至模糊联想神经网 络的统计敏感性分析. (34) 在基于规则独立的推理过程中,可先独立地对 参考文献: 每个规则求出相应的输出,然后组合所有这些单个 [1]TORRA V.OWA operators in data modeling and rei- 输出,每个独立的输出可表示如下: dentification [J].IEEE Trans on Fuzzy Systems,2004, ,)=吧1,%), 12(5):652-660. en(xa},Hg,(x1,x,…xa,以),(i=1,2,0. [2]CAI K C.Robustness of fuzzy reasoning and equalities 式中:R定义与式26)相同,这样整个输出D可用 of fuzzy sets[J ]IEEE Trans on Fuzzy Systems,2001,9 并或交)算子广义地表示,即 (5):738-750. [3]YIN G M S.Perturbation of Fuzzy reasoning [J ]IEEE 当D=UD,时,则o(y=max(o(y, Trans on Fuzzy Systems,1999,7(5):625-629. 4o,(y以,Hbw以 (35) [4]ZADEH L A.The concept of a linguistic variable and its 当D=,QD,时,则,仞=minW, applications to approximate reasoning (I)[J].Informa- tion Science,1974,8(2):199-249 b2(以,4ow(以 (36) [5]ZADEH L A.The concept of a linguistic variable and its 使用与前面相似的方面,也可以轻易地分析出这类 applications to approximate reasoning (I)[J].Informa- 基于规则的模糊推理过程的统计敏感性.若采用与 tion Science,1974,8(3):301.357 前面相同的符号定义,则由引理34可得 [6]ZADEH L A.The concept of a linguistic variable and its applications to approximate reasoning (III)[J ]Infor- mation Science,1975,9(1):43-80. [7]DUBOIS D,PRADE H.Fuzzy sets in approximate rea- D'-maC只o(, ⊙月,… soning,Part 1:Inference with possibility distributions (37) []Fuzzy Sets and Systems,1991,40(1):143-202. [8]DUBOIS D,PRADE H.Fuzzy sets in approximate rea- 式37)结论当且仅当在模糊推理输出由式(35)、 soning,Part 2:Logical approaches [J].Fuzzy Sets and (36)决定时成立 Systems,1991,40(1):203.244. 6结束语 [9]LIU Y,KERRE F E.An overview of fuzzy quantifiers ID:reasoning and applications [J ]Fuzzy Sets and 文中提出了一种新的度量模糊集间近似相等的 Systems,1998,95(2):135.146. 方式统计相等,并以此为基础,理论与系统地 [10]NAKANISHI H,TURKSEN IB,SU GENO M.A re- 分析了多种模糊推理在不同的算子与模糊规则下的 view and comparison of six reasoning methods [J ] 统计敏感性.从分析结果中可以看出,对于许多模糊 Fuzzy Sets and Systems,1993,57(3):257-294. 推理来讲,其前件中的噪音干扰将导致在后件中产 [11]WANG GJ.On the logic foundation of fuzzy reasoning 生更大的扰动,其统计敏感性可通过它们的方差关 [J ]Information Science,1999,117(1):47-88. 系清晰地表现出来 [12 ]MIZUMOTO M,ZIMMERMANN HJ.Comparison of fuzzy reasoning methods [J].Fuzzy Sets and Systems, 理论上,在合成运算、蕴涵运算、广义肯定前件 1982,8(3):151-186. 式、广义否定后件式和链接模糊推理中,max和min [13]CAO Z,KANDEL A.Applicability of some fuzzy im- 算子可用任何的s模算子和任何的+模算子替代, plication operators [J ]Fuzzy Sets and Systems,1989, 而文中仅分析了这些模糊推理中使用几种(文中所 31(2):151-186. 列)特定算子时的情况,对于采用其他s1模算子的 [14 WANG L X.A course in fuzzy systems and control 情况,虽然在实际中经常使用到,但其相应的统计敏 [M].Englewood Cliffs,NJ Prentice-Hall,1997. 感性分析较为复杂,这有待以后进行更深入的探讨, [15]CAI KY,equalities of fuzzy sets [J].Fuzzy Sets and 1994-2008 China Academic Journal Electronic Publishing House.All rights reserved.http://www.cnki.net
©1 ≤j ≤n ε2 j ©β2 , ……, ©1 ≤j ≤n εMj ©βM D . (34) 在基于规则独立的推理过程中 ,可先独立地对 每个规则求出相应的输出 ,然后组合所有这些单个 输出 ,每个独立的输出可表示如下 : μDi ( y) = sup x 1 , x 2 , …, x n t (μC1 ( x1 ) ,μC2 ( x2 ) , …, μCn ( x n ) ,μRi ( x1 , x2 , …, x n , y) ) , ( i = 1 ,2 , …, M) . 式中 : Ri 定义与式(26) 相同 ,这样整个输出 D 可用 并(或交) 算子广义地表示 ,即 当 D = ∪ M i = 1 Di 时 ,则μD ( y) = max (μD1 ( y) , μD2 ( y) , …,μDM ( y) . (35) 当 D = ∩ M i = 1 Di 时 ,则μD ( y) = min (μD1 ( y) , μD2 ( y) , …,μDM ( y) . (36) 使用与前面相似的方面 ,也可以轻易地分析出这类 基于规则的模糊推理过程的统计敏感性. 若采用与 前面相同的符号定义 ,则由引理 3、4 可得 R′i = ©1 ≤j ≤n εij ©βi R i , D′i = ©1 ≤j ≤n γj © ©1 ≤j ≤n εij ©βi D i , D′= max ©1 ≤j ≤n γj © ©1 ≤j ≤n εij ©β1 , …, ©1 ≤j ≤n γj © ©1 ≤j ≤n εMj ©βM D . (37) 式(37) 结论当且仅当在模糊推理输出由式 ( 35) 、 (36) 决定时成立. 6 结束语 文中提出了一种新的度量模糊集间近似相等的 方式 ———ε统计相等 ,并以此为基础 ,理论与系统地 分析了多种模糊推理在不同的算子与模糊规则下的 统计敏感性. 从分析结果中可以看出 ,对于许多模糊 推理来讲 ,其前件中的噪音干扰将导致在后件中产 生更大的扰动 ,其统计敏感性可通过它们的方差关 系清晰地表现出来. 理论上 ,在合成运算、蕴涵运算、广义肯定前件 式、广义否定后件式和链接模糊推理中 ,max 和 min 算子可用任何的 s2模算子和任何的 t2模算子替代 , 而文中仅分析了这些模糊推理中使用几种 (文中所 列) 特定算子时的情况 ,对于采用其他 s/ t 模算子的 情况 ,虽然在实际中经常使用到 ,但其相应的统计敏 感性分析较为复杂 ,这有待以后进行更深入的探讨 , 这些工作还包括对模糊方程、甚至模糊联想神经网 络的统计敏感性分析. 参考文献 : [1 ] TORRA V. OWA operators in data modeling and re2i2 dentification [J ]. IEEE Trans on Fuzzy Systems , 2004 , 12 (5) : 652 - 660. [2 ]CAI K C. Robustness of fuzzy reasoning andδ2equalities of fuzzy sets[J ]. IEEE Trans on Fuzzy Systems , 2001 , 9 (5) : 738 - 750. [3 ] YIN G M S. Perturbation of Fuzzy reasoning [J ]. IEEE Trans on Fuzzy Systems , 1999 , 7 (5) : 625 - 629. [4 ]ZADEH L A. The concept of a linguistic variable and its applications to approximate reasoning ( I) [J ]. Informa2 tion Science , 1974 , 8 (2) : 199 - 249. [5 ]ZADEH L A. The concept of a linguistic variable and its applications to approximate reasoning (II) [J ]. Informa2 tion Science , 1974 , 8 (3) : 301 - 357. [6 ]ZADEH L A. The concept of a linguistic variable and its applications to approximate reasoning ( III) [J ]. Infor2 mation Science , 1975 , 9 (1) : 43 - 80. [7 ]DUBOIS D , PRADE H. Fuzzy sets in approximate rea2 soning , Part 1 : Inference with possibility distributions [J ]. Fuzzy Sets and Systems , 1991 , 40 (1) : 143 - 202. [8 ]DUBOIS D , PRADE H. Fuzzy sets in approximate rea2 soning , Part 2 :Logical approaches [J ]. Fuzzy Sets and Systems , 1991 , 40 (1) : 203 - 244. [9 ]L IU Y, KERRE F E. An overview of fuzzy quantifiers ( Ⅱ) : reasoning and applications [J ]. Fuzzy Sets and Systems , 1998 , 95 (2) : 135 - 146. [10 ]NA KANISHI H , TUR KSEN I B , SU GENO M. A re2 view and comparison of six reasoning methods [J ]. Fuzzy Sets and Systems , 1993 , 57 (3) : 257 - 294. [11 ]WAN G GJ. On the logic foundation of fuzzy reasoning [J ]. Information Science , 1999 , 117 (1) : 47 - 88. [ 12 ]MIZUMO TO M , ZIMMERMANN H J. Comparison of fuzzy reasoning methods [J ]. Fuzzy Sets and Systems , 1982 , 8 (3) : 151 - 186. [13 ]CAO Z , KANDEL A. Applicability of some fuzzy im2 plication operators [J ]. Fuzzy Sets and Systems , 1989 , 31 (2) : 151 - 186. [14 ] WAN G L X. A course in fuzzy systems and control [ M]. Englewood Cliffs , NJ : Prentice2Hall , 1997. [15 ]CAI KY ,δ2equalities of fuzzy sets [J ]. Fuzzy Sets and 第 2 期 王士同 ,等 :模糊推理的统计敏感性分析 · 36 ·
·64· 智能系统学报 第2卷 Systems,1997,76(1):97-112. [25]CORDON O,HERRERA F,PEREGRiN A.Searching [16]PAPPIS C P.Value approximation of fuzzy systems for basic properties obtaining robust implication opera- variables [J].Fuzzy Sets and Systems,1991.39(1): tors in fuzzy control [J].Fuzzy Sets and Systems, 111-115. 2000,111(2):237.251. [17]HONGD H,HWANG SY.A note on the value simi- [26]MELEK WW,GOLDENBERGA A.The development larity of fuzzy systems variables [J].Fuzzy Sets and of a robust fuzzy inference mechanism [J].Int J of Ap- Systems,1994,66(3):383-386. proximate Reasoning 2005,39(1):29-47 [18]LEE E S,ZHU Q.Fuzzy and evidence reasoning [M]. [27]ZHANGL,CAI K.Optimal fuzzy reasoning and its ro- Hiedelberg:PhysicaVerlag,1995. bust analysis [J].Int J Intelligent Systems,2004,19 [19]GUAN J W,BELL D A.Approximate reasoning and (11):1033.1049. evidence theory [J].Information Science,1997,96(3): [28]LI Y,LI D,PEDR YCZ W,WU J.An approach to 207.235 measure the robustness of fuzzy reasoning [J ]Int J In- [20]HSIAO W H,CHEN S M,LEE C H.A new interpo- telligent Systems,2005,20(4):393-413. lative reasoning method in sparse rule-based systems 作者简介: [J ]Fuzzy Sets and Systems,1998,93(1):17-22. 王士同,男,1964年生,教授,博士 [21]CASTRO J L,TRILLAS E,ZURITA J M.Nomrmo- 生导师,主要研究方向为模糊人工智 notic fuzzy reasoning [J].Fuzzy Sets and Systems, 能、模式识别/图像处理和生物信息学 1998,94(3):217.225. 等,先后十多次留学英国、日本和香港 [22]DRIAN KOV D,HELL ENDOORN H,REINFRANK 地区,在国内外重要杂志上发表数十篇 M.An Introduction to Fuzzy Control [M].New York: 学术论文 Springer-Verlag,1993. Email wxwangst @yahoo.com.cn. [23]PAPPIS C P,KARACAPIL IDIS N I,A comparative 谢振平,男,1979年生,博士研究 assessment of measures of similarity of fuzzy values 生,主要研究方向为模式识别与图像处 [J ]Fuzzy Sets and Systems,1994,56(2):171-174. 理 [24 CHANG T C,HASEGAWA K,IBBS C W.The effects of membership functions on fuzzy reasoning [J]. Email :xiezhenping @yahoo.com.cn. Fuzzy Sets and Systems,1991,44(2):169-186 第七届全球智能控制与自动化大会 The Seventh Gobal Conference on Intelligent Control and Automation 全球智能控制与自动化大会(WCICA)是每两年一次在中国召开的重要国际会议。第七届大会(WC CA08)由重庆大学主办,IEEE、国家自然科学基金委员会、中国自动化学会、中国人工智能学会协办,将于 2008年6月25~27日在美丽的山城重庆召开。会议为全球从事智能控制和自动化的专家、学者和工程技 术人员提供一个交流、研讨和报告他们最新研究成果的平台。大会热忱欢迎广大同行踊跃投稿,录用的论文 将由正式出版社出版论文集(附带光盘),版权属EEE。论文同时被国际重要检索机构EI收录。会议征文 包括与智能控制和自动化有关的理论、方法和应用方面的论文。 全文截稿日期:2007-10-25; 论文录用通知日期2008-1-25: 联系人:任江洪博士; 联系电话:86-23-65112857; E-mail wcica08 @cqu.edu.cn; 会议网站:http:/wcica(08.cqu.edu.cn. 1994-2008 China Academic Journal Electronic Publishing House.All rights reserved.http://www.cnki.net
Systems , 1997 , 76 (1) : 97 - 112. [16 ] PAPPIS C P. Value approximation of fuzzy systems variables [J ]. Fuzzy Sets and Systems , 1991 , 39 (1) : 111 - 115. [17 ] HON G D H , HWAN G SY. A note on the value simi2 larity of fuzzy systems variables [J ]. Fuzzy Sets and Systems , 1994 , 66 (3) : 383 - 386. [18 ]L EE E S , ZHU Q. Fuzzy and evidence reasoning [ M]. Hiedelberg : Physica2Verlag , 1995. [19 ] GUAN J W , BELL D A. Approximate reasoning and evidence theory [J ]. Information Science , 1997 , 96 (3) : 207 - 235 [20 ] HSIAO W H , CHEN S M , L EE C H. A new interpo2 lative reasoning method in sparse rule2based systems [J ]. Fuzzy Sets and Systems , 1998 , 93 (1) : 17 - 22. [21 ]CASTRO J L , TRILLAS E , ZURITA J M. Non2mo2 notic fuzzy reasoning [J ]. Fuzzy Sets and Systems , 1998 , 94 (3) : 217 - 225. [22 ] DRIAN KOV D , HELL ENDOORN H , REINFRAN K M. An Introduction to Fuzzy Control [ M]. New York : Springer2Verlag , 1993. [23 ] PAPPIS C P , KARACAPIL IDIS N I , A comparative assessment of measures of similarity of fuzzy values [J ]. Fuzzy Sets and Systems , 1994 , 56 (2) : 171 - 174. [ 24 ] CHAN G T C , HASEGAWA K , IBBS C W. The effects of membership functions on fuzzy reasoning [J ]. Fuzzy Sets and Systems , 1991 , 44 (2) : 169 - 186. [25 ]CORDóN O , HERRERA F , PEREGRíN A. Searching for basic properties obtaining robust implication opera2 tors in fuzzy control [J ]. Fuzzy Sets and Systems , 2000 , 111 (2) : 237 - 251. [ 26 ]MEL EK W W , GOLDENBERG A A. The development of a robust fuzzy inference mechanism [J ]. Int J of Ap2 proximate Reasoning 2005 , 39 (1) : 29 - 47. [ 27 ]ZHAN G L , CAI K. Optimal fuzzy reasoning and its ro2 bust analysis [J ]. Int J Intelligent Systems , 2004 , 19 (11) : 1033 - 1049. [28 ]L I Y , L I D , PEDR YCZ W , WU J. An approach to measure the robustness of fuzzy reasoning [J ]. Int J In2 telligent Systems , 2005 , 20 (4) : 393 - 413. 作者简介 : 王士同 ,男 ,1964 年生 ,教授 ,博士 生导师 ,主要研究方向为模糊人工智 能、模式识别/ 图像处理和生物信息学 等 ,先后十多次留学英国、日本和香港 地区 ,在国内外重要杂志上发表数十篇 学术论文. E2mail :wxwangst @yahoo. com. cn. 谢振平 ,男 , 1979 年生 ,博士研究 生 ,主要研究方向为模式识别与图像处 理. E2mail :xiezhenping @yahoo. com. cn. 第七届全球智能控制与自动化大会 The Seventh Global Conference on Intelligent Control and Automation 全球智能控制与自动化大会 (WCICA) 是每两年一次在中国召开的重要国际会议。第七届大会(WCI2 CA’08) 由重庆大学主办 ,IEEE、国家自然科学基金委员会、中国自动化学会、中国人工智能学会协办 ,将于 2008 年 6 月 25~27 日在美丽的山城重庆召开。会议为全球从事智能控制和自动化的专家、学者和工程技 术人员提供一个交流、研讨和报告他们最新研究成果的平台。大会热忱欢迎广大同行踊跃投稿 ,录用的论文 将由正式出版社出版论文集(附带光盘) ,版权属 IEEE。论文同时被国际重要检索机构 EI 收录。会议征文 包括与智能控制和自动化有关的理论、方法和应用方面的论文。 全文截稿日期 :2007 - 10 - 25 ; 论文录用通知日期 2008 - 1 - 25 ; 联系人 :任江洪 博士 ; 联系电话 :86 - 23 - 65112857 ; E2mail :wcica08 @cqu. edu. cn ; 会议网站 :http :/ / wcica08. cqu. edu. cn. · 46 · 智 能 系 统 学 报 第 2 卷