粗糙近似算子的性質(zhì)與公理化刻畫【畢業(yè)論文】

1、<p>　　本科畢業(yè)設(shè)計(jì)(論文)</p><p>　題 目：粗糙近似算子的性質(zhì)與公理化刻畫</p><p>　學(xué) 院：</p><p>　學(xué)生姓名：</p><p>　專 業(yè)：信息與計(jì)算科學(xué)</p><p>　班 級(jí)：</p><p>　指導(dǎo)教師：</p&

2、gt;<p>　起止日期：</p><p><b>　　摘要</b></p><p>　　粗糙集理論是一種研究不完整、不確定知識(shí)處理的數(shù)學(xué)工具, 近幾年來在機(jī)器學(xué)習(xí)、知識(shí)發(fā)現(xiàn)、算法研究、工程應(yīng)用、決策支持系統(tǒng)以及模式識(shí)別等應(yīng)用中取得了較好的成果. 在Pswlsk粗糙集理論中, 下近似和上近似并非最基本的概念, 粗糙集理論中所產(chǎn)生的代數(shù)系統(tǒng)是最主要的研究,

3、 利用一個(gè)公理化來刻畫上、下近似算子, 表示公理集和這個(gè)條件下所產(chǎn)生的代數(shù)系統(tǒng)之間的聯(lián)系的粗糙集理論研究方法被稱為公理化方法. 本文主要研究粗糙近似算子的性質(zhì)與公理化刻畫. 在粗糙集理論中有兩種方法來推廣定義近似算子: 構(gòu)造性方法和公理化方法. 給出了在一般模糊環(huán)境下各種粗糙近似算子的定義, 得到了這些近似算子的表示.</p><p>　　關(guān)鍵詞: 粗糙集; 近似算子; 近似空間; 公理化刻畫</p>

4、<p>　　Rough approximation operator properties and axiomatic characterization</p><p><b>　　Abstract</b></p><p>　　Rough Set Theory is a kind of mathematical tool to deal with the

5、 incomplete and indefinite knowledge processing, which has borne fruit recently in the application to machine learning, knowledge discovery, algorithm research, engineering application, decision supporting system and pat

6、tern recognition. Lower approximation and upper approximation are not the most basic concepts in Pawlak’s Rough Set Theory while algebra system induced by that theory is the main idea which uses axiomatization to dep<

7、/p><p>　　Keywords: Rough set; Approximation operators; Approximation space; Axiomatic depiction</p><p><b>　　目錄</b></p><p><b>　　摘要0</b></p><p>　　Ab

8、stractII</p><p><b>　　1 前言1</b></p><p>　　1.1 粗糙集的簡(jiǎn)介1</p><p>　　1.2 公理化方法的應(yīng)用1</p><p>　　1.3 論文的組織結(jié)構(gòu)2</p><p>　　2粗糙近似算子及其性質(zhì)3</p><

9、p>　　2.1 廣義粗糙近似算子的定義3</p><p>　　2.2 粗糙近似算子與二元關(guān)系的等價(jià)刻畫6</p><p>　　3粗糙近似算子的公理化刻畫10</p><p>　　3.1 近似算子的公理化刻畫10</p><p>　　3.2 粗糙集理論的公理化刻畫11</p><p><b&

10、gt;　　4 小結(jié)17</b></p><p><b>　　參考文獻(xiàn)18</b></p><p><b>　　致謝19</b></p><p><b>　　1 前言</b></p><p>　　1.1 粗糙集的簡(jiǎn)介</p><p>　

11、　1982年, 波蘭數(shù)學(xué)家Pawlak Z發(fā)表了經(jīng)典論文Rough Sets, 粗糙集理論于此誕生. 在這之后, 許多數(shù)學(xué)家, 計(jì)算機(jī)研究人員和邏輯學(xué)家對(duì)粗糙集產(chǎn)生了很大的興趣, 并在粗糙集的理論和應(yīng)用方面做了大量的研究. 1991年P(guān)awlak Z的專著出版, 使得粗糙集在各個(gè)領(lǐng)域中的應(yīng)用向前推進(jìn). 此后也召開了一些粗糙集的會(huì)議, 第一屆關(guān)于粗糙集理論國際學(xué)術(shù)會(huì)議在波蘭召開. 1995年, ACM Communication將其列為新

