張春英，劉璐，歐陽東

(1.河北聯(lián)合大學(xué) 理學(xué)院，河北唐山 063009;2.河北聯(lián)合大學(xué)輕工學(xué)院，河北唐山 063009)

0 引言

認(rèn)知圖(cognitive map，CM)［1］是表示和推理系統(tǒng)中概念間因果關(guān)系的圖模型。Kosko在1986年在Axelord認(rèn)知圖概念間的因果關(guān)系中引入模糊測(cè)度，提出了模糊認(rèn)知圖(fuzzy cognitive map，F(xiàn)CM)［3］，用于概念間模糊因果關(guān)系的表達(dá)與推理。我國學(xué)者駱祥峰［5］在2003年首次在概念間的因果關(guān)系中引入條件概率測(cè)度，提出概率模糊認(rèn)知圖模型，該模型具有簡(jiǎn)單、魯棒性好、實(shí)用等特點(diǎn)，具有比FCM模型對(duì)現(xiàn)實(shí)世界更為真實(shí)的模擬能力。然而，模糊認(rèn)知圖和概率模糊認(rèn)知圖僅從單個(gè)方面考慮，認(rèn)為概念間的關(guān)系是唯一的，并且常常用一個(gè)固定的由專家主觀確定的模糊測(cè)度來反映。但是現(xiàn)實(shí)中，兩概念間的關(guān)系往往是多種多樣的，并且具有相應(yīng)的屬性，因此用以表示概念間關(guān)系的邊會(huì)有多條，每條邊具有不盡相同的屬性權(quán)值，且權(quán)值隨著時(shí)間的變化、事件的發(fā)展而不斷變化。而在分析問題時(shí)，這些概念間的關(guān)系類的劃分是隨著人們的認(rèn)識(shí)能力及具體要求的改變而改變的，這就涉及知識(shí)的分類及問題的表示，屬于不確定性問題中的粗糙問題。故此，本文將粗糙集［6］的思想融入到認(rèn)知圖中，提出粗糙認(rèn)知圖(Rough Cognitive Map，RCM)模型，粗糙認(rèn)知圖可以將認(rèn)知圖當(dāng)中邊粗糙問題合理的轉(zhuǎn)化并解決，抽象出兩概念間的一個(gè)綜合關(guān)系，賦予權(quán)值，以完成認(rèn)知圖的關(guān)系推理過程，并進(jìn)行應(yīng)用研究。

1 基本概念

1.1 認(rèn)知圖及模糊認(rèn)知圖

認(rèn)知圖是一種以圖形的描述形式表示復(fù)雜系統(tǒng)模型的因果關(guān)系的方法。它用節(jié)點(diǎn)和邊分別表示概念(concept)及概念間的因果關(guān)系(relations of concept)，是表示和推理系統(tǒng)中概念間因果關(guān)系的圖模型。

認(rèn)知圖的定義為:

定義 一個(gè)基本CM的拓?fù)浣Y(jié)構(gòu)是一個(gè)三元序組U=(V，E，W)，其中V={v1，v2，...vn}表示CM的概念節(jié)點(diǎn)集合，E={＜vi，vj＞|vi，vj∈V}是所有節(jié)點(diǎn)間的因果關(guān)聯(lián)有向弧。有向?。紇i，vj＞表示節(jié)點(diǎn)vi對(duì)vj有因果關(guān)聯(lián)或影響)，W={wij|wij是有向?。紇i，vj＞的權(quán)值}(即wij表示結(jié)點(diǎn)ci對(duì)cj的關(guān)聯(lián)或影響強(qiáng)度)。每個(gè)節(jié)點(diǎn)有一個(gè)狀態(tài)空間，(t)表示節(jié)點(diǎn)ci在t時(shí)刻的狀態(tài)值，(t)∈［－1，1］，其狀態(tài)值越大表示該概念的狀態(tài)越活躍。節(jié)點(diǎn)間有向連接弧對(duì)應(yīng)的權(quán)值wij∈－1，0，{ }1 ，表示概念間關(guān)系增加與減少兩種定性狀態(tài)。

