粗糙集的代数观点.docVIP

Rough集合的代数观点 信息表是粗糙集理论中的研究对象。信息表的基本成分是研究对象的集合。关于这些对象的知识是通过指定对象的属相和他们的属性值来表述的。一个信息表I可表示成四元组。 对于每一个属性子集B，定义一个不可分辨二元关系（不分明关系）IND(B)，即 IND(B)是一个等价关系，。 决策表是一类特殊重要的信息表，一个决策表是一个信息表S=U,R,V,f，其中，R=CUD是属性集合，子集C和D分别称条件属性和决策属性。D非空。 条件属性集C和结果属性集D的等价关系IND(C)和IND(D)的等价类分别称为条件类和决策类。由于任何决策表都可以等价的表示单一决策表，所以一般假定D={d}. 定义 对每个概念X（样例子集），和不分明关系B，包含于X中的最大可定义集合包含X的最小可定义集，都是根据B能够确定的。前者称为X的下近似集，后者称为X的上近似集。 或者 其中 是不分明关系B对U的划分，也是论域U的B基本集的集合。 决策表的属性对于分类的作用是不一样的，由此可以定义属性重要度的概念。 定义 设集合族是论域U上定义的知识，B是一个属性子集，定义B对F近似分类的质量 定义 F是属性集D导出的分类，C是条件属性集合，D={d}是决策属性集合，且，则对于任意属性的重要性 SGF（a,A,D）定义为： 。 这表示当我们在属性集A中增加属性a对F近似分类的质量的影响。 定义 设U为一个论域，P,Q为U上的两个属性集合，Q的P正域记为 定义 设U为一个论域，P、Q为U上的两个属性集合，，则称r为P中相对于Q可省略的（不必要的），简称P中可省略的；否则，称r为P中相对于Q不可省略的（必要的）。 定义 设U为一个论域，P、Q为U上的两个属性集合，若P中的每个r都是P中Q不可省略的，则称P为Q独立的。 定义 设U为一个论域，P、Q为U上的两个属性集合，若P的Q独立子集S有,则称S为P的Q约简。 记P的所有Q约简属性集为 定义 设U为一个论域，P、Q为U上的两个属性集合，P的所有Q不可省略原始属性集合称P的Q核，记为 定义 设U为一个论域，P、Q为U上的两个属性集合，如果，则称论域U是P上相对于Q相容的。