馬飛
(無錫工藝職業(yè)技術(shù)學(xué)院 電子信息系,江蘇 宜興214206)
基于直覺模糊熵的證據(jù)沖突度量方法
馬飛
(無錫工藝職業(yè)技術(shù)學(xué)院 電子信息系,江蘇 宜興214206)
針對證據(jù)理論中證據(jù)沖突度量這一關(guān)鍵問題,提出了一種基于模糊熵的沖突度量方法,首先引入直覺模糊熵表示證據(jù)間的差異性,然后對傳統(tǒng)的沖突系數(shù)進(jìn)行了修正,使其能夠反映由于概率指派函數(shù)對焦元支持的差異性所引起的沖突,最后結(jié)合修正后的傳統(tǒng)沖突系數(shù)與模糊熵對兩兩證據(jù)間的沖突進(jìn)行度量。通過對Zadeh悖論擴(kuò)展、完全一致性證據(jù)、完全沖突性證據(jù)和焦元為嵌套子集等多種情況進(jìn)行對比實驗,實驗結(jié)果表明本文算法是較為理想的證據(jù)沖突度量算法,能夠正確預(yù)測證據(jù)集的沖突程度。
直覺模糊熵;證據(jù)理論;沖突度量;差異性度量
證據(jù)理論又稱Dempster-Shafer Theory(DST),首先由Dempster于1967年提出[1],后經(jīng)由Shafer于1976年加以完善并推廣[2]。經(jīng)過幾十年的發(fā)展,在理論與應(yīng)用方面都取得了較大的成果,被廣泛應(yīng)用在信息融合、目標(biāo)識別等實際系統(tǒng)中[3-4]。但是證據(jù)理論[5-9]的進(jìn)一步應(yīng)用受到自身缺陷的限制,其主要原因是證據(jù)理論的組合規(guī)則不能組合高沖突證據(jù),如果繼續(xù)采用證據(jù)組合規(guī)則對沖突證據(jù)進(jìn)行組合,會出現(xiàn)違背直觀的結(jié)論,如Zadeh悖論等。針對證據(jù)組合規(guī)則與現(xiàn)實應(yīng)用中所出現(xiàn)的矛盾,很多學(xué)者對其進(jìn)行了研究與改進(jìn),主要集中在兩個方面:沖突證據(jù)源的修改與證據(jù)組合規(guī)則的修改。
文中從兩個方面考察了證據(jù)間的沖突程度,引入直覺模糊熵公式[10]刻畫證據(jù)間的差異性,該公式可以反映焦元的微小變化對證據(jù)間差異性的影響,不會陷入局部極值;同時對證據(jù)間的傳統(tǒng)沖突系數(shù)進(jìn)行了修正,使得能夠反映焦元支持度的差異性對證據(jù)不相容性的影響,然后結(jié)合差異性與不相容性對證據(jù)間的沖突進(jìn)行了重新定義,最后的實驗數(shù)據(jù)說明,新的方法可以有效表征證據(jù)間的沖突程度,并且不會出現(xiàn)有悖主觀的結(jié)果。
證據(jù)理論是建立在一個非空集合U上的理論,U稱為是辨識框架,由一些互斥且窮舉的元素組成,對于U中的元素A,都應(yīng)該屬于冪集2U,關(guān)于證據(jù)理論的更多論述參照文獻(xiàn)[1]和文獻(xiàn)[2],這里只給出傳統(tǒng)的證據(jù)沖突系數(shù)定義如下所示:
由k的定義可以看出,該度量反映了證據(jù)間的不相容性,不能度量不同證據(jù)對同一元的支持度差異性,所以導(dǎo)致了沖突系數(shù)k不能有效度量證據(jù)間沖突問題。但是在證據(jù)進(jìn)行合成前,進(jìn)行沖突檢測和度量是必要步驟,并且可以根據(jù)證據(jù)間沖突的不同,選擇不同的證據(jù)合成方法,實現(xiàn)證據(jù)的有效組合,避免合成失效甚至出現(xiàn)悖論的情況。下面對目前比較有效的證據(jù)沖突度量方法進(jìn)行介紹。
1)基于Jousselme證據(jù)距離的沖突度量方法,證據(jù)BPA向量mi、mj的距離定義為:
其中D為一個2N@2N矩陣,矩陣中的元素為:
則證據(jù)在證據(jù)中的距離為:
該距離可以描述證據(jù)間的沖突程度,距離越大,則該證據(jù)與其它證據(jù)間的沖突越大;反之,該證據(jù)與其他證據(jù)間的沖突越小。但是該度量只能度量證據(jù)間的差異性,對于一致性證據(jù),該度量方法就會失效。
2)基于賭博距離的證據(jù)沖突度量方法[11],其具體形式如下所示:
式(6)將對應(yīng)子集的差值最大值作為沖突度量,該度量不僅具有式(4)度量方式的缺陷,而且容易陷入局部極值,不會反映焦元支持度的微小變化對證據(jù)間沖突的影響。
3)基于歐式距離的沖突度量方法[12],其具體形式如下所示:
式(7)的實質(zhì)是將基本概率賦值函數(shù)之間的歐式距離作為證據(jù)間的沖突,與式(6)具有同樣的缺陷。
4)綜合空集BPA與向量距離的沖突度量方法[13],蔣雯將傳統(tǒng)的沖突系數(shù)與證據(jù)間的距離進(jìn)行聯(lián)合考慮,使得新的衡量標(biāo)準(zhǔn)能夠反映證據(jù)的不相容性和差異性。定義式為:
5)基于最小奇異值的證據(jù)沖突度量方法[14],將BPA矩陣的最小奇異值作為證據(jù)的沖突度量,定義式為:
其中D與式(3)的定義相同,該度量方式也只是單一考慮了證據(jù)的差異性。
2.1 直覺模糊熵
定義1[15]設(shè)X是一個給定的論域,稱A={<x,uA(x),vA(x)>|x∈X}為X上的直覺模糊集,記為IFS。其中:uA:X→[0,1],vA:X→[0,1]且滿足條件0≤uA(x)+vA(x)≤1,x∈X,uA(x)和vA(x)分別為X中元素,x屬于A的隸屬度和非隸屬度。
X上所有IFS記為IFS(X),稱πA(x)=1-uA(x)-vA(x)為x屬于A的猶豫度。特別地,若πA(x)=0,則A退化為傳統(tǒng)模糊集。直覺模糊集A的補集定義為:
則對于任意一個直覺模糊集A∈IFS(X),其直覺模糊熵定義如下:
2.2 新的沖突度量方法
下面給出基于直覺模糊熵的證據(jù)差異性度量方法,首先對證據(jù)進(jìn)行簡單的變換,如下所示:
定義2假設(shè)m為識別空間U上的BPA函數(shù),U={A1,A2,A3),與之對應(yīng)的單點集為{A1},{A2},{A3},根據(jù)給定的BPA函數(shù),單點集的基本概率指派為:
顯然,經(jīng)過式(11)的變換,將對冪集的基本概率指派轉(zhuǎn)換到對單點集的基本概率指派,但依然滿足證據(jù)理論的基本公理。引入直覺模糊熵公式對證據(jù)間的差異性進(jìn)行度量,其定義如下:
定義3假設(shè)m1,m2為識別空間U上的BPA函數(shù),U={A1,A2,A3),與之對應(yīng)的單點集為{A1},{A2},{A3}。獲得證據(jù)的基本概率指派函數(shù)后,并且通過式(12)的變換,其證據(jù)間的相似性定義如下:
規(guī)定:當(dāng)m1(Ai)=m2(Ai)=0時,E(Ai)=0。
定義4則基于式(13)的證據(jù)差異性度量為:
其直觀意義解釋為:在第二組證據(jù)中,增加了B和C的概率指派,從而更大程度上引起了決策的困難,不利于作出決策。
在經(jīng)過式(12)的變換后,修正后的傳統(tǒng)沖突系數(shù)定義如下。定義5證據(jù)i和證據(jù)j之間的不相容系數(shù)定義為:
定義6證據(jù)i和證據(jù)j之間的沖突系數(shù)定義為:
3.1 Zadeh悖論及擴(kuò)展形式的沖突度
Zadeh悖論及擴(kuò)展形式如下例所示:
例1設(shè)辨識框架為:U={θ1,θ2,θ3},其證據(jù)的BPA如下:
m1:m1(θ1)=0.99,m1(θ2)=0.01,m1(θ3)=0
m2:m2(θ1)=0,m2(θ2)=0.001,m2(θ3)=0.99
mi:mi(θ1)=0,mi(θ2)=0.001,mi(θ3)=0.99
i=1,2,…,N
即假設(shè)獲得N條證據(jù),從第三條證據(jù)開始,和第二條證據(jù)的形式完全相同,不斷增加第二條證據(jù)的信度。需要說明的是,對于Jousselme的證據(jù)距離、賭博信任距離、向量歐式距離以及最小奇異值證據(jù)沖突度量,采用求均值的方法來作為證據(jù)全集的沖突量,本文方法也采用上述方法獲得證據(jù)全集的沖突度量。針對例1,各個度量方法的度量結(jié)果如表1所示。
表1 Zadeh悖論及其擴(kuò)展的證據(jù)沖突度量
從表1可以看出,證據(jù)1和證據(jù)2并不是完全沖突性證據(jù),所以其沖突度量不應(yīng)該為1,但確實是高度沖突的。為作出更加準(zhǔn)確的判斷,應(yīng)等待更多證據(jù)的加入,這也是設(shè)計此例子的目的。隨著證據(jù)2的不斷加入,證據(jù)的一致性不斷增加,證據(jù)間的沖突應(yīng)該減小,在以上算法中,能夠表征該特性的算法是dBPA、R、Kd、mdBPA、CSVD,因為Kd、mdBPA是dBPA的改進(jìn)算法。
K受到“一票否決”弊端的影響,所以使得沖突度量始終為一個常數(shù);difBetP將兩個證據(jù)中的最大差異度作為證據(jù)全集的沖突度量,不隨證據(jù)一致性的變化而變化。而最小奇異值和difBetP有著同樣的缺陷,不能反映證據(jù)變化所帶來證據(jù)奇異值的變化情況,顯然與實際情況不符。
EFC的度量結(jié)果和實際情況完全一致,但是在證據(jù)個數(shù)N=2時,EFC的度量結(jié)果為0.888 3,說明兩個證據(jù)間是高度沖突的,但是沖突程度弱于別的度量方法,主要是因為兩個證據(jù)對于第二個焦元的基本概率指派完全一致,兩個證據(jù)并不是完全沖突性證據(jù),沖突度量的結(jié)果也不應(yīng)該為1。
根據(jù)前述分析知,隨著證據(jù)的個數(shù)的增加,證據(jù)集的沖突應(yīng)該呈現(xiàn)下降的趨勢,從圖1可以看出,dBPA、Kd、mdBPA、EFC能夠正確預(yù)測沖突的趨勢,與實際情況相吻合,而算法K、difBetP、diSV則是失效的。
3.2 證據(jù)完全沖突
在例1中,由于m1(θ2)=m2(θ2)=0.01,所以證據(jù)并不是完全沖突的,其沖突度量不應(yīng)該為1,進(jìn)行實驗驗證。
例2設(shè)辨識框架為:U={θi}10i=1,其證據(jù)的BPA如下:
m1:m1(θj)=1/L, j=1,2,…,L
m2:m1(θk)=1/L, k=L+1,L+2,…,2L
兩條證據(jù)是完全沖突的,因為在證據(jù)1中不為0的焦元在證據(jù)2中必0;反之亦然,更為重要的是不為0的焦元的基本概率指派相等。當(dāng)L=1,2,…5時,計算結(jié)果如表2所示。
表2 完全沖突性證據(jù)的沖突度
從上表可以看出,對于完全沖突的證據(jù),只有CSVD、mdBPA、K以及EFC的度量方法能夠有效的表征完全沖突的情況,不會出現(xiàn)與直覺相悖的度量結(jié)果。當(dāng)證據(jù)完全沖突時,可以認(rèn)為兩個證據(jù)是正交的,其構(gòu)成的BPA矩陣是滿秩矩陣,又因為矩陣的概率指派相等,所以CSVD可以給出正確的度量結(jié)果;而mdBPA是dBPA的改進(jìn)算法,對其歸一化系數(shù)進(jìn)行了修正,度量結(jié)果也符合主觀認(rèn)識;而傳統(tǒng)沖突系數(shù)K在證據(jù)完全沖突情況下可以有效的表征完全沖突的情況,說明在度量證據(jù)間的沖突程度時,不能丟棄證據(jù)間的不相容信息,而只考慮證據(jù)間的差異性。而diSV、dBPA、Kd不能夠有效表征證據(jù)間的沖突,因為隨著L的變化證據(jù)間的距離是發(fā)生了變化。
EFC同時考慮了證據(jù)間的差異性和不相容性,在證據(jù)完全沖突的情況下,其差異性度量和不相容性度量都為1,所以組合后的結(jié)果也為1。圖2給出了證據(jù)沖突度量的趨勢圖。
從圖2可以看出,無論焦元取任何值,都是完全沖突的證據(jù)集合,所以沖突恒為1的算法應(yīng)該正確的算法,如CSVD、mdBPA、K以及EFC的度量方法。而其余方法對沖突的度量易受向量取值的影響,即使是完全沖突的證據(jù),算法的度量值隨L的增大而減小。
圖1 Zadeh悖論擴(kuò)展形式的沖突趨勢
圖2 完全沖突證據(jù)沖突度量
3.3 完全一致性證據(jù)
在例2中,證據(jù)是完全沖突的,例3采用完全一致性證據(jù)來驗證各度量的有效性。
例3設(shè)辨識框架為:U={θi}10i=1,其證據(jù)的BPA如下:
m1:m1(θj)=1/L, j=1,2,…,L
m2:m2(θj)=1/L, j=1,2,…,L
兩條證據(jù)完全一致,顯然如果只采用差異性度量,這兩條證據(jù)完全沒有沖突。當(dāng)L=1時,兩個證據(jù)體都是確定性證據(jù),在該情況下如果采用證據(jù)組合規(guī)則其組合結(jié)果也是確定的。隨著L的增大,因為每個焦元的基本概率指派都是相等的,所以不確定性會增加,使得決策更加困難,證據(jù)間的高度一致性反而對決策沒有任何幫助,其實質(zhì)是基本概率指派的變化會對證據(jù)的相容性產(chǎn)生影響,不相容性增加,應(yīng)該體現(xiàn)在度量方法中。各方法的計算結(jié)果如表3所示。
表3 完全一致性證據(jù)的沖突度
對于完全一致性證據(jù),度量結(jié)果不能反映證據(jù)基本概率指派的變化對證據(jù)間沖突的影響。圖3給出了證據(jù)沖突程度隨證據(jù)的基本概率指派變化的預(yù)測曲線。
隨著L的不斷增大,兩條證據(jù)的不確定性也不斷增大,使得作出決策更加困難;并且當(dāng)L增大時,證據(jù)中命題不斷增多,使得每一個命題都能獲得較小的基本概率指派,干擾決策的命題越多,證據(jù)的不相容性增加,所以證據(jù)間的沖突程度應(yīng)該隨著L的增加而增加。算法EFC、Kd,K的度量結(jié)果與分析結(jié)果相吻合,是有效的度量方法,但K只考慮了證據(jù)的不相容性,過于夸大了證據(jù)的不相容性。
圖3 完全一致性證據(jù)沖突度量
模糊熵能夠度量模糊集的隸屬度與非隸屬度間的不確定性。而EFC采用了模糊熵表征證據(jù)間的差異性,并且結(jié)合修正的傳統(tǒng)沖突系數(shù)對證據(jù)間的關(guān)系進(jìn)行了度量,對于嚴(yán)重性沖突證據(jù)、完全沖突性證據(jù)、完全一致性證據(jù)以及焦元嵌套情況下的證據(jù),算法都可以正確預(yù)測證據(jù)的沖突程度,其沖突度量值也與直觀相符合;特別對于焦元嵌套的多證據(jù)情況下,對證據(jù)沖突的趨勢預(yù)測以及度量結(jié)果都比現(xiàn)有算法有效。
[1]Dempster A P.Upper and lower probabilities induced by a multi-valued mapping [J].Ann Mathematical Statistics,1967,38:325-339.
[2]Shafer G.A mathematical theory of evidence[M].Princeton:Princeton University Press,1976.
[3]鄒偉,朱智平,李園,等.一種基于粒子濾波的任意姿態(tài)頭部橢圓輪廓跟蹤方法[J].高技術(shù)通訊,2009,19(12):1288-1293.
[4]王紅亮,張美仙,丁海飛.D-S證據(jù)理論在目標(biāo)識別中的應(yīng)用[J].自動化與儀表,2011(7):14-17.
[5]張燕君,龍呈.一種改進(jìn)的沖突表示方法[J].計算機應(yīng)用研究,2013,30(6):1716-1730.
[6]胡昌華,司小勝,周志杰,等.新的沖突衡量標(biāo)準(zhǔn)下的D-S改進(jìn)算法[J].電子學(xué)報,2009,37(7):1578-1583.
[7]宋亞飛,王曉丹,雷蕾等.基于相關(guān)系數(shù)的證據(jù)沖突度量方法[J].通信學(xué)報,2014,35(5):95-100.
[8]王保云,王桂林,王婷等.基于矩陣奇異值分解的證據(jù)沖突度量算法[J].云南大學(xué)學(xué)報:自然科學(xué)版,2014,37(1):43-51.
[9]彭穎,胡增輝,沈懷榮.一種修正證據(jù)距離[J].電子與信息學(xué)報,2013,35(7):1624-1629.
[10]魏翠萍,高志海,郭婷婷.一個基于三角函數(shù)的直覺模糊熵公式[J].控制與決策,2012,27(4):571-574.
[11]LIUW.Analtzing the degree of conflictamong belief function[J].Aritificial intelligence 2006,170(11):909-924
[12]王壯。C4ISR系統(tǒng)目標(biāo)綜合識別理論與技術(shù)研究[D].長沙:國防科技大學(xué),2001.
[13]蔣雯,張安,鄧勇.基于新的證據(jù)沖突表示的信息融合方法研究[J].西北工業(yè)大學(xué)學(xué)報,2010,28(10):27-32.
[14]柯小路,馬荔瑤,王永.奇異值衡量證據(jù)沖突的新方法[J].電子學(xué)報,2013,41(10):2109-2112.
[15]Atanassov K.Intuitionistic fuzzy sets[J].Fuzzy Sets and Systems,1986,20(1):87-96.
Evidence conflictmeasure based on intuitionistic fuzzy entropymeasures
MA Fei
(Department of Electronic Information,Wuxi Institute of Arts and Technology,Yixing 214206,China)
The conflictmeasure ofevidence is the key issue for the evidence theory.A newmethod for conflictmeasure based on intuitionistic fuzzy entropy measures.The new method firstly show the difference between the evidence by using intuitionistic fuzzy entropy.Then theamended tradition conflict coefficient is used tomeasure the conflictwhich is caused by the difference of supportby the basic probability assignment function.Finally,combing the amended traditional conflict and intuitionistic fuzzy entropymeasure the conflictbetween the evidence.Experiments of the Zadeh paradox,completely conflict evidences set,completely consistency and nesting sequence of focal elements showed the new method could measure the conflictofevidenceswith a good performance.
intuitionistic fuzzy set;evidence theory;conflictmeasure;differencemeasure
TN 91
A
1674-6236(2016)20-0121-04
2015-11-16 稿件編號:201511143
2015年江蘇省高等學(xué)校大學(xué)生創(chuàng)新創(chuàng)業(yè)訓(xùn)練計劃項目(15012Y)
馬 飛(1985—),男,山西太原人,碩士研究生,助教。研究方向:智能信息處理、RFID系統(tǒng)、智能交通系統(tǒng)、服務(wù)型移動機器人控制。