12、浮現(xiàn)的計(jì)算機(jī)科學(xué)的研究課題. 1998年, 國際信息科學(xué)雜志(Information Sciences)還為粗糙集理論的研究出了一期專輯. 這些大大地促進(jìn)了粗糙集的發(fā)展.</p><p>　　粗糙集的實(shí)用性很強(qiáng), 粗糙集從產(chǎn)生到現(xiàn)在雖然只有短暫的十幾年的時(shí)間, 但是已經(jīng)取得了很多的成果. 它在機(jī)器學(xué)習(xí)、知識(shí)發(fā)現(xiàn)與數(shù)據(jù)挖掘、模式識(shí)別、決策分析、本體近似等領(lǐng)域廣泛應(yīng)用, 粗糙集理論的研究逐漸趨于熱化.</p&g

13、t;<p>　　1.2 公理化方法的應(yīng)用</p><p>　　在Pawlak粗糙集模型中, 等價(jià)關(guān)系在論域上有著至關(guān)重要的作用. 劃分在等價(jià)關(guān)系上的形成, 構(gòu)造了論域上的上、下近似算子. 用來刻畫不精確的概念, 并且進(jìn)一步的研究相應(yīng)的知識(shí)來獲取問題. 但在很多實(shí)際的問題中, 很難構(gòu)造對(duì)象之間的等價(jià)關(guān)系, 或者對(duì)象之間在本質(zhì)上并不存在等價(jià)關(guān)系. 為了推廣粗糙集理論的應(yīng)用范圍, 根據(jù)具體的問題, 人們

14、對(duì)Pawlak粗糙集模型進(jìn)行了許多形式的推廣. </p><p>　　通常研究粗糙集近似算子有兩種方法: 構(gòu)造性方法與公理化方法. 構(gòu)造性方法的主要思路是從給定的近似空間出發(fā)去研究粗糙集和近似算子, 然后導(dǎo)出粗糙集代數(shù)系統(tǒng)[6,7]. 公理化方法的基本要素是滿足某些公里集的近似算子, 即事先給定粗糙集代數(shù)系統(tǒng), 然后再去找通過構(gòu)造性方法定義的近似算子以及由它導(dǎo)出的粗糙集的二元關(guān)系, 這個(gè)就是事先就給定的一個(gè)近似算

15、子和粗糙集代數(shù)系統(tǒng).</p><p>　　最早研究粗糙集用公理化方法的是我國的劉清及其國際合作者Lin[8], 因?yàn)樗麄兊贸龅牡墓砑遣华?dú)立的, 祝峰與何華燦[9]就對(duì)公理化方法又進(jìn)行了改進(jìn). Thieie[10]與Yao[11]分別對(duì)于一般關(guān)系下的經(jīng)典粗糙近似算子與公理化作了比較完整的刻畫.</p><p>　　研究粗糙集結(jié)構(gòu)主要有構(gòu)造性方法和公理化方法. 研究粗糙集理論的大部分前期的

16、工作都是構(gòu)造性方法, 這種方法具有較強(qiáng)的應(yīng)用背景, 因?yàn)橐恍?shí)際例子的需要, 也常常產(chǎn)生一些問題, 它的缺點(diǎn)是不易比較深入了解粗糙集的代數(shù)結(jié)構(gòu). 與構(gòu)造性不同, 用公理化方法研究粗糙集就少了很多工作, 公理化方法所顯示的形式的簡(jiǎn)潔性、條理性和結(jié)構(gòu)的和諧性確實(shí)符合美學(xué)上的要求, 因而為數(shù)學(xué)活動(dòng)中貫徹審美原則提供了范例</p><p>　　1.3 論文的組織結(jié)構(gòu)</p><p>　　本文用構(gòu)

17、造性方法和公理化研究粗糙集, 由一個(gè)一般二元經(jīng)典關(guān)系出發(fā)構(gòu)造性定義一對(duì)對(duì)偶粗糙近似算子, 討論了粗糙近似算子的性質(zhì), 并且由各種類型的二元關(guān)系通過構(gòu)造得到各種類型的粗糙集代數(shù), 用公理形式定義粗糙近似算子. 對(duì)于各種粗糙近似算子的公理化刻畫做了總結(jié), 在有限論域中給出了經(jīng)典粗糙近似算子的構(gòu)造性定義并獲得刻畫這些近似算子的獨(dú)立公理集. 闡明了近似算子的公理集可以保證找到相應(yīng)的二元經(jīng)典關(guān)系, 使得由關(guān)系通過構(gòu)造性方法定義的粗糙近似算子恰好

