高級(jí)人工智能

高級(jí)人工智能

第十一章

史忠植

中國(guó)科學(xué)院計(jì)算技術(shù)研究所粗糙集RoughSet

1/17/20231內(nèi)容提要一、概述二、知識(shí)分類三、知識(shí)的約簡(jiǎn)四、決策表的約簡(jiǎn)五、粗糙集的擴(kuò)展模型六、粗糙集的實(shí)驗(yàn)系統(tǒng)七、粒度計(jì)算簡(jiǎn)介1/17/20232一、概述現(xiàn)實(shí)生活中有許多含糊現(xiàn)象并不能簡(jiǎn)單地用真、假值來表示﹐如何表示和處理這些現(xiàn)象就成為一個(gè)研究領(lǐng)域。早在1904年謂詞邏輯的創(chuàng)始人G.Frege就提出了含糊(Vague)一詞，他把它歸結(jié)到邊界線上，也就是說在全域上存在一些個(gè)體既不能在其某個(gè)子集上分類，也不能在該子集的補(bǔ)集上分類。

1/17/20233模糊集1965年，Zadeh提出了模糊集，不少理論計(jì)算機(jī)科學(xué)家和邏輯學(xué)家試圖通過這一理論解決G.Frege的含糊概念，但模糊集理論采用隸屬度函數(shù)來處理模糊性，而基本的隸屬度是憑經(jīng)驗(yàn)或者由領(lǐng)域?qū)＜医o出，所以具有相當(dāng)?shù)闹饔^性。1/17/20234粗糙集的提出20世紀(jì)80年代初，波蘭的Pawlak針對(duì)G.Frege的邊界線區(qū)域思想提出了粗糙集（RoughSet）﹐他把那些無法確認(rèn)的個(gè)體都?xì)w屬于邊界線區(qū)域，而這種邊界線區(qū)域被定義為上近似集和下近似集之差集。由于它有確定的數(shù)學(xué)公式描述，完全由數(shù)據(jù)決定，所以更有客觀性。1/17/20235粗糙集的研究粗糙集理論的主要優(yōu)勢(shì)之一是它不需要任何預(yù)備的或額外的有關(guān)數(shù)據(jù)信息。自提出以來，許多計(jì)算機(jī)科學(xué)家和數(shù)學(xué)家對(duì)粗糙集理論及其應(yīng)用進(jìn)行了堅(jiān)持不懈的研究，使之在理論上日趨完善，特別是由于20世紀(jì)80年代末和90年代初在知識(shí)發(fā)現(xiàn)等領(lǐng)域得到了成功的應(yīng)用而越來越受到國(guó)際上的廣泛關(guān)注。1/17/20236粗糙集的研究1991年波蘭Pawlak教授的第一本關(guān)于粗糙集的專著《RoughSets：TheoreticalAspectsofReasoningaboutData》和1992年R.Slowinski主編的關(guān)于粗糙集應(yīng)用及其與相關(guān)方法比較研究的論文集的出版，推動(dòng)了國(guó)際上對(duì)粗糙集理論與應(yīng)用的深入研究。1992年在波蘭Kiekrz召開了第1屆國(guó)際粗糙集討論會(huì)。從此每年召開一次與粗糙集理論為主題的國(guó)際研討會(huì)。1/17/20237研究現(xiàn)狀分析2001年5月在重慶召開了“第1屆中國(guó)Rough集與軟計(jì)算學(xué)術(shù)研討會(huì)”，邀請(qǐng)了創(chuàng)始人Z.Pawlak教授做大會(huì)報(bào)告；2002年10月在蘇州第2屆中國(guó)粗糙集與軟計(jì)算學(xué)術(shù)研討會(huì)2003年5月在重慶第3屆中國(guó)粗糙集與軟計(jì)算學(xué)術(shù)研討會(huì)2004年10月中下旬在浙江舟山召開第4屆中國(guó)粗糙集與軟計(jì)算學(xué)術(shù)研討會(huì)2005年8月1日至5日在鞍山科技大學(xué)召開第五屆中國(guó)Rough集與軟計(jì)算學(xué)術(shù)研討會(huì)（CRSSC2005）2006第六屆中國(guó)粗糙集與軟計(jì)算學(xué)術(shù)研討會(huì)在浙江師范大學(xué)1/17/20238研究現(xiàn)狀分析2007年粗糙集與軟計(jì)算、Web智能、粒計(jì)算聯(lián)合學(xué)術(shù)會(huì)議,山西大學(xué)2008年第8屆中國(guó)粗糙集與軟計(jì)算學(xué)術(shù)會(huì)議、第2屆中國(guó)Web智能學(xué)術(shù)研討會(huì)、第2屆中國(guó)粒計(jì)算學(xué)術(shù)研討會(huì)聯(lián)合學(xué)術(shù)會(huì)議（CRSSC-CWI-CGrC2008）,河南師范大學(xué)中科院計(jì)算所、中科院自動(dòng)化所、重慶郵電學(xué)院、南昌大學(xué)、西安交通大學(xué)、山西大學(xué)、合肥工業(yè)大學(xué)、北京工業(yè)大學(xué)、上海大學(xué)

1/17/20239研究現(xiàn)狀分析曾黃麟.粗集理論及其應(yīng)用(修訂版).重慶:重慶大學(xué)出版社,1998劉清.RoughSet及Rough推理.北京:科學(xué)出版社,2001張文修等.RoughSet理論與方法.北京:科學(xué)出版社,2001王國(guó)胤.RoughSet理論與知識(shí)獲取.西安:西安交通大學(xué)出版社,2001史忠植.知識(shí)發(fā)現(xiàn).北京:清華大學(xué)出版社,2002苗奪謙//王國(guó)胤//劉清//林早陽//姚一豫.粒計(jì)算--過去現(xiàn)在與展望.科學(xué)出版社,2007

