一种不完备信息系统中极大相容块的构造算法.pdfVIP

一种不完备信息系统中极大相容块的构造算法*) An of MaximalConsistentBlockin Information Constructing Incomplete Systems Algorithm 梁吉业王宝丽 钱字华李德玉 (计算智能与中文信息处理省部共建重点实验室)(山西大学计算机与信息技术学院 太原030006) Abstractne ofmaximalconsistentblocksfor in informationis technique knowledgeacquiringincomplete systems can thebettertheoreticalresultsthantheones traditionalmethodsbeobtained．Inthe proposedin[3]．and using ofmaximalconsistentblocksarestudiedandahierarchicalfor presentpaper，theproperties algorithmconstructing maximalconsistentblockis willbe for in information given，whichhelpfulacquiringknowledgeefficientlyincomplete systems． information consistentblock KeywordsRoughset，Incomplete system，Maximal 合，称为论域；AT：属性的非空有限集合，称为属性 1 引言 集；y=U。∈盯U，u表示属性n的值域；，：U×AT 粗糙集理论是波兰科学家乙Pawlak于1982—y是一个信息函数，即对Vz∈U，口∈AT，有， 年提出的一种处理模糊性和不确定性的数学工 具[1～。其早期研究成果主要是针对完备信息系统 (U，An，f(x，n)简记为口o)。 的，基于不完备信息系统的粗糙集方法，近些年取得 如果对于至少一个属性口∈AT，U包含空值， 了一些重要的进展[2~7]。从不同的角度出发，文则称S是一个不完备信息系统，否则它是完备的。 [4～7]通过运用由数据导出的相容关系、量化容差这表明完备信息系统是不完备信息系统的一种特殊 关系和限制容差关系分别提出了不同的针对不完备 情形。进一步，我们将用*表示空值。这里研究的 信息系统的粗糙集扩展模型。与以上模型不同，文 不完备信息系统要求V口∈AT，了z∈U，使得口(z) [3]提出的粗糙集理论模型对相容关系的结构进行 深入分析，证明了极大相容块是不完备信息系统中 立。· 的最小知识颗粒；以极大相容块为基本知识颗粒定 定义2．2不完备信息系统S=(U，A，V，厂) 义的近似算子比以对象的相容类为基本知识颗粒定 中，定义任意P∈A上的二元关系SIM(P)为： 义的近似算子有更高的近似精度；对于决策系统而 S觚P)一“(z，y)EUXUIV口∈P，口(z)一a 言，以极大相容块为基本单位构造区分矩阵，简化了 区分矩阵的规模，提高了用区分矩阵求约简的效率。 文[3]所提方法的优势均是以获得属性集所决 定的极大相容块为基础的，所以研究极大相容块的 的对象集，称为z的相容类(也称z的相容块)。容 快速构造算法显得尤为重要。本文基于极大相容块