基于邏輯公式理論的粒計(jì)算模型研究.pdf

1、本文介紹了粒度計(jì)算的研究背景，研究現(xiàn)狀和研究意義，著重闡述了粒度計(jì)算的主要理論模型。在此基礎(chǔ)上應(yīng)用抽象粒模型的思想，將粒層內(nèi)部的結(jié)構(gòu)，粒層的轉(zhuǎn)換，粒層轉(zhuǎn)換的不變性等問(wèn)題從數(shù)理邏輯角度進(jìn)行了討論。對(duì)現(xiàn)有的抽象粒的研究從粒計(jì)算的角度做了推廣。 首先，在粒的直觀意義下，從邏輯的語(yǔ)義角度出發(fā)利用公式的可滿(mǎn)足性定義了抽象粒的概念。為了說(shuō)明抽象粒的獨(dú)特性，對(duì)比研究了商空間理論、模糊集理論、粗糙集理論的核心理論，并從其發(fā)展過(guò)程上分析了抽象粒和

2、粗糙集的異同之處。為進(jìn)一步將特定粒形式化提供了初步的理論基礎(chǔ)。 其次，在抽象粒模型上建立了粒計(jì)算的抽象概念，從廣義的角度說(shuō)明粒層的建立和粒層之間的轉(zhuǎn)換運(yùn)算都是粒計(jì)算的內(nèi)涵。這樣不僅深化了對(duì)粒度計(jì)算的基本問(wèn)題的認(rèn)識(shí)、擴(kuò)展了抽象粒模型的內(nèi)容，進(jìn)而為構(gòu)建信息特定粒提供了新的理論基礎(chǔ)。 最后，從抽象粒模型中的公式系統(tǒng)出發(fā)，對(duì)信息系統(tǒng)中的特定粒進(jìn)行了全新的表述。在此基礎(chǔ)上建立了屬性函數(shù)特定粒層和等價(jià)關(guān)系特定粒層的概念，并從公式語(yǔ)義