18、就是用公理化定義的近似算子.</p><p>　　2 廣義粗糙近似算子及其性質(zhì)</p><p>　　2.1 廣義粗糙近似算子的定義</p><p>　　定義2.1 設(shè)和是兩個(gè)非空有限論域. 稱子集表示的冪集是從到上的一個(gè)經(jīng)典二元關(guān)系. 稱關(guān)系是串行的(serial), 若對(duì)于任意存在使得; 若, 稱是上的一個(gè)二元關(guān)系. 稱是自反的, 若對(duì)于任意有; 稱對(duì)稱的, 若

19、對(duì)于任意, 蘊(yùn)含; 稱是傳遞的, 若對(duì)于任意,和蘊(yùn)含; 稱是歐幾里得的(Euclidean), 若對(duì)于任意, 和蘊(yùn)含; 稱是等價(jià)的, 若是自反、對(duì)稱和傳遞的二元關(guān)系.</p><p>　　設(shè)是從到上的一個(gè)二元關(guān)系. 我們定義一個(gè)集值函數(shù)如下:</p><p><b>　　, .</b></p><p>　　稱為關(guān)于的后繼領(lǐng)域. 顯然, 任意一個(gè)

20、從到的集值函數(shù)都可以定義一個(gè)二元關(guān)系. 由集值函數(shù), 我們可以定義一個(gè)基本集分配（又稱為關(guān)系劃分函數(shù)）,</p><p><b>　　, .</b></p><p><b>　　易證滿足性質(zhì):</b></p><p>　　(J1) , </p><p><b>　　(J2) .&l

21、t;/b></p><p>　　定義2.2 設(shè)是從到上的一個(gè)經(jīng)典二元關(guān)系, 稱三元組是一個(gè)廣義經(jīng)典近似空間. 對(duì)于任意, 關(guān)于的下似和上似分別定義如下:</p><p><b>　　,</b></p><p><b>　　.</b></p><p>　　稱是關(guān)于的（廣義）粗糙集,分別稱和為下

22、近似算子和上近似算子. </p><p>　　顯然, 如果, 是上的等價(jià)關(guān)系, 那么對(duì)于有, </p><p><b>　　,</b></p><p><b>　　.</b></p><p>　　故廣義近似算子是Pawlak經(jīng)典近似算子的推廣形式.</p><p>　　定理2

23、.1 [12-14] 設(shè)和是從到上的二元經(jīng)典關(guān)系, 那么廣義粗糙近似算子滿</p><p>　　足以下性質(zhì): 對(duì)于,</p><p><b>　　(LP) ,</b></p><p><b>　　(UP) ;</b></p><p><b>　　(L1) ,</b></

24、p><p><b>　　(U1) ;</b></p><p><b>　　(L2) ,</b></p><p><b>　　(U2) ;</b></p><p><b>　　(L3) ,</b></p><p><b>　　(

25、U3) ;</b></p><p><b>　　(L4) ,</b></p><p><b>　　(U4) ;</b></p><p><b>　　(L5) ,</b></p><p><b>　　(U5) .</b></p>&

26、lt;p>　　定理2.2 設(shè)是有限非空論域, 是上的二元關(guān)系, 則:</p><p><b>　　(1) , ;</b></p><p><b>　　(2) , ;</b></p><p>　　(3) , ; , ;</p><p><b>　　(4) , , ;</b&g

27、t;</p><p>　　(5) , , , ;</p><p>　　其中是任意指標(biāo)集, 性質(zhì)(1)稱為近似算子的對(duì)偶性質(zhì).</p><p>　　證明(1) 設(shè), 因?yàn)?lt;/p><p><b>　　,</b></p><p>　　所以. 用代替中的即得.</p><p>　

28、　(2) 若, 則存在, 由定義得, 矛盾！所以. 由得, 即, 從而.</p><p><b>　　(3) 因?yàn)?lt;/b></p><p><b>　　,</b></p><p><b>　　所以.</b></p><p><b>　　同理,</b><

