输入：决策系统。

输出：约简结果Re。

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

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

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

4.重复：选择属性重要度最大的属性加入Re；

5.去冗余；

6.输出Re。