分明函數(shù)簡(jiǎn)法的粒計(jì)算分析與證明.pdf

1、信息系統(tǒng)是計(jì)算機(jī)科學(xué)許多領(lǐng)域的重要研究對(duì)象之一,在數(shù)據(jù)推理、數(shù)據(jù)挖掘、數(shù)據(jù)分析和數(shù)據(jù)庫(kù)系統(tǒng)等領(lǐng)域中,都占有非常重要的地位。而信息系統(tǒng)的約簡(jiǎn)是信息系統(tǒng)的主要研究?jī)?nèi)容,因此,好多學(xué)者都在信息系統(tǒng)的約簡(jiǎn)上做了大量的研究工作,也產(chǎn)生了約簡(jiǎn)的多種理論方法。由粗糙集理論的創(chuàng)始人Pawlak的學(xué)生Skowron于1991年創(chuàng)建的分明函數(shù)約簡(jiǎn)法,自問世以來(lái),受到了眾多學(xué)者的關(guān)注,對(duì)其討論和爭(zhēng)議一直沒有停止,因?yàn)榉置骱瘮?shù)約簡(jiǎn)法只有方法,沒有證明。直到20

2、09年,閆林和劉清給出了基于粒計(jì)算的證明方法,雖然這是對(duì)變形的分明函數(shù)約簡(jiǎn)法的證明方法,但從理論上是完全成立的,而且也是目前唯一一種證明方法。
　　 粒計(jì)算覆蓋了有關(guān)粒度的理論、技術(shù)和方法,是當(dāng)前人工智能論域中模擬人類思維來(lái)解決復(fù)雜問題的一種新的方法,因此可以作為復(fù)雜問題求解、模糊數(shù)據(jù)處理的一種工具。
　　 閆林和劉清給出的證明方法,只是針對(duì)完備信息系統(tǒng),而對(duì)于不完備信息系統(tǒng)是否成立呢?這正是本文的研究?jī)?nèi)容。因?yàn)椴煌陚湫?/p>