29、;/p><p><b>　　,</b></p><p><b>　　,</b></p><p><b>　　所以.</b></p><p>　　(4) , 由定義, 而,于是, 從而, 所以, . 由對(duì)偶性質(zhì)和易推得.</p><p>　　(5) 由和性質(zhì)(

30、4)得到, 從而. 同理可得.</p><p>　　引理2.1 設(shè)是有限非空論域, 是上的二元關(guān)系, 則, 有</p><p><b>　　.</b></p><p>　　證明 因?yàn)閷?duì)于任意,</p><p><b>　　所以, </b></p><p><b>

31、　　.</b></p><p>　　2.2 粗糙近似算子與二元關(guān)系的等價(jià)刻畫</p><p>　　定理2.3 設(shè)是有限非空論域, 是上的二元關(guān)系, 則以下等價(jià):</p><p><b>　　(1) 是串行的;</b></p><p><b>　　(2) ;</b></p>

32、<p><b>　　(3) ;</b></p><p><b>　　(4) .</b></p><p>　　證明 “(1) (2)” , 通過定義知. 因?yàn)槭谴械? 即, 因此, 即, 故.</p><p>　　“(2) (1)” 反證, 若存在, 使, 由,, 即, , 因此, 這與(2)成立矛盾, 所

33、以是串行的.</p><p>　　“(2) (3)” 利用定理2.2的對(duì)偶性質(zhì)有</p><p>　　即(2) (3).</p><p>　　“(3) (4)” 利用定理2.2的對(duì)偶性質(zhì)有</p><p><b>　　.</b></p><p>　　定理2.4 設(shè)是有限非空論域, 是上的二

34、元關(guān)系, 則以下等價(jià):</p><p><b>　　(1) 是自反的;</b></p><p><b>　　(2) , ;</b></p><p><b>　　(3) , .</b></p><p>　　證明 “(1) (2)” 設(shè), 由定義得. 又因?yàn)槭亲苑吹? 所以, 從

35、而, 因此.</p><p>　　“(2) (3)” , 由(2)得, 從而由對(duì)偶性質(zhì)得</p><p><b>　　.</b></p><p>　　“(3) (1)” , 由(3)得, 由定理2.2可得, 從而, 所以是自反的.</p><p>　　定理2.5 設(shè)是有限非空論域, 是上的二元關(guān)系, 則以下等價(jià):&

36、lt;/p><p>　　(1) 是逆串行的;</p><p><b>　　(2) ,;</b></p><p><b>　　(3) .</b></p><p>　　證明 由定理2.2得, </p><p>　　是逆串行 , </p><p&

37、gt;<b>　　.</b></p><p>　　定理2.6 設(shè)是有限非空論域, 是上的二元關(guān)系, 則以下等價(jià):</p><p>　　(1) 是傳遞的; </p><p><b>　　(2) , ;</b></p><p><b>　　(3) , .</b></p>

38、;<p>　　證明 “(1) (2)” , 由定義知, 于是有, 由下近似的定義得, 由的任意性得, 所以, 因此, </p><p><b>　　.</b></p><p>　　“(2) (3)” 由定理2.2和對(duì)偶性質(zhì)(1)得</p><p><b>　　.</b></p><p&

39、gt;　　“(3) (1)” 若, , 由定理2.2知, 且, 從而, 由上近似的定義知, 又由于(3)成立, 因此, 于是由定理2.2得. 又, 得到, 即是傳遞的.</p><p>　　定理2.7 設(shè)是有限非空論域, 是上的二元關(guān)系, 則以下等價(jià):</p><p><b>　　(1) 是對(duì)稱的;</b></p><p><b>

40、;　　(2) , ;</b></p><p><b>　　(3) , .</b></p><p>　　證明 “(1) (2)” 若對(duì)于任意, 由于是對(duì)稱的, 因此.</p><p>　　, 于是. 由的任意性得,從而由下近似的定義知, 故.</p><p>　　“(2) (1)” 設(shè), . 由(2)知,

41、得</p><p><b>　　,</b></p><p><b>　　由</b></p><p><b>　　,</b></p><p><b>　　所以是對(duì)稱的.</b></p><p>　　“(2) (3)” 由定理2.2的

