输入：决策系统。

输出：约简结果Re。

1.初始化， $core=\varnothing$ ， $Re=\varnothing$ ;

2.计算U在C和D上的等价类；

3.计算每个属性的内部属性重要度，并求出核；

4.令 $Re=core$ ， $i=1$ ， $U_1=U$ ， $C_1=C$ ， $C_{del}=\varnothing$ ；

5.重复：选择属性重要度最大的属性加入Re，并在该过程中删除冗余属性和对象；

6.去冗余；

7.输出Re。