计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2012年
2期
351-363
,共13页
苗夺谦%徐菲菲%姚一豫%魏莱
苗奪謙%徐菲菲%姚一豫%魏萊
묘탈겸%서비비%요일예%위래
粒计算%粒度空间%粗糙集%形式概念分析%知识空间
粒計算%粒度空間%粗糙集%形式概唸分析%知識空間
립계산%립도공간%조조집%형식개념분석%지식공간
粒计算的形式化研究一直没有被仔细讨论.文中在集合论框架下,对粒计算做了系统研究,给出了粒度空间的三层模型(论域,基,粒结构).借用逻辑语言L判定粒的可定义性,将经典粗糙集通过此模型重新解释.根据模型中从基到粒结构不同的构造规则,引出并可约和交可约粒度空间的定义,分别讨论了不同粒度空间下覆盖、基和粒结构的关系,从而给出从覆盖求基的方法；进一步,利用子系统表示方法对扩展粗糙集以及一般的交可约与并可约空间的上下近似进行了研究,分析了现有的4种基于覆盖的粗糙集模型的合理性；研究了形式概念分析以及知识空间的粒度空间模型,给出这两种理论中上下近似的概念.
粒計算的形式化研究一直沒有被仔細討論.文中在集閤論框架下,對粒計算做瞭繫統研究,給齣瞭粒度空間的三層模型(論域,基,粒結構).藉用邏輯語言L判定粒的可定義性,將經典粗糙集通過此模型重新解釋.根據模型中從基到粒結構不同的構造規則,引齣併可約和交可約粒度空間的定義,分彆討論瞭不同粒度空間下覆蓋、基和粒結構的關繫,從而給齣從覆蓋求基的方法；進一步,利用子繫統錶示方法對擴展粗糙集以及一般的交可約與併可約空間的上下近似進行瞭研究,分析瞭現有的4種基于覆蓋的粗糙集模型的閤理性；研究瞭形式概唸分析以及知識空間的粒度空間模型,給齣這兩種理論中上下近似的概唸.
립계산적형식화연구일직몰유피자세토론.문중재집합론광가하,대립계산주료계통연구,급출료립도공간적삼층모형(론역,기,립결구).차용라집어언L판정립적가정의성,장경전조조집통과차모형중신해석.근거모형중종기도립결구불동적구조규칙,인출병가약화교가약립도공간적정의,분별토론료불동립도공간하복개、기화립결구적관계,종이급출종복개구기적방법；진일보,이용자계통표시방법대확전조조집이급일반적교가약여병가약공간적상하근사진행료연구,분석료현유적4충기우복개적조조집모형적합이성；연구료형식개념분석이급지식공간적립도공간모형,급출저량충이론중상하근사적개념.