42、對(duì)偶性(1)得</p><p><b>　　.</b></p><p>　　定理2.8 設(shè)是有限非空論域, 是上的二元關(guān)系, 則以下等價(jià):</p><p>　　(1) 是歐幾里得的; </p><p><b>　　(2) , ; </b></p><p><b>

43、　　(3) , .</b></p><p>　　證明 “(1) (2)” 設(shè), 由上近似的定義得, , 由于是歐幾里得的關(guān)系, 所以, 于是, 從而由上近似定義得. 由的任意性得, 再由下近似定義得, 所以.</p><p>　　“(2) (1)” 設(shè), 由定理2.2知, 于是由(2)成立得, 從而由下近似的定義, 這樣就有, 再由定理2.2得, 即, 這樣證明了是歐幾里得

44、關(guān)系.</p><p>　　“(2) (3)” 由定理2.2的對(duì)偶性質(zhì)(1)即得.</p><p>　　3 粗糙近似算子的公理化刻畫</p><p>　　3.1 近似算子的公理化刻畫</p><p>　　定義3.1 算子稱為是對(duì)偶的, 如果, 它們滿足</p><p><b>　　(L0) </b&g

45、t;</p><p><b>　　(H0) </b></p><p>　　由的對(duì)偶性, 我們可以用其中的一個(gè)來定義另一個(gè). 比如就是, 就是.</p><p>　　重復(fù)使用一元算子, 可以被認(rèn)為是算子的復(fù)合, 如是和的復(fù)合. 由對(duì)偶性:</p><p>　　定義3.2 設(shè)是一對(duì)對(duì)偶算子, 如果滿足公理</p>

46、<p><b>　　(L1) .</b></p><p><b>　　(L2) .</b></p><p><b>　　或者等價(jià)地, 滿足</b></p><p><b>　　(H1) .</b></p><p><b>　　(H2

47、) .</b></p><p>　　則系統(tǒng)稱為一個(gè)粗糙集代數(shù), 稱為近似算子.</p><p>　　3.2 粗糙集理論的公理化刻畫</p><p>　　定理3.1 設(shè)是一對(duì)對(duì)偶的一元算子, 則存在一個(gè)上的二元關(guān)系使得, 對(duì)任意集都成立的充分必要條件是滿足性質(zhì):</p><p><b>　　(L1) .</b>

48、</p><p><b>　　(H1) . </b></p><p><b>　　(L2) . </b></p><p><b>　　(H2) .</b></p><p>　　證明 必要性由定理2.2即得.</p><p>　　充分性: 設(shè)滿足和, 利

49、用我們可以構(gòu)造上的一個(gè)二元關(guān)系如下:</p><p><b>　　.</b></p><p>　　所以, . 等價(jià)的, 這個(gè)式子可以寫成. 由定義2.2可知, , 對(duì)單元集有,</p><p><b>　　.</b></p><p>　　由公理及論域的有限性, , 我們有</p>&l

50、t;p><b>　　.</b></p><p>　　故. 由對(duì)偶性易證.</p><p>　　可獲得粗糙集代數(shù)中的若干公理:</p><p><b>　　(D) </b></p><p><b>　　(T) </b></p><p><b

51、>　　(T’) </b></p><p><b>　　(B) </b></p><p><b>　　(B’) </b></p><p><b>　　(4) </b></p><p><b>　　(4’) </b></p>

52、<p><b>　　(5) </b></p><p><b>　　(5’) </b></p><p>　　定理3.2 設(shè)是一對(duì)近似算子, 即滿足</p><p><b>　　(L1) .</b></p><p><b>　　(L2) .</b&g

53、t;</p><p><b>　　滿足</b></p><p><b>　　(H1) .</b></p><p><b>　　(H2) .</b></p><p>　　且, 則存在一個(gè)上的串行關(guān)系使得</p><p>　　對(duì)所有的成立的充分必要條件是和滿

54、足</p><p><b>　　(D) .</b></p><p>　　證明 （必要性） 設(shè)是上的串行關(guān)系, 令, , 若</p><p><b>　　, </b></p><p>　　因?yàn)槭谴械? 所以存在, 又由集的定義條件, 知,故, 所以有.</p><p>　　

