屬性偏序形式結(jié)構(gòu)的數(shù)學(xué)形式化

打開文本圖片集

摘要：屬性偏序形式結(jié)構(gòu)，作為一種基于人類認(rèn)知原理和粒計(jì)算思想的知識發(fā)現(xiàn)和知識表示新理論，目前已有廣泛的應(yīng)用，但其理論基礎(chǔ)缺乏抽象化數(shù)學(xué)化，這勢必影響該理論的系統(tǒng)發(fā)展。針對上述問題，研究了屬性偏序形式結(jié)構(gòu)的數(shù)學(xué)形式化描述問題。首先，基于粒計(jì)算的思想提出了知識表示的形式化框架。在此基礎(chǔ)上，通過定義對象集合的覆蓋和最簡覆蓋，給出屬性偏序形式結(jié)構(gòu)的粒和粒群的概念，進(jìn)而通過對粒衍生出粒群的充要條件的討論，給出了屬性偏序形式結(jié)構(gòu)中的知識結(jié)構(gòu)，從而完成屬性偏序形式結(jié)構(gòu)的數(shù)學(xué)形式化描述。（剩余15275字）