输入：序决策系统 $OIS=\left(U,AT,V,f\right)$ 。

输出：所有约简结果集合RED。

1) 初始化： $RED=\varnothing$ ；

2) 根据条件属性集合C和决策属性D计算序决策系统下 $OIS=\left(U,AT,V,f\right)$ 每个对象的优势类 ${\left[x_i\right]}_C^{\ge }$ 和决策类 $U/D=\left\{D_1^{\ge },D_2^{\ge },\cdots ,D_n^{\ge }\right\}$ ；

3) 对决策类 $U/D=\left\{D_1^{\ge },D_2^{\ge },\cdots ,D_n^{\ge }\right\}$ 中的每一个 $D_i^{\ge }$ 计算下近似集合 ${\underset{\_}{Dominance}}_C\left(D_i^{\ge }\right)$ ；

4) 根据下近似#Math_63#计算差别矩阵 $Matri{x}_{OIS}$ ；

5) 计算差别函数 $F_{OIS}\left(x_i,x_j\right)$ ；

6) 将差别函数 $F_{OIS}\left(x_i,x_j\right)$ 转化为极小析取范式；

7) 输出所有约简集合RED。