1/17/202310二、知知識(shí)識(shí)分類類基本粗粗糙集集理論論認(rèn)為為知識(shí)識(shí)就是是人類類和其其他物物種所所固有有的分分類能能力。。例如，，在現(xiàn)現(xiàn)實(shí)世世界中中關(guān)于于環(huán)境境的知知識(shí)主主要表表明了了生物物根據(jù)據(jù)其生生存觀觀來對(duì)對(duì)各種種各樣樣的情情形進(jìn)進(jìn)行分分類區(qū)區(qū)別的的能力力。每每種生生物根根據(jù)其其傳感感器信信號(hào)形形成復(fù)復(fù)雜的的分類類模式式，就就是這這種生生物的的基本本機(jī)制制。分類是是推理理、學(xué)學(xué)習(xí)與與決策策中的的關(guān)鍵鍵問題題。因因此，，粗糙糙集理理論假假定知知識(shí)是是一種種對(duì)對(duì)對(duì)象進(jìn)進(jìn)行分分類的的能力力。這這里的的“對(duì)對(duì)象””是指指我們們所能能言及及的任任何事事物，，比如如實(shí)物物、狀狀態(tài)、、抽象象概念念、過過程和和時(shí)刻刻等等等。即即知識(shí)識(shí)必須須與具具體或或抽象象世界界的特特定部部分相相關(guān)的的各種種分類類模式式聯(lián)系系在一一起，，這種種特定定部分分稱之之為所所討論論的全域或論域(universe)。對(duì)對(duì)于全全域及及知識(shí)識(shí)的特特性并并沒有有任何何特別別假設(shè)設(shè)。事實(shí)上，知知識(shí)構(gòu)成了了某一感興興趣領(lǐng)域中中各種分類類模式的一一個(gè)族集(family)，，這個(gè)族集集提供了關(guān)關(guān)于現(xiàn)實(shí)的的顯事實(shí)，，以及能夠夠從這些顯顯事實(shí)中推推導(dǎo)出隱事事實(shí)的推理理能力。12/31/202211二、知識(shí)識(shí)分類為數(shù)學(xué)處理理方便起見見，在下面面的定義中中用等價(jià)關(guān)關(guān)系來代替替分類。一個(gè)近似空間(approximatespace)（或知識(shí)庫）定義為一一個(gè)關(guān)系系系統(tǒng)（或二二元組）K=(U,R)其中U（為空集集）是一個(gè)個(gè)被稱為全全域或論域域(universe)的所所有要討論論的個(gè)體的的集合，R是U上等價(jià)價(jià)關(guān)系的一一個(gè)族集。。12/31/202212二、知識(shí)識(shí)分類設(shè)PR，且P，P中所有等價(jià)價(jià)關(guān)系的交交集稱為P上的一種不不可區(qū)分關(guān)關(guān)系(indiscernbilityrelation)（或稱難區(qū)區(qū)分關(guān)系）），記作IND(P)，即[x]IND(p)=∩[x]RRP注意，IND(P)也是等價(jià)價(jià)關(guān)系且是是唯一的。。12/31/202213二、知知識(shí)分類類給定近似似空間K=(U,R)，子集XU稱為U上的一個(gè)個(gè)概念(concept)，形式上上，空集集也視為為一個(gè)概概念；非非空子族族集PR所產(chǎn)生的的不分明明關(guān)系IND(P)的所有等等價(jià)類關(guān)關(guān)系的集集合即U/IND(P)，稱為基本知識(shí)識(shí)(basicknowledge)，相應(yīng)的的等價(jià)類類稱為基本概念念(basicconcept)；特別地地，若關(guān)關(guān)系QR，則關(guān)系系Q就稱為初等知識(shí)識(shí)(elementaryknowledge)，相應(yīng)的的等價(jià)類類就稱為為初等概念念(elementaryconcept)。一般用大大寫字母母P,Q,R等表示一一個(gè)關(guān)系系，用大大寫黑體體字母P,Q,R等表示關(guān)關(guān)系的族族集；[x]R或R(x)表示關(guān)系系R中包含元元素xU的概念或或等價(jià)類類。為了了簡(jiǎn)便起起見，有有時(shí)用P代替IND(P)。根據(jù)上述述定義可可知，概概念即對(duì)對(duì)象的集集合，概概念的族族集（分分類）就就是U上上的知識(shí)識(shí)，U上上分類的的族集可可以認(rèn)為為是U上上的一個(gè)個(gè)知識(shí)庫庫，或說說知識(shí)庫庫即是分分類方法法的集合合。12/31/202214二、知識(shí)分分類粗糙集理論與與傳統(tǒng)的集合合理論有著相相似之處，但但是它們的出出發(fā)點(diǎn)完全不不同。傳統(tǒng)集集合論認(rèn)為，，一個(gè)集合完完全是由其元元素所決定，，一個(gè)元素要要么屬于這個(gè)個(gè)集合，要么么不屬于這個(gè)個(gè)集合，即它它的隸屬函數(shù)數(shù)X(x){0,1}。。模糊集合對(duì)對(duì)此做了拓廣廣，它給成員員賦予一個(gè)隸隸屬度，即X(x)[0,1]，，使得模糊集集合能夠處理理一定的模糊糊和不確定數(shù)數(shù)據(jù)，但是其其模糊隸屬度度的確定往往往具有人為因因素，這給其其應(yīng)用帶來了了一定的不便便。而且，傳傳統(tǒng)集合論和和模糊集合論論都是把隸屬屬關(guān)系作為原原始概念來處處理，集合的的并和交就建建立在其元素素的隸屬度max和min操作上，，因此其隸屬屬度必須事先先給定（傳統(tǒng)統(tǒng)集合默認(rèn)隸隸屬度為1或或0）。在粗粗糙集中，隸隸屬關(guān)系不再再是一個(gè)原始始概念，因此此無需人為給給元素指定一一個(gè)隸屬度，，從而避免了了主觀因素的的影響。12/31/202215InformationSystems/TablesISisapair(U,A)Uisanon-emptyfinitesetofobjects.Aisanon-emptyfinitesetofattributessuchthatforeveryiscalledthevaluesetofa.AgeLEMSx１16-3050x216-300x331-451-25x431-451-25x546-6026-49x616-3026-49x746-6026-4912/31/202216DecisionSystems/TablesDS:isthedecisionattribute(insteadofonewecanconsidermoredecisionattributes).TheelementsofAarecalledtheconditionattributes.AgeLEMSWalkx１16-3050yesx216-300nox331-451-25nox431-451-25yesx546-6026-49nox616-3026-49yesx746-6026-49no12/31/202217IssuesintheDecisionTable相同同或或不不可可區(qū)區(qū)分分的的對(duì)對(duì)象象可可能能被被表表示示多多次次Thesameorindiscernibleobjectsmayberepresentedseveraltimes.有些屬性性可能是是多余的的Someoftheattributesmaybesuperfluous.12/31/202218不可區(qū)分分性IndiscernibilityTheequivalencerelationAbinaryrelationwhichisreflexive(xRxforanyobjectx),symmetric(ifxRythenyRx),andtransitive(ifxRyandyRzthenxRz).TheequivalenceclassofanelementconsistsofallobjectssuchthatxRy.12/31/202219不可區(qū)分分性Indiscernibility(2)LetIS=(U,A)beaninformationsystem,thenwithanythereisanassociatedequivalencerelation:whereiscalledtheB-indiscernibilityrelation.Ifthenobjectsxandx’areindiscerniblefromeachotherbyattributesfromB.TheequivalenceclassesoftheB-indiscernibilityrelationaredenotedby12/31/202220不可區(qū)區(qū)分性性實(shí)例例IndiscernibilityThenon-emptysubsetsoftheconditionattributesare{Age},{LEMS},and{Age,LEMS}.IND({Age})={{x1,x2,x6},{x3,x4},{x5,x7}}IND({LEMS})={{x1},{x2},{x3,x4},{x5,x6,x7}}IND({Age,LEMS})={{x1},{x2},{x3,x4},{x5,x7},{x6}}.AgeLEMSWalkx１16-3050yesx216-300nox331-451-25nox431-451-25yesx546-6026-49nox616-3026-49yesx746-6026-49no12/31/202221概念的邊界界知識(shí)的粒度度性是造成成使用已有有知識(shí)不能能精確地表表示某些概概念的原因因。這就產(chǎn)產(chǎn)生了所謂謂的關(guān)于不不精確的““邊界”思思想。著名名哲學(xué)家Frege認(rèn)為“概概念必須有有明確的邊邊界。沒有有明確邊界界的概念，，將對(duì)應(yīng)于于一個(gè)在周周圍沒有明明確界線的的區(qū)域”。。粗糙集理理論中的模模糊性就是是一種基于于邊界的概概念，即一一個(gè)不精確確的概念具具有模糊的的不可被明明確劃分的的邊界。為刻畫模糊糊性，每個(gè)個(gè)不精確概概念由一對(duì)對(duì)稱為上近近似與下近近似的精確確概念來表表示，它們們可用隸屬屬函數(shù)定義義12/31/202222粗糙集的基本本定義知識(shí)的分類觀觀點(diǎn)粗糙集理論假假定知識(shí)是一一種對(duì)對(duì)象進(jìn)進(jìn)行分類的能能力。而知識(shí)識(shí)必須與具體體或抽象世界界的特定部分分相關(guān)的各種種分類模式聯(lián)聯(lián)系在一起，，這種特定部部分稱之為所所討論的全域或論域(universe)。為數(shù)學(xué)處理方方便起見，在在下面的定義義中用等價(jià)關(guān)關(guān)系來代替分分類。12/31/202223粗糙集的基本本定義定義1一個(gè)近似空間(approximatespace)(或知識(shí)庫)定義為一個(gè)個(gè)關(guān)系系統(tǒng)(或二元組)K=(U,R)，其中U(為空集)是一一個(gè)被稱為全全域或論域(universe)的所有要討論論的個(gè)體的集集合，R是U上等價(jià)關(guān)系的的一個(gè)族集。。定義2設(shè)PR，且P，P中所有等價(jià)關(guān)關(guān)系的交集稱稱為P上的一種不分分明關(guān)系(indiscernbilityrelation)（或稱不可區(qū)區(qū)分關(guān)系），，記作IND(P)12/31/202224粗糙集的基本本定義定義3給定近似空間間K=(U,R)，子集XU稱為U上的一個(gè)概念(concept)，形式上，空空集也視為一一個(gè)概念；非非空子族集PR所產(chǎn)生的不分分明關(guān)系IND(P)的所有等價(jià)類類關(guān)系的集合合即U/IND(P)，稱為基本知識(shí)(basicknowledge)，相應(yīng)的等價(jià)價(jià)類稱為基本概念(basicconcept)；特別地，若若關(guān)系QR，則關(guān)系Q就稱為初等知識(shí)(elementaryknowledge)，相應(yīng)的等價(jià)價(jià)類就稱為初等概念(elementaryconcept)。12/31/202225上近近似似、、下下近近似似和和邊邊界界區(qū)區(qū)域域定義義5:X的的下下近近似似：：R*(X)={x:(xU)([x]RX)}X的的上上近近似似：：R*(X)={x:(xU)([x]RX)}X的的邊邊界界區(qū)區(qū)域域：：BNR(X)=R*(X)––R*(X)若BNR(X)，，則集集合合X就就是是一一個(gè)個(gè)粗粗糙糙概概念念。。下下近近似似包包含含了了所所有有使使用用知知識(shí)識(shí)R可可確確切切分分類類到到X的的元元素素，，上上近近似似則則包包含含了了所所有有那那些些可可能能是是屬屬于于X的的元元素素。。概概念念的的邊邊界界區(qū)區(qū)域域由由不不能能肯肯定定分分類類到到這這個(gè)個(gè)概概念念或或其其補(bǔ)補(bǔ)集集中中的的所所有有元元素素組組成成。。POSR(X)=R*(X)稱稱為為集集合合X的的R-正區(qū)區(qū)域域，NEGR(X)=U––R*(X)稱稱為為集集合合X的的R-反區(qū)區(qū)域域。12/31/202226Lower&UpperApproximations(2)LowerApproximation:UpperApproximation:上近近似似、、下下近近似似和和邊邊界界區(qū)區(qū)域域12/31/202227新型的的隸屬屬關(guān)系系傳統(tǒng)集集合論論中，，一個(gè)個(gè)元素素的隸隸屬函函數(shù)X(x){0,1}。而而粗糙糙集理理論中中，X(x)[0,1]定義4設(shè)XU且xU,集合X的粗糙隸隸屬函函數(shù)(roughmembershipfunction)定義為為其中R是不不分明明關(guān)系系，R(x)=[x]R={y:(yU)(yRx)}=1當(dāng)當(dāng)且僅僅當(dāng)[x]RX>0當(dāng)當(dāng)且僅僅當(dāng)[x]RX=0當(dāng)當(dāng)且僅僅當(dāng)[x]RX=12/31/202228隸屬關(guān)系顯然有[0,1]。。我們可以以看到，這這里的隸屬屬關(guān)系是根根據(jù)已有的的分類知識(shí)識(shí)客觀計(jì)算算出來的，，可以被解解釋為一種種條件概率率，能夠從從全域上的的個(gè)體加以以計(jì)算，而而不是主觀觀給定的。。12/31/202229集近似實(shí)實(shí)例SetApproximationLetW={x|Walk(x)=yes}.Thedecisionclass,Walk,isroughsincetheboundaryregionisnotempty.AgeLEMSWalkx１16-3050yesx216-300nox331-451-25nox431-451-25yesx546-6026-49nox616-3026-49yesx746-6026-49no12/31/202230集近似實(shí)實(shí)例SetApproximation(2)yesyes/nono{{x1},{x6}}{{x3,x4}}{{x2},{x5,x7}}AW12/31/202231UsetＸU/RR:subsetofattributes粗糙集近似圖圖示12/31/202232Lower&Upper近似(3)X1={u|Flu(u)=yes}={u2,u3,u6,u7}RX1={u2,u3}={u2,u3,u6,u7,u8,u5}X2={u|Flu(u)=no}={u1,u4,u5,u8}RX2={u1,u4}={u1,u4,u5,u8,u7,u6}TheindiscernibilityclassesdefinedbyR={Headache,Temp.}are{u1},{u2},{u3},{u4},{u5,u7},{u6,u8}.12/31/202233Lower&Upper近似(4)R={Headache,Temp.}U/R={{u1},{u2},{u3},{u4},{u5,u7},{u6,u8}}X1={u|Flu(u)=yes}={u2,u3,u6,u7}X2={u|Flu(u)=no}={u1,u4,u5,u8}RX1={u2,u3}={u2,u3,u6,u7,u8,u5}RX2={u1,u4}={u1,u4,u5,u8,u7,u6}u1u4u3X1X2u5u7u2u6u812/31/202234例1：設(shè)有一一知識(shí)識(shí)庫K={U,{p,q,r}}﹐其其中U={x1,x2,x3,x4,x5,x6,x7,x8}﹐且U/p={{x1,x4,x5},{x2,x8},{x3},{x6,x7}}U/q={{x1,x3,x5},{x6},{x2,x4,x7,x8}}U/r={{x1,x5},{x6},{x2,x7,x8},{x3,x4}}則[x1]p={x1,x4,x5}﹐[x1]q={x1,x3,x5}。。若P={p,q,r}﹐﹐則IND(P)={{x1,x5},{x2,x8},{x3},{x4},{x6},{x7}}對(duì)于U上的的子集集X1={x1,x4,x7}﹐可可得到到P*X1={x4}∪{x7}={x4,x7}P*X1={x1,x5}∪{x4}∪{x7}={x1,x4,x5,x7}Lower&Upper近似似(5)12/31/202235近似似度度AccuracyofApproximationwhere|X|denotesthecardinalityofObviouslyIfXiscrispwithrespecttoB.IfXisroughwithrespecttoB.12/31/202236近似性質(zhì)質(zhì)PropertiesofApproximationsimpliesand12/31/202237近似性質(zhì)質(zhì)PropertiesofApproximations(2)where-XdenotesU-X.12/31/202238三、知知識(shí)的約約簡(jiǎn)一般約簡(jiǎn)簡(jiǎn)定義6設(shè)R是等價(jià)價(jià)關(guān)系系的一一個(gè)族族集，，且設(shè)設(shè)RR。若IND(R)=IND(R–R)，則稱稱關(guān)系系R在族集集R之中是是可省的(dispensable)﹐否則則就是是不可省省的。若若族集集R中的每每個(gè)關(guān)關(guān)系R都是不不可省省的﹐﹐則稱稱族集集R是獨(dú)立的的(independent)﹐否則則就是是依賴的的或非獨(dú)立立的。定義7若QP是獨(dú)立立的﹐﹐并且且IND(Q)=IND(P)﹐則稱稱Q是關(guān)系系族集集P的一個(gè)個(gè)約簡(jiǎn)(reduct)。在族族集P中所有有不可可省的的關(guān)系系的集集合稱稱為P的核(core)﹐以CORE(P)來表示示。顯然，，族集集P有多個(gè)個(gè)約簡(jiǎn)簡(jiǎn)（約約簡(jiǎn)的的不唯唯一性性）。。定理1族集P的核等等于P的所有有約簡(jiǎn)簡(jiǎn)的交交集。。即CORE(P)=∩RED(P)12/31/202239例2：取前面的例1﹐若若P={p,q,r}﹐則IND(P)={{x1,x5},{x2,x8},{x3},{x4},{x6},{x7}}﹐IND(P-p})={{x1,x5},{x2,x7,x8},{x3},{x4},{x6}}IND(P)所以p是不不可省的﹐﹐同理可得得q、r是是可省的。。這樣﹐由由{p,q,r}三三個(gè)等價(jià)關(guān)關(guān)系組成的的集合和{p,q}、{p,r}定義義了相同的的不分明關(guān)關(guān)系。又IND({p,q})IND({p})﹐IND({p﹐q})IND({q})﹐則{p,q}和和{p,r}就是是P的約簡(jiǎn)﹐而且{p}是P的的核﹐也就就是說p是是絕對(duì)不能能省的三、知識(shí)識(shí)的約簡(jiǎn)12/31/202240相對(duì)約簡(jiǎn)定義8設(shè)P和Q是全域U上的等價(jià)關(guān)關(guān)系的族集集，所謂族族集Q的P-正區(qū)域(P-positiveregionofQ)，記作POSP(Q)=P*(X)族集Q的P-正區(qū)域域是全域U的的所有那些些使用分類類U/P所表達(dá)的知知識(shí)，能夠夠正確地分分類于U/Q的等價(jià)類之之中的對(duì)象象的集合。。定義9設(shè)P和Q是全域U上的等價(jià)關(guān)關(guān)系的族集集，RP。若POSIND(P)(IND(Q))=POSIND(P-{R})(IND(Q))則稱稱關(guān)系R在在族集P中是Q-可省的的﹐否則稱為為Q-不可省省的﹔如果在族族集P中的每個(gè)關(guān)關(guān)系R都是是Q-不可省的的﹐則稱P關(guān)于Q是獨(dú)立的﹐否則就稱稱為是依賴的。12/31/202241相對(duì)對(duì)約約簡(jiǎn)簡(jiǎn)定義義10SP稱為為P的Q-約約簡(jiǎn)簡(jiǎn)(Q-reduct)﹐﹐當(dāng)當(dāng)且且僅僅當(dāng)當(dāng)S是P的Q-獨(dú)立的子族族集﹐且POSS(Q)=POSP(Q)；族集P中的所有Q-不可省的初初等關(guān)系的集集合﹐稱為族族集P的Q-核(Q-core)﹐記作COREQ(P)。下面的定理是是定理1的拓廣。定理2族集P的Q-核等于族集集P的所有Q-約簡(jiǎn)的交集集。即COREQ(P)=REDQ(P)其中REDQ(P)是族集P的所有Q-約簡(jiǎn)的族集集。12/31/202242知識(shí)的依賴性性知識(shí)的依賴性性可形式定義義如下：定義11設(shè)K=(U,R)是一個(gè)近似似空間，P,QR。1)知識(shí)Q依賴于知識(shí)P或知識(shí)P可推導(dǎo)出知識(shí)Q，當(dāng)且僅當(dāng)IND(P)IND(Q)﹐記作PQ；2)知識(shí)P和知識(shí)Q是等價(jià)的﹐當(dāng)且僅當(dāng)PQ且QP﹐即IND(P)=IND(Q)﹐記作P=Q，明顯地，P=Q當(dāng)且僅當(dāng)IND(P)=IND(Q)；3)知識(shí)P和知識(shí)Q是獨(dú)立的，當(dāng)且僅當(dāng)PQ且QP均不成立，記記作PQ。12/31/202243知識(shí)的的依賴賴性依賴性性也可可以是是部分分成立立的﹐﹐也就就是從從知識(shí)識(shí)P能推導(dǎo)導(dǎo)出知知識(shí)Q的一部部分知知識(shí)，，或者者說知知識(shí)Q只有一一部分分依賴賴于知知識(shí)P的。部部分依依賴性性（部部分可可推導(dǎo)導(dǎo)性））可以以由知知識(shí)的的正區(qū)區(qū)域來來定義義?，F(xiàn)現(xiàn)在我我們形形式地地定義義部分分依賴賴性。。定義12設(shè)K=(U,R)是一一個(gè)知知識(shí)庫庫﹐P,QR﹐我們們稱知識(shí)Q以依依賴度度k(0k1)依賴于于知識(shí)識(shí)P﹐記作作PkQ﹐當(dāng)且且僅當(dāng)當(dāng)k=P(Q)=card(POSP(Q))/card(U)(6.8)(1)若k=1﹐﹐則稱稱知識(shí)識(shí)Q完全全依賴賴于知識(shí)P，P1Q也記成成PQ；(2)若0k1﹐則則稱知知識(shí)Q部分分依賴賴于知識(shí)P；(3)若k=0﹐﹐則稱稱知識(shí)識(shí)Q完全全獨(dú)立立于與知識(shí)識(shí)P。12/31/202244四、決決策策表的的約簡(jiǎn)簡(jiǎn)決策表表決策表表是一一類特特殊而而重要要的知知識(shí)表表達(dá)系系統(tǒng)，，它指指當(dāng)滿滿足某某些條條件時(shí)時(shí)，決決策（（行為為）應(yīng)應(yīng)當(dāng)怎怎樣進(jìn)進(jìn)行。。多數(shù)數(shù)決策策問題題都可可以用用決策策表形形式來來表示示，這這一工工具在在決策策應(yīng)用用中起起著重重要的的作用用。決策表表可以以定義義如下下：S=(U,A)為一一信息息系統(tǒng)統(tǒng)，且且C,DA是兩個(gè)個(gè)屬性性子集集，分分別稱稱為條條件屬屬性和和決策策屬性性，且且CD=A，CD=，，則該該信息息系統(tǒng)統(tǒng)稱為為決策表表，記記作T=(U,A,C,D)或簡(jiǎn)簡(jiǎn)稱CD決策表表。關(guān)關(guān)系IND(C)和關(guān)關(guān)系IND(D)的等價(jià)價(jià)類分別別稱為條條件類和和決策類類。12/31/202245