55、（充分性） 由定理3.1, 對(duì)偶公理及公理(L1), (L2), (H1)及(H2)保證了上二元關(guān)系的存在性, 且使得, . 如果, 滿足, 由</p><p>　　故對(duì), 使得. 由的構(gòu)造, , 故是串行的.</p><p>　　定理3.3 設(shè)是一對(duì)對(duì)偶算子, 即滿足</p><p><b>　　(L1) .</b></p>

56、<p><b>　　(L2) .</b></p><p><b>　　滿足</b></p><p><b>　　(H1) . </b></p><p><b>　　(H2) .</b></p><p>　　且, 則存在一個(gè)上的自反關(guān)系使得&l

57、t;/p><p>　　對(duì)所有的成立的充分必要條件是和滿足</p><p><b>　　(T’) .</b></p><p>　　證明 （必要性） 設(shè)是上的自反關(guān)系. 令, , , 若,由的自反性, . 由的定義, 知. 故(T’)成立.</p><p>　?。ǔ浞中裕?, 滿足(T’), 由的任意性, ,</p&g

58、t;<p><b>　　即, 故是自反的.</b></p><p>　　定理3.4 設(shè)是一對(duì)對(duì)偶算子, 即滿足</p><p><b>　　(L1) .</b></p><p><b>　　(L2) .</b></p><p><b>　　滿足<

59、/b></p><p><b>　　(H1) .</b></p><p><b>　　(H2) .</b></p><p>　　且, 則存在一個(gè)上的對(duì)稱關(guān)系使得</p><p>　　對(duì)所有的成立的充分必要條件是和滿足</p><p><b>　　(B’) .&

60、lt;/b></p><p>　　證明 （必要性）設(shè)是上的自反關(guān)系, 令, . , 若,則, 如果, 由的對(duì)稱性可得, 故滿足定義即. 所以, 即(B)成立.</p><p>　?。ǔ浞中裕?滿足(B), , 設(shè)即. 由公理(B),</p><p>　　這意味著, 即, 故是對(duì)稱的.</p><p>　　定理3.5 設(shè)是一對(duì)對(duì)偶算子,

61、 即滿足</p><p><b>　　(L1) .</b></p><p><b>　　(L2) .</b></p><p><b>　　滿足</b></p><p><b>　　(H1) .</b></p><p><b&g

62、t;　　(H2) .</b></p><p>　　且, 則存在一個(gè)上的傳遞關(guān)系使得</p><p>　　對(duì)所有的成立的充分必要條件是和滿足</p><p><b>　　(4’) .</b></p><p>　　證明 （必要性） 設(shè)是上的傳遞關(guān)系, 令, . 對(duì), 若, 來證明. 為此需證對(duì), 為. 事實(shí)上,

63、對(duì), 若, 因是傳遞的, 故, 又因?yàn)? 所以, 所以, 這表明, 故(4)成立.</p><p>　?。ǔ浞中裕?,滿足(4’) . 對(duì), 設(shè), 進(jìn)一步假設(shè), 則, 而公理(H2)蘊(yùn)涵算子是單調(diào)的, 故. 由公理(4’)可知. 又由知, 故. 所以, 即傳遞.</p><p>　　定理3.6 設(shè)是一對(duì)對(duì)偶算子, 即滿足</p><p><b>　　(L

64、1) .</b></p><p><b>　　(L2) .</b></p><p><b>　　滿足</b></p><p><b>　　(H1) .</b></p><p><b>　　(H2) .</b></p><p&

65、gt;　　且, 則存在一個(gè)上的歐幾里得關(guān)系使得</p><p>　　對(duì)所有的成立的充分必要條件是和滿足</p><p><b>　　(5’) .</b></p><p>　　證明 （必要性） 設(shè)是上的歐幾里得關(guān)系, 令. , 若, 來證明, 即對(duì), 若. 因?yàn)? 故存在且, 又因是歐幾里得的, 故, 由的定義條件可知. 故(5)成立.</

66、p><p>　　（充分性） ,滿足. , 設(shè), 進(jìn)一步假設(shè), 則. 由公理(5), 得</p><p><b>　　又因?yàn)?lt;/b></p><p><b>　　故</b></p><p><b>　　故</b></p><p><b>　　所以是歐