模糊認(rèn)知圖［3，4，7］把概念間的三值{－1，0，1}邏輯關(guān)系擴(kuò)展為區(qū)間［－1，1］上的模糊關(guān)系。其概念值為模糊值，也可以為二值，反映該節(jié)點(diǎn)對(duì)某概念以某種程度發(fā)生或表示概念狀態(tài)是關(guān)還是開。概念間的因果關(guān)系是模糊關(guān)系，其聯(lián)系強(qiáng)度也為模糊值。概念節(jié)點(diǎn)的輸出與兩種類型水平有關(guān)，即概念節(jié)點(diǎn)自身的狀態(tài)水平與外部因果聯(lián)系的強(qiáng)度。通過整個(gè)網(wǎng)絡(luò)中各概念節(jié)點(diǎn)的相互作用來模擬系統(tǒng)行為，是一種無監(jiān)督模型(unsupervised models)。

FCM推理的數(shù)學(xué)模型為:

式中Vci(t)為原因概念結(jié)點(diǎn)ci在t時(shí)刻的狀態(tài)值，Vcj(t)為結(jié)果概念結(jié)點(diǎn)cj在t+1時(shí)刻的狀態(tài)值，w為與cj有鄰接關(guān)系的概念結(jié)點(diǎn)集合，f為閾值函數(shù)(threshold function)，可以是二值的、S型的、模糊集合或概率函數(shù)。

1.2 粗糙集理論

設(shè)U是非空有限論域，R是U上的二元等價(jià)關(guān)系，R稱不可分辨關(guān)系，序?qū)=U，()R稱為近似空間。U/R是U上由R生成的等價(jià)類全體，它構(gòu)成了U的一個(gè)劃分。U上的一族劃分稱為關(guān)于U的一個(gè)知識(shí)庫(knowledge base).令X?U，R為U上的一個(gè)等價(jià)關(guān)系。當(dāng)X能表達(dá)成某些R基本范疇的并時(shí)，稱X是R可定義的，否則，稱X是R不可定義的。R可定義集也稱為R精確集，而R不可定義集稱為R粗糙集［6］(Rough Set)。

令知識(shí)庫K=U，()R，集合X?U，R是一個(gè)等價(jià)關(guān)系:

由等價(jià)關(guān)系R定義的集合X的近似精度如下:

粗糙集是刻畫不確定性問題的一種手段，它在數(shù)據(jù)庫知識(shí)發(fā)現(xiàn)、數(shù)據(jù)挖掘等領(lǐng)域都得到廣泛的發(fā)展。它的特點(diǎn)是:無需借助于數(shù)據(jù)以外的先驗(yàn)信息就可對(duì)數(shù)據(jù)進(jìn)行比較客觀的處理。因此用粗糙集的思想能更客觀的分析系統(tǒng)，具有較深刻的意義。

2 粗糙認(rèn)知圖

2.1 粗糙認(rèn)知圖定義

定義2 給定集合G={e1，e2，…em} ，頂點(diǎn)集V={v1，v2，…vn}。若賦予頂點(diǎn)屬性后的邊組成集合E=∪ek＜vi，vj＞，則稱E是G的邊集。稱G=(V，E)是圖，其中=m分別為頂點(diǎn)和邊的個(gè)數(shù)。

2.2 粗糙認(rèn)知圖概念間權(quán)重的確定

邊精度aR(T)用來反映人們對(duì)粗糙圖T邊集知識(shí)了解的完全程度。

由上述粗糙認(rèn)知圖的定義可知，兩概念間存在有限多條邊，并每條邊都具有屬性權(quán)值，基于認(rèn)知圖的應(yīng)用，我們必須抽象出兩概念間的一個(gè)綜合關(guān)系，并賦予權(quán)值，以完成因果關(guān)系推理，基于此，我們給定:

通過邊界域與上下近似之間的關(guān)系，經(jīng)整理得:ρij=λ+(1－λ)aR(T)

3 粗糙認(rèn)知圖模型

3.1 粗糙認(rèn)知圖時(shí)間模型(Rough Cognitive Map Time Model，RCMTM)

認(rèn)知圖及模糊認(rèn)知圖理論參見文獻(xiàn)［7～14］。從這些文獻(xiàn)可以看出，雖然FCM具有較多的優(yōu)點(diǎn)，但它不能表示概念間的多種關(guān)系及關(guān)系測(cè)度對(duì)概念狀態(tài)值的動(dòng)態(tài)依賴關(guān)系，也不能表示概念間因果關(guān)系測(cè)度的不確定性。如圖1所示，概念1與概念2之間的關(guān)系是多種多樣的，概念自身的狀態(tài)在變化，概念間的關(guān)系也是變化的。因此，其影響結(jié)果和程度肯定也會(huì)不同，從模糊認(rèn)知圖的角度出發(fā)考慮概念間的關(guān)系是不符合分析實(shí)際的。

