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

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