身高性別視力錄取e1高男差否e2高女一般是e3高男好是e4矮男差否e5矮女一般是e6矮男好是表1一一決策表表身高、性性別、視視力為條條件屬性性，錄取取為決策策屬性四、決決策表的的約簡(jiǎn)12/31/202246決策規(guī)則則決策表中中的每一一行對(duì)應(yīng)應(yīng)諸如形式的決決策規(guī)則則，和分別稱為為決策規(guī)規(guī)則的前前驅(qū)和后后繼。當(dāng)決策表表S中決決策規(guī)則則為真時(shí)，，我們說說該決策策規(guī)則是是S中一一致的，，否則說說該決策策規(guī)則是是S中不不一致的的。若決決策規(guī)則則是S中中一致的的，相同同的前驅(qū)驅(qū)必導(dǎo)致致相同的的后繼；；但同一一種后繼繼不一定定必需是是同一前前驅(qū)產(chǎn)生生的。如表1第第一行對(duì)對(duì)應(yīng)決策策規(guī)則：：身高(高高)性別(男男)視力(差差)錄取取(否)12/31/202247決策表的的一致性性命題1當(dāng)且僅當(dāng)當(dāng)CD，決策表T=(U,A,C,D)是一致的。。由命題1，很容易通通過計(jì)算條條件屬性和和決策屬性性間的依賴賴程度來檢檢查一致性性。當(dāng)依賴賴程度等于于1時(shí)，我們說說決策表是是一致的，，否則不一一致。12/31/202248決策表的分分解命題2每個(gè)決策表表T=(U,A,C,D)都可以唯一一分解為兩兩個(gè)決策表表T1=(U1,A,C,D)和T2=(U2,A,C,D)，這樣使得得表T1中C1D和T2中C0D。這里U1=POSC(D)，U2=BNC(X)，XU|IND(D)。由命題2可可見，假設(shè)設(shè)我們已計(jì)計(jì)算出條件件屬性的依依賴度，若若表的結(jié)果果不一致，，即依賴度度小于1，，則由命題題2可以將將表分解成成兩個(gè)子表表：其中一一個(gè)表完全全不一致，，依賴度為為0；另一一個(gè)表則完完全一致，，依賴度為為1。當(dāng)然然，只有依依賴度大于于0且不等等于1時(shí)，，這一分解解才能進(jìn)行行。12/31/202249表2不不一致決決策表a、b、c為條件屬屬性，d、、e為決策策屬性1、5產(chǎn)生生不一致Uabcde123456781022001112200111102210201220112111201101決策表的分分解12/31/202250表3完全全一致的決決策表Uabcde346720011110222201121112表4完完全不一致致的決策表表Uabcde125810220011121020101101決策表的分分解12/31/202251一致決策表的的約簡(jiǎn)在我們制定決決策時(shí)是否需需要全部的條條件屬性，能能否進(jìn)行決策策表的約簡(jiǎn)。。約簡(jiǎn)后的決決策表具有與與約簡(jiǎn)前的決決策表相同的的功能，但是是約簡(jiǎn)后的決決策表具有更更少的條件屬屬性。一致決策表的的約簡(jiǎn)步驟如如下：(1)對(duì)決策表進(jìn)行行條件屬性的的約簡(jiǎn)，即從從決策表中消消去某一列；；(主要研究究點(diǎn))(2)消去重復(fù)的行行；(3)消去去每一決策規(guī)規(guī)則中屬性的的冗余值。12/31/202252條件屬性的約約簡(jiǎn)A.Skowron提出出了分明矩陣，，使核核與約約簡(jiǎn)等等概念念的計(jì)計(jì)算較較為簡(jiǎn)簡(jiǎn)單，，主要要思想想：設(shè)S=(U,A)為一個(gè)個(gè)知識(shí)識(shí)表示示系統(tǒng)統(tǒng)，其其中U={x1,x2,…,xn}，xi為所討討論的的個(gè)體體，i=1,2,…,n，A={a1,a2,…,am}，aj為個(gè)體體所具具有的的屬性性，j=1,2,…,m。知識(shí)表表達(dá)系系統(tǒng)S的分明矩陣M(S)=[cij]n×n，其中中矩陣陣項(xiàng)定定義如如下：：cij={a∈A：a(xi)≠a(xj)，i,j=1,2,…,n}因此cij是個(gè)體體xi與xj有區(qū)別別的所所有屬屬性的的集合合12/31/202253分明矩矩陣對(duì)對(duì)應(yīng)的的核與與約簡(jiǎn)簡(jiǎn)核就可可以定定義為為分明明矩陣陣中所所有只只有一一個(gè)元元素的的矩陣陣項(xiàng)的的集合合，即即CORE(A)={a∈∈A：：cij=(a)，，對(duì)一一些i,j}相對(duì)于于集合合包含含關(guān)系系運(yùn)算算而言言，若若屬性性集合合BA是滿足足下列列條件件B∩cij≠，對(duì)于于M(S)中的任任一非非空項(xiàng)項(xiàng)cij≠的一個(gè)個(gè)最小小屬性性子集集，則則稱屬屬性集集合BA是A的一一個(gè)約約簡(jiǎn)。。換言之之，約約簡(jiǎn)是是這樣樣的最最小屬屬性子子集，，它能能夠區(qū)區(qū)分用用整個(gè)個(gè)屬性性集合合A可可區(qū)分分的所所有對(duì)對(duì)象。。12/31/202254Skowron的約約簡(jiǎn)方方法對(duì)于每每一個(gè)個(gè)分明明矩陣陣M(S)對(duì)應(yīng)唯唯一的的分明明函數(shù)數(shù)fM(S)﹙DiscernibilityFunction﹚，它它的定定義如如下：：信息系系統(tǒng)S的分明明函數(shù)數(shù)fM(S)是一個(gè)個(gè)有m-元變量量a1,…,am(ai∈A，i=1,…,m)的布爾爾函數(shù)數(shù)，它它是∨∨cij的合取取，∨∨cij是矩陣陣項(xiàng)cij中的各各元素素的析析取，，1≤j<i≤n且cij≠Φ。。根據(jù)分分明函函數(shù)與與約簡(jiǎn)簡(jiǎn)的對(duì)對(duì)應(yīng)關(guān)關(guān)系，，A.Skowron提出了了計(jì)算算信息息系統(tǒng)統(tǒng)S的約簡(jiǎn)簡(jiǎn)RED(S)的方法法：1）計(jì)算信信息系系統(tǒng)S的分明明矩陣陣M(S)2）計(jì)算與與分明明矩陣陣M(S)對(duì)應(yīng)的的分明明函數(shù)數(shù)fM(S)3））計(jì)計(jì)算算分明明函數(shù)數(shù)fM(S)的最最小小析析取取范范式式，，其其中中每每個(gè)個(gè)析析取取分分量量對(duì)對(duì)應(yīng)應(yīng)一一個(gè)個(gè)約約簡(jiǎn)簡(jiǎn)12/31/202255為了了對(duì)對(duì)決決策策表表進(jìn)進(jìn)行行約約簡(jiǎn)簡(jiǎn)，，可可以以采采用用分明明矩陣陣的的方方法法對(duì)對(duì)條條件件屬屬性性進(jìn)進(jìn)行行約約簡(jiǎn)簡(jiǎn)，，對(duì)對(duì)決決策策屬屬性性相相同同的的個(gè)個(gè)體體不不予予比比較較。?？伎紤]慮下下面面的的決決策策表表5，，條條件件屬屬性性為為a,b,c,d，，決決策策屬屬性性為為eU/Aabcdeu110210u200121u320210u400222u511210表5決策策表表約約簡(jiǎn)簡(jiǎn)12/31/202256表5對(duì)應(yīng)應(yīng)的分明矩陣uu1u2u3u4u5u1