67、幾里得的.</b></p><p><b>　　5小結(jié)</b></p><p>　　本文對(duì)于各種粗糙近似算子的公理化刻畫做了總結(jié),主要研究粗糙近似算子的性質(zhì)與公理化刻畫. 用構(gòu)造性方法和公理化研究了粗糙集, 由一個(gè)一般的二元關(guān)系出發(fā)構(gòu)造性地定義了一對(duì)對(duì)偶算子, 討論了粗糙近似算子的性質(zhì), 并且由各種類型的二元關(guān)系通過構(gòu)造得到各種類型多的粗糙集代數(shù), 用公理

68、形式定義粗糙近似算子. 對(duì)于各種粗糙近似算子的公理化刻畫做了總結(jié), 在有限論域中給出了經(jīng)典粗糙近似算子的構(gòu)造性定義并獲得刻畫這些近似算子的獨(dú)立公理集. 闡明了近似算子的公理集可以保證找到相應(yīng)的二元經(jīng)典關(guān)系, 使得由關(guān)系通過構(gòu)造性方法定義的粗糙近似算子恰好就是用公理化定義的近似算子. 參考文獻(xiàn)</p><p>　　Z. Pawlak, Rough sets [J]. International Journal of

69、 Computer and Information Sciences. 1982, 11(5): 341~356.</p><p>　　Z. Pawlak, Rough Sets—Theoretical Aspects of Reasoning about Data [M]. Boston: Kluwer Academic Publishers, 1991.</p><p>　　C. C.

70、 Chan. A rough set approach to attribute generalization in datamining [J]. Journal of Information Sciences, 1998, 107: 169~176.</p><p>　　D. Mcsherry, Knowledge discovery by inspection [J]. Decision Support S

71、ystems. 1997, 21: 43~47.</p><p>　　張文修, 吳偉志, 梁吉業(yè)等. 粗糙集理論與方法 [M]. 北京: 科學(xué)出版社. 2001.</p><p>　　D. Dubois, Prade H. Rough fuzzy sets and fuzzy rough sets [J]. International Journal of General Systems,

72、 1990, 17: 191~208.</p><p>　　W.Z. Wu, W.X. Zhang. Neighborhood operator systems and approximations[J]. Information Sciences. 2002, 144 :201 ~ 217</p><p>　　T.Y Lin, Q Lin. Rough approximate

73、operators :axiomatic rough set theory [M]. In :Ziarko W ed. Rough Sets, Fuzzy Set and Knowledge Discovery, Berlin:Springer,1994,256~260</p><p>　　祝 峰, 何華燦. 粗集的公理化. 計(jì)算機(jī)學(xué)報(bào). 2000, 33: 330 ~ 333</p&g

74、t;<p>　　H. ThieIe. On axiomatic characterisations of crisp approximation operators[J]. Information Sciences. 2000, 129: 221 ~ 226</p><p>　　Y.Y. Yao. Constructive and aIgebraic methods of the theory of

75、 rough sets [J]. JournaI of Information Sciences. 1998, 109: 21~ 47</p><p>　　Y.Y. Yao. Constructive and algebraic methods of theory of rough sets [J]. Journal of Information Sciences. 1998, 109: 21~47.</p

76、><p>　　Y.Y. Yao. Relational interpretations of neighbrohood operators and rough set approximation operators [J]. Information Sciences. 1998, 111: 239~259.</p><p>　　Y.Y. Yao. Two views of the theory

77、 of rough sets in finite universes [J]. International Journal of Approximate Reasoning. 1996, 15: 291~317.</p><p><b>　　致謝</b></p><p>　　本人在撰寫論文的過程中, 得到了許多老師和同學(xué)的熱心幫助. 這次論文的成功撰寫, 凝結(jié)了我四年

78、大學(xué)生涯的心血. 感謝所有傳授我知識(shí)的老師, 感謝所有關(guān)心過我, 幫助過我的恩師們. 這里, 我要特別感謝吳老師和徐老師對(duì)我的悉心指導(dǎo)和嚴(yán)格要求, 使我完成了論文的研究工作, 提高了論文的寫作水平和研究問題的能力. 此外, 吳老師和徐老師詳盡的審閱了論文初稿, 給我提出了寶貴的修改意見, 對(duì)英文翻譯也進(jìn)行了逐字逐句的修改與校正. 兩位老師嚴(yán)謹(jǐn)?shù)闹螌W(xué)態(tài)度和誨人不倦的師德作風(fēng)使我受益終身, 再次向兩位老師表示衷心的感謝. </p>