Reduction algorithms based on discernibility matrix: the ordered attributes method
Journal of Computer Science and Technology
Second attribute algorithm based on tree expression
Journal of Computer Science and Technology - Special section on China AVS standard
Tree expressions for information systems
Journal of Computer Science and Technology
Discernibility matrix simplification for constructing attribute reducts
Information Sciences: an International Journal
A model of user-oriented reduct construction for machine learning
Transactions on rough sets VIII
A model of machine learning based on user preference of attributes
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
Hi-index | 0.00 |
Based on the principle of discernibility matrix, a kind of reduction algorithm with attribute order has been developed and its solution has been proved to be complete for reduct and unique for a given attribute order. Being called the reduct problem, this algorithm can be regarded as a mapping R = Reduct(S) from the attribute order space Θ to the reduct space R for an information system 〈U, C ∪ D〉, where U is the universe and C and D are two sets of condition and decision attributes respectively. This paper focuses on the reverse problem of reduct problem S = Order(R), i.e., for a given reduct R of an information system, we determine the solution of S = Order(R) in the space Θ. First, we need to prove that there is at least one attribute order S such that S = Order(R). Then, some decision rules are proposed, which can be used directly to decide whether the pair of attribute orders has the same reduct. The main method is based on the fact that an attribute order can be transformed into another one by moving the attribute for limited times. Thus, the decision of the pair of attribute orders can be altered to the decision of the sequence of neighboring pairs of attribute orders. Therefore, the basic theorem of neighboring pair of attribute orders is first proved, then, the decision theorem of attribute order is proved accordingly by the second attribute.