圖1

Eugene等證明了若在環(huán)中加入時(shí)間的方向性，則環(huán)中各概念就不會(huì)出現(xiàn)相互依賴關(guān)系［15］。Stylios等在Kosko的模糊認(rèn)知圖模型中引入時(shí)間變量，為粗糙認(rèn)知圖奠定了理論基礎(chǔ)［12～14］。

Stylios提出的具有時(shí)間及記憶狀態(tài)的FCM可以表示為:

式中，Vcj(t)為概念cj在時(shí)間t的狀態(tài)值，γ為上一時(shí)刻狀態(tài)值對(duì)下一時(shí)刻時(shí)間狀態(tài)值的影響因子。

如果用近似精度ρij來代替式(2)中的wij，即得到我們提出的具有記憶功能與動(dòng)態(tài)特性的粗糙認(rèn)知圖時(shí)間模型(Rough Cognitive Map Time Model，RCMTM):

式中，隨著時(shí)間得變化，通過等價(jià)關(guān)系Rij劃分得到的等價(jià)類可能會(huì)發(fā)生變化，ρij隨之改變以反映兩概念間影響程度得大小。

對(duì)于圖1，用ρij可以很容易解決用FCM表示時(shí)存在的問題。由于在ρij中引入了時(shí)間項(xiàng)，ρij(t)不僅能表現(xiàn)出“概念1”與“概念2”間因果關(guān)系確定－不確定性，還能表現(xiàn)出這種因果關(guān)系的動(dòng)態(tài)特性，并由不同關(guān)系集合X的確定，通過計(jì)算得出不同的ρij(t)值。因此，RCMTM不僅繼承了FCM的優(yōu)點(diǎn)，還自然擴(kuò)展了FCM的應(yīng)用領(lǐng)域及模擬概念間關(guān)系的能力。

3.2 粗糙認(rèn)知圖時(shí)空模型(Rough Cognitive Map Space-Time Model，RCMSTM)

粗糙認(rèn)知圖時(shí)間模型建立了一個(gè)隨時(shí)間變化的動(dòng)態(tài)因果關(guān)系。實(shí)際上，概念間的關(guān)系除了會(huì)隨著時(shí)間變化而變化外，往往與空間上概念的狀態(tài)也是有關(guān)系的。如果我們?cè)诳紤]因果關(guān)系時(shí)間特性的基礎(chǔ)上，進(jìn)一步考慮因果關(guān)系的空間特性，則得到粗糙認(rèn)知圖時(shí)空模型(Rough Cognitive Map Space－Time Model，RCMSTM)。其數(shù)學(xué)模型為:

式(4)這種表達(dá)方法不僅解決了FCM存在的缺陷，使得認(rèn)知圖不僅能處理概念間關(guān)系測(cè)度的不確定性，還對(duì)概念間因果關(guān)系的時(shí)空聯(lián)系加以有效的整合。如圖1中“概念1”對(duì)“概念2”的影響程度不僅與“概念1”的狀態(tài)有關(guān)，而且與“概念1”的積累狀態(tài)有關(guān)，表現(xiàn)為時(shí)間特性。同時(shí)影響程度還與空間上概念的狀態(tài)等有關(guān)，表現(xiàn)為空間特性。這樣就把關(guān)系測(cè)度的不確定性及聯(lián)系的時(shí)空特性有效的融入粗糙認(rèn)知圖中，進(jìn)一步擴(kuò)展了粗糙認(rèn)知圖。

4 RCM的性質(zhì)

定理2 (1)給定粗糙圖T，對(duì)任一屬性集R，都有0≤aR(T)≤1。

由以上定理可知，隨著人們對(duì)粗糙圖T邊集X的知識(shí)了解完全程度的不同，反映在圖中即為邊屬性集的豐富程度的不同，則邊精度也會(huì)不同，從而邊的綜合權(quán)重也不同。

設(shè)C，V分別表示RCM的所有概念及概念狀態(tài)值，R表示所有概念間具有直接因果關(guān)系的測(cè)度。

定理3(RCM概念間等價(jià)變換定理)

定理4 (RCM概念間動(dòng)態(tài)測(cè)度等價(jià)關(guān)系定理)