u2a,c,d

u3

a,c,d

u4a,dca,d

u5

a,b,c,d

a,b,d

由下面的的分明矩陣很容容易得到到核為{c}，分明函數(shù)fM(S)為c∧(a∨d)，即(a∧c)∨(c∧d)，得到到兩個(gè)約約簡(jiǎn){a,c}和{c,d}決策表約約簡(jiǎn)12/31/202257表6根據(jù)得到的兩兩個(gè)約簡(jiǎn)，表表5可以簡(jiǎn)化化為表6和表表7U\Aaceu1120u2011u3220u4022u5120U\Acdeu1210u2121u3210u4222U5210表7決策表約簡(jiǎn)12/31/202258求最優(yōu)或次優(yōu)優(yōu)約簡(jiǎn)所有約簡(jiǎn)的計(jì)計(jì)算是NP-hard問題，因此運(yùn)運(yùn)用啟發(fā)信息息來簡(jiǎn)化計(jì)算算以找出最優(yōu)優(yōu)或次優(yōu)約簡(jiǎn)簡(jiǎn)是必要的?！，F(xiàn)在在求最優(yōu)優(yōu)或次優(yōu)約簡(jiǎn)簡(jiǎn)的算法一般般都使用核作作為計(jì)算約簡(jiǎn)簡(jiǎn)的出發(fā)點(diǎn)，，計(jì)算一個(gè)最最好的或者用用戶指定的最最小約簡(jiǎn)。算算法將屬性的的重要性作為為啟發(fā)規(guī)則，，按照屬性的的重要度從大大到小逐個(gè)加加入屬性，直直到該集合是是一個(gè)約簡(jiǎn)為為止。12/31/202259行的約簡(jiǎn)對(duì)決策表中中的重復(fù)的的行要?jiǎng)h除除，因?yàn)樗鼈兊臈l件件屬性和決決策屬性都都相同，都都表示同一一條決策規(guī)規(guī)則。另外外，決策規(guī)規(guī)則的列表表順序不是是本質(zhì)性的的，所以表表6、表7都可進(jìn)行行約簡(jiǎn)，如如表6可簡(jiǎn)簡(jiǎn)化為下表表：U\Aaceu1120u2011u3220u4022表812/31/202260屬性值的約約簡(jiǎn)對(duì)于決策表表而言，屬屬性值的約約簡(jiǎn)就是決決策規(guī)則的的約簡(jiǎn)。決決策規(guī)則的的約簡(jiǎn)是利利用決策邏邏輯消去每每個(gè)決策規(guī)規(guī)則的不必必要條件，它不是整整體上約簡(jiǎn)簡(jiǎn)屬性，而而是針對(duì)每每個(gè)決策規(guī)規(guī)則，去掉掉表達(dá)該規(guī)規(guī)則時(shí)的冗冗余屬性值值，即要計(jì)計(jì)算每條決決策規(guī)則的的核與約簡(jiǎn)簡(jiǎn)。12/31/202261非一一致致決決策策表表的的約約簡(jiǎn)簡(jiǎn)對(duì)于于一一致致的的決決策策表表比比較較容容易易處處理理，，在在進(jìn)進(jìn)行行約約簡(jiǎn)簡(jiǎn)時(shí)時(shí)，，只只要要判判斷斷去去掉掉某某個(gè)個(gè)屬屬性性或或某某個(gè)個(gè)屬屬性性值值時(shí)時(shí)是是否否會(huì)會(huì)導(dǎo)導(dǎo)致致不不一一致致規(guī)規(guī)則則的的產(chǎn)產(chǎn)生生。。而對(duì)對(duì)不不一一致致表表進(jìn)進(jìn)行行約約簡(jiǎn)簡(jiǎn)時(shí)時(shí)就就不不能能再再使使用用這這種種方方法法了了，，一一般般采采用用下下面面的的方方法法：：一一種種是是考考慮慮正正域域的的變變化化，，另另外外一一種種是是將將不不一一致致表表分分成成完完全全一一致致表表和和完完全全不不一一致致表表兩兩個(gè)個(gè)子子表表。非一一致致決決策策表表的的約約簡(jiǎn)簡(jiǎn)步步驟驟與與一一致致決決策策表表的的約約簡(jiǎn)簡(jiǎn)步步驟驟類類似似。。12/31/202262五、粗糙集集的擴(kuò)展模型型基本粗糙集理理論的主要存存在的問題是是：1)對(duì)原始數(shù)據(jù)本本身的模糊性性缺乏相應(yīng)的的處理能力；；2)對(duì)于粗糙集的的邊界區(qū)域的的刻畫過于簡(jiǎn)簡(jiǎn)單；3)粗粗糙集理論的的方法在可用用信息不完全全的情況下將將對(duì)象們歸類類于某一具體體的類，通常常分類是確定定的，但并未未提供數(shù)理統(tǒng)統(tǒng)計(jì)中所常用用的在一個(gè)給給定錯(cuò)誤率的的條件下將盡盡可能多的對(duì)對(duì)象進(jìn)行分類類的方法，而而實(shí)際中常常常遇到這類問問題。12/31/202263可變精度粗糙糙集模型W.Ziarko提出了了一種稱之為為可變精度粗粗糙集模型，，該模型給出出了錯(cuò)誤率低低于預(yù)先給定定值的分類策策略，定義了了該精度下的的正區(qū)域、邊邊界區(qū)域和負(fù)負(fù)區(qū)域。下面面扼要地介紹紹其思想：一般地，集合合X包含于Y并未反映出集集合X的元素屬于集集合Y的“多少”。。為此，VPRS定義了它的量量度：C(X,Y)=1–card(XY)/card(X)當(dāng)card(x)>0，C(X,Y)=0當(dāng)card(x)=0。C(X,Y)表示把集集合X歸類于于集合Y的誤誤分類度，即即有C(X,Y)100%的元元素歸類錯(cuò)誤誤。顯然，C(X,Y)=0時(shí)有有XY。如此，可可事先給定一一錯(cuò)誤分類率率(0<0.5)，，基于上述定定義，我們有有XY，當(dāng)且僅當(dāng)當(dāng)C(X,Y)。12/31/202264可變精精度粗粗糙集集模型型在此基基礎(chǔ)上上，設(shè)設(shè)U為論域域且R為U上的等等價(jià)關(guān)關(guān)系，，U/R=A={X1,X2,…,Xk}，這樣，可可定義集合合X的-下近似為RX=Xi(XiX,i=1,2,…,k)或RX=Xi(C(Xi,X),i=1,2,…,k)，并且RX稱為集合X的-正區(qū)域，集合X的-上近似為RX=Xi(C(Xi,X)<1–,i=1,2,…,k)，這樣，-邊界區(qū)域就定義為：：BNRX=Xi(<C(Xi,X)<1–)；-負(fù)區(qū)域?yàn)椋篘EGRX=Xi(C(Xi,X)1–)。以此類推，，我們還可可以定義-依賴、-約簡(jiǎn)等與傳統(tǒng)粗粗糙集模型型相對(duì)應(yīng)的的概念。12/31/202265相似模型型在數(shù)據(jù)中中存在缺缺失的屬屬性值的的時(shí)候（（在數(shù)據(jù)據(jù)庫中很很普遍）），不分分明關(guān)系系或等價(jià)價(jià)關(guān)系無無法處理理這種情情形。為為擴(kuò)展粗粗糙集的的能力，，有許多多作者提提出了用用相似關(guān)關(guān)系來代代替不分分明關(guān)系系作為粗粗糙集的的基礎(chǔ)。。在使用相相似關(guān)系系代替粗粗糙集的的不分明明關(guān)系后后，最重重要的變變化就是是相似類類不再形形成對(duì)集集合的劃劃分了，，它們之之間是相相互重疊疊的。類類似于等等價(jià)類，，可以定定義相似似集，即即所有和和某各元元素x在在屬性集集合B上上相似的的集合SIMb(x)。。值得注注意的是是SIMb(x)中中的元素素不一定定屬于同同一決策策類，因因此還還需要定定義相似似決策類類，即相相似集對(duì)對(duì)應(yīng)的決決策類集集合。12/31/202266基于粗糙集的的非單調(diào)邏輯輯自粗糙集理論論提出以來，，粗糙集理論論的研究者都都很重視它的的邏輯研究，，試圖通過粗粗糙集建立粗粗糙邏輯，也也相應(yīng)地發(fā)表表了一系列的的粗糙邏輯方方面的論文。12/31/202267與其其它它數(shù)數(shù)學(xué)學(xué)工工具具的的結(jié)結(jié)合合D.Dudios和H.Prade由此此提提出出了了RoughFuzzySet和FuzzyRoughSet的概概念念A(yù).Skowron和J.Grazymala-Buss認(rèn)為為，，粗粗糙糙集集理理論論可可以以看看作作證證據(jù)據(jù)理理論論的的基基礎(chǔ)礎(chǔ)。。并并在在粗粗糙糙集集理理論論的的框框架架上上重重新新解解釋釋了了證證據(jù)據(jù)理理論論的的基基本本概概念念，，特特別別是是用用上上近近似似和和下下近近似似的的術(shù)術(shù)語語解解釋釋了了信信念念(belief)和似似然然(plausibility)函數(shù)數(shù)，，進(jìn)進(jìn)而而討討論論了了兩兩者者之之間間的的互互補(bǔ)補(bǔ)問問題題。。12/31/202268六、、粗粗糙糙集集的的實(shí)實(shí)驗(yàn)驗(yàn)系系統(tǒng)統(tǒng)在過過去去幾幾年年中中，，建建立立了了不不少少基基于于粗粗糙糙集集的的KDD系系統(tǒng)統(tǒng)，，其其中中最最有有代代表表性性的的有有LERS、、ROSE、、KDD-R等等。。1．．LERSLERS(LearningfromexamplesbasedonRoughSet)系系統(tǒng)統(tǒng)是是美美國(guó)國(guó)Kansas大大學(xué)學(xué)開開發(fā)發(fā)的的基基于于粗粗糙糙集集的的實(shí)實(shí)例例學(xué)學(xué)習(xí)習(xí)系系統(tǒng)統(tǒng)。。它它是是用用CommonLisp在在VAX9000上上實(shí)實(shí)現(xiàn)現(xiàn)的的。。LERS已已經(jīng)經(jīng)為為NASA的的Johnson空空間間中中心心應(yīng)應(yīng)用用了了兩兩年年。。此此外外，，LERS還還被被廣廣泛泛地地用用于于環(huán)環(huán)境境保保護(hù)護(hù)、、氣氣候候研研究究和和醫(yī)醫(yī)療療研研究究12/31/202269六、、粗粗糙糙集集的的實(shí)實(shí)驗(yàn)驗(yàn)系系統(tǒng)統(tǒng)2．．ROSE波蘭蘭Poznan科科技技大大學(xué)學(xué)基基于于粗粗糙糙集集開開發(fā)發(fā)了了ROSE(RoughSetdataExplorer),用用于于決決策策分分析析。。它它是是RoughDas&RoughClass系系統(tǒng)統(tǒng)的的新新版版，，其其中中RoughDas執(zhí)執(zhí)行行信信息息系系統(tǒng)統(tǒng)數(shù)數(shù)據(jù)據(jù)分分析析任任務(wù)務(wù)，，RoughClass支支持持新新對(duì)對(duì)象象的的分分類類，，這這兩兩個(gè)個(gè)系系統(tǒng)統(tǒng)已已經(jīng)經(jīng)在在許許多多實(shí)實(shí)際際領(lǐng)領(lǐng)域域中中得得到到應(yīng)應(yīng)用用。。3．KDD—RKDD-R是由由加拿拿大的的Regina大學(xué)學(xué)開發(fā)發(fā)的基基于可可變精精度粗粗糙集集模型型，采采用知知識(shí)發(fā)發(fā)現(xiàn)的的決策策矩陣陣方法法開發(fā)發(fā)了KDD-R系統(tǒng)統(tǒng)，這這個(gè)系系統(tǒng)被被用來來對(duì)醫(yī)醫(yī)學(xué)數(shù)數(shù)據(jù)分分析，，以此此產(chǎn)生生癥狀狀與病病證之之間新新的聯(lián)聯(lián)系，，另外外它還還支持持電信信工業(yè)業(yè)的市市場(chǎng)研研究。。12/31/202270七、粒粒度計(jì)計(jì)算粒度計(jì)計(jì)算從從廣義義上來來說是是一種種看待待客觀觀世界界的世世界觀觀和方方法論論。粒度計(jì)計(jì)算的的基本本思想想就是使使用粒而不是是對(duì)象為計(jì)算算單元元，使使用粒粒、粒粒集以以及粒粒間關(guān)關(guān)系進(jìn)進(jìn)行計(jì)計(jì)算或或問題題求解解。12/31/202271粒度計(jì)計(jì)算1997年年LotfiA.Zadeh提提出了了粒度度的概概念，，他認(rèn)認(rèn)為在在人類類認(rèn)知知中存存在三三種概概念：：粒度度，組組織與與因果果關(guān)系系。從從直觀觀的來來講，，?；婕凹暗綇膹恼w體到部部分的的分解解，而而組織織卻是是從部部分到到整體體的集集成，，而因因果關(guān)關(guān)系涉涉及原原因與與結(jié)果果之間間的聯(lián)聯(lián)系。。對(duì)一一個(gè)事事物的的粒化化就是是以可可分辨辨性、、相似似性、、鄰近近性與與功能能性集集聚有有關(guān)的的事物物。粒度計(jì)計(jì)算是是信息息處理理的一一種新新的概概念和和計(jì)算算范式式，覆覆蓋了了所有有有關(guān)關(guān)粒度度的理理論、、方法法、技技術(shù)和和工具具的研研究，，主要要用于于處理理不確確定的的、模模糊的的、不不完整整的和和海量量的信信息。。粗略略地講講，一一方面面它是是模糊糊信息息粒度度理論論、粗粗糙集集理論論、商商空間間理論論、區(qū)區(qū)間計(jì)計(jì)算等等的超超集，，另一一方面面是粒粒度數(shù)數(shù)學(xué)的的子集集。具具體地地講，，凡是是在分分析問問題和和求解解問題題中，，應(yīng)用用了分分組、、分類類、聚聚類以以及層層次化化手段段的一一切理理論與與方法法均屬屬于粒粒度計(jì)計(jì)算的的范疇疇。信信息粒粒度在在粒度度計(jì)算算，詞詞計(jì)算算，感感知計(jì)計(jì)算理理論和和精化化自然然語言言中都都有反反映12/31/202272粒度計(jì)算算的必要要性從哲學(xué)的的角度看看Yager和Filev指出出“人類類已經(jīng)形形成了世世界就是是一個(gè)粒粒度的觀觀點(diǎn)”以以及““人們觀觀察、度度量、定定義和推推理的實(shí)實(shí)體都是是粒度””。信息粒粒是一種種抽象，，它如同同數(shù)學(xué)中中的“點(diǎn)點(diǎn)”、““線”、、“面””一樣，，在人類類的思維維和活動(dòng)動(dòng)中占有有重要地地位。從人工智智能的角角度看張鈸院士士指出““人類智智能的公公認(rèn)特點(diǎn)點(diǎn)，就是是人們能能從極不不相同的的粒度上上觀察和和分析同同一問題題。人們們不僅能能在不同同粒度的的世界上上進(jìn)行問問題求解解，而且且能夠很很快地從從一個(gè)粒粒度世界界跳到另另一個(gè)粒粒度的世世界，往往返自如如，毫無無困難。。這種處處理不同同世界的的能力，，正是人人類問題題求解的的強(qiáng)有力力的表現(xiàn)現(xiàn)”。12/31/202273粒度計(jì)算算的必要要性從優(yōu)化論論的角度度來看粒度計(jì)算算的理論論與方法法在觀念念上突破破了傳統(tǒng)統(tǒng)優(yōu)化思思想的束束縛，不不再以數(shù)數(shù)學(xué)上的的精確解解為目標(biāo)標(biāo)，即：：需要的的是很好好地理解解和刻畫畫一個(gè)問問題，而而不是沉沉溺于那那些用處處不大的的細(xì)節(jié)信信息上。。粒度計(jì)計(jì)算的方方法不要要求目標(biāo)標(biāo)函數(shù)和和約束函函數(shù)的連連續(xù)性與與凸性，，甚至有有時(shí)連解解析表達(dá)達(dá)式都不不要求，，而且對(duì)對(duì)計(jì)算中中數(shù)據(jù)的的不確定定性也有有很強(qiáng)地地適應(yīng)能能力，計(jì)計(jì)算速度度也快，，這些優(yōu)優(yōu)點(diǎn)使粒粒度計(jì)算算具有更更廣泛地地應(yīng)用前前景，所所以，粒粒度計(jì)算算理論的的研究對(duì)對(duì)推動(dòng)優(yōu)優(yōu)化領(lǐng)域域的發(fā)展展極其重重要。12/31/202274粒度計(jì)算的必必要性從問題求解的的角度看用粒度計(jì)算的的觀點(diǎn)來分析析解決問題顯顯得尤為重要要，這樣就不不用局限于具具體對(duì)象的細(xì)細(xì)節(jié)。除此之之外，將復(fù)雜雜問題劃分為為一系列更容容易管理和更更小的子任務(wù)務(wù)，可以降低低全局計(jì)算代代價(jià)。從應(yīng)用技術(shù)的的角度看圖像處理、語語音與字符識(shí)識(shí)別等，是計(jì)計(jì)算機(jī)多媒體體的核心技術(shù)術(shù)。這些信息息處理質(zhì)量的的好壞直接依依賴于分割的的方法和技術(shù)術(shù)，而粒度計(jì)算算的研究或許許能夠解決這這一問題。12/31/202275粒度計(jì)算的基基本問題兩大問題粒的構(gòu)造：處理粒的形成成、表