α—最大相容水平SF决策信息系统的知识约简

罗胜　林福宁

摘 要 引入了SF决策信息系统中的最大相容水平概念，研究了α-最大相容水平ε-不协调SF决策信息系统，建立了它的粗糙集模型，讨论了它的α-水平分布ε-约简.

关键词 SF决策信息系统；α-最大相容水平；ε-不协调；α-水平分布ε-约简

中图分类号 TP18 文献标识码 A 文章编号 1000-2537（2015）03-0063-06

粗糙集理论[1]由著名科学家Pawlak在1982年提出，它是处理信息系统的有力工具，在医疗诊断、数据挖掘、模式识别以及知识发现[2]等方面应用广泛.

集值信息系统作为一种重要的信息系统，近年来得到了深入研究.王虹等[3]与宋笑雪等[4]研究了基于相容关系的集值信息系统.但相容类有一些不足，管延勇等[5]为此引入了最大相容类的概念，弥补了一般相容类所存在的不足.此外，最大相容类的思想也被陈子春等[6]、陈秀等[7]应用于各自提出的变精度相容关系下的集值信息系统.这些成果说明通过最大相容类来研究集值信息系统的约简问题是可行的.

模糊决策信息系统是模糊环境下的决策信息系统.关于决策信息系统和模糊决策信息系统的研究，目前已有不少成果产生，如Zhou等[8]绘出了决策信息的相对约简的快速算法；Luo等[9]研究了集值序决策信息系统中近似的动态保持；Zhang等[10]则研究了区间值决策信息系统中多信规则的获取和信赖保持属性约简；如管涛等[11]提出了基于模糊决策信息系统的粗糙分布约简等若干类约简，刻画了其相关性质与约简判定定理；余承依[12]等研究了不协调决策信息系统最大分布约简新方法；黄兵等[13]研究了模糊决策信息系统的变精度粗糙集模型；杨习贝等[14]通过建立一种基于参数分类的自反关系，将集值信息系统引入模糊环境中讨论.喻光继[15]研究了区间值模糊决策信息系统的属性约简.

集值模糊决策信息系统（简称SF决策信息系统）则是模糊环境下的集值决策信息系统，α-最大相容水平SF决策信息系统是它的推广.本文深入研究了α-最大相容水平SF决策信息系统的知识约简，从而以上提到的SF决策信息系统的知识约简是它的特款.

1 基本概念

在本文中，集值模糊决策的信息系统简称SF决策信息系统，U表示称为论域的非空集.2U表示U的幂集，I表示闭区[0，1]，BA表示所有由集A到集B的映射构成的集.为了方便，约定

U={x1，x2，…，xn}，A={a1，a2，…，am}，D={d1，d2，…，dp}，ε∈[0，1].

定义1.1[2] 称（U，A，F，D，G）为决策信息系统，其中U为对象集；A为条件属性集；F={fa∈VUa：a∈A}为U与A的关系集，fa称为a的信息函数，Va为a值域；D称为决策属性集；G={gd∈VUd：d∈D}为U与D的关系集，gd称为d的信息函数，Vd为d的值域.

定义1.2[9] 称（U，A，F，D，G）为SF决策信息系统，其中（U，A，F）为集值信息系统，即U为对象集，A为条件属性集，F={fa∈（2Va-{}）U：a∈A}为U与A的关系集，fa称为a的信息函数，Va为a的值域；D称为决策属性集；G={gd∈IU：d∈D}为U与D的关系集，U上的模糊集gd称为d的信息函数.

定义1.3[2] 设（U，A，F，D，G）为SF决策信息系统.令

RA={（xi，xj）：fal（xi）=fal（xj）（l≤m）}，

RD={（xi，xj）：gdk（xi）=gdk（xj）（k≤p）}.

若RARD，则称（U，A，F，D，G）为协调SF决策信息系统；否则，称（U，A，F，D，G）为不协调SF决策信息系统.

SF决策信息系统中对象关于条件属性的信息函数值未必是单值的，若按等价关系来处理分类问题，会出现划分过细的情况，不便于提取知识.为此考虑相容关系.

定义1.4[5] 设R为U上的相容关系.

（1） 称X∈2U为U上的R相容类，若对x，y∈X，有xRy.

（2） 称X∈2U为U上的R最大相容类，若X为U上的R相容类，且对x∈U-X，存在y∈X使（x，y）R.

不同相容类之间可能存在包含关系，不能保证同一相容类中的对象之间两两相容.针对这些不足，可考虑最大相容类.最大相容类之间不存在包含关系，只可能有相交关系，这样保证了同一类中的元素的“共性”没有被丢失.

让U上的所有R最大相容类构成的集为CCR（U）.对x∈U，记

CCR（x）={K∈CCR（U）：x∈K}，

它表示U上的所有包含x的R最大相容类构成的集.

定义1.5[3-4] 设（U，A，F，D，G）为SF决策信息系统，对BA，定义U上的关于B的相容关系TB如下：

TB={（x，y）∈U×U：fb（x）∩fb（y）≠（b∈B）}.

对x，y∈U，若xTBy，则称x，y关于B是相容的.记TB（x）={y∈U：xTBy}.

对b∈B，x∈U，简记

Tb=T{b}，Tb（x）=T{b}（x）；

CCTb（U）=CCT{b}（U），CCTb（x）=CCT{b}（x）.

易验证TB=∩b∈BTb，TB（x）=∩b∈BTb（x）.

定义1.6[10] 设（U，A，F，D，G）为SF决策信息系统，对xi，xj∈U，定义

SD（xi，xj）=∧{1-|fd（xi）-fd（xj）|：d∈D}，

其中fd（xi）表示xi关于决策属性d的信息函数值：

SεD={（xi，xj）∈U×U：SD（xi，xj）≥ε}，