在 RCM中若存在～Ci∈C，～Vi∈V，－ρij∈R，且ρij=λ+(1－λ)aR(T)，則－ρij(t)=1－ρij(t)。

上述兩個(gè)定理具有很重要的實(shí)際意義，它可從一個(gè)RCM得到一個(gè)新的RCM，能指導(dǎo)我們對(duì)一個(gè)新系統(tǒng)因果關(guān)系的認(rèn)識(shí)，并能減少較多工作量。

5 結(jié)束語

本文介紹了認(rèn)知圖模型和粗糙集的相關(guān)概念，為了克服認(rèn)知圖和模糊認(rèn)知圖的不足，本文提出了一種基于粗糙集理論的粗糙認(rèn)知圖模型。具有以下三點(diǎn)貢獻(xiàn):(1)肯定認(rèn)知圖中兩概念間關(guān)系的多樣性，更好的模擬現(xiàn)實(shí)生活中存在的問題;(2)不僅能表現(xiàn)出概念間關(guān)系確定－不確定性，還能表現(xiàn)出關(guān)系的動(dòng)態(tài)特性;(3)對(duì)概念間關(guān)系的時(shí)空聯(lián)系加以有效的整合;(4)針對(duì)認(rèn)知圖和粗糙認(rèn)知圖權(quán)值給定的主觀性這一缺陷，綜合邊精度客觀的給出兩概念間的綜合權(quán)重，使得粗糙認(rèn)知圖與模糊認(rèn)知圖相比計(jì)算量減小、復(fù)雜度降低。

關(guān)于粗糙認(rèn)知圖的研究目前尚處于探索階段，還未形成相應(yīng)的理論體系和系統(tǒng)的設(shè)計(jì)方法，存在許多的問題有待進(jìn)一步研究與探索。

［1］Chaib-draa，B，J.desharnais.A relational model of cognitive maps［DB/OL］.http://citeseer.nj.nec.com/.2001，12.

［2］Axelrod R.Structure of Decision:the Cognitive Maps of Political Elites［M］.Princeton，NJ:Princeton University Press，1976.

［3］Kosko B.Fuzzy cognitive maps［J］.Int.J.Man-machine Studies，1986，24:65 ～75.

［4］Kosko B.Adaptive inference in fuzzy knowledge networks［C］.In:Proc.1st Int.Conf.Neural Networks，1987，2:261-26.

［5］駱祥峰，高雋.概率模糊認(rèn)知圖［J］.中國科學(xué)技術(shù)大學(xué)學(xué)報(bào).2003，33(1):26-33.

［6］張文修.粗糙集理論和方法［M］.科學(xué)出版社，2001.

［7］Liu Z Q，Miao Y.Fuzzy cognitive map and its causal inference［J］.In:Proc.IEEE Int.Conf.Fuzzy Systems Seoul Korea，1999，3:1540-1545.

［8］Bart Kosko.Fuzzy Engineering［M］.Prentice Hall，1997.

［9］Liu Zhi-qing，Satur R.Contextual fuzzy Cogni tivemap for decision support in geographic informati-on systems［J］.IEEE transactions on fuzzy systems，1999，5(10):495-502.

［10］Satur R，Liu Zhi-Qing.A contextual fuzzy cogni-tive map framework for geographic information sytems［J］.IEEE transactions on fuzzy systems，1999，7(10):481-494.

［11］Thierry Marchant.Theory and methodology cognitive maps and fuzzy implications［J］.EuropeanJourn-al of Operational Research ，1999，114:626-637.

［12］Liu Zhi-qiang，Miao Yuan.Fuzzy cognitive map and its causal inferences［C］.IEEE international fuzzy systems conference proceedings.KoreaSeoul 1999，22-25.

［13］Stylios C D，Groumpos P P.Fuzzy Cognitive maps:a soft computing technique for intelligent control［C］.Proc.2000 IEEE International Sym-posium on intelligent control Italy Patras:Ju-ly 17-19，2000.97-102.

［14］Groumpos.P.P Stylios.C.D，Modelling supervisor ycontrol systems using fuzzy cognitive maps［J］.Chaos Solitons and Fractals ，2000，11:329-336.

［15］Eugene Santor Jr.Probabilistic temporal networks:A unified framework for reasoning with time and uncertainty ［DB/OL］.http://citeseer.nj.nec.com/.2001，12.