输入:不完备决策系统 I D S = ( U , A T = C ∪ D , V , f ) 。
输出:正域集合 P O S C ( D ) 。
1.初始化: P O S C ( D ) = ∅ ,对于 ∀ x i ∈ U , ∂ C ( x i ) = ∅ ;
2.对于 ∀ x i ∈ U ,计算 ∂ C ( x i ) ;
3.计算 P O S C ( D ) ;
4.输出正域集合 P O S C ( D ) 。