Title
Axiomatization of covering-based approximation operators generated by general or irreducible coverings.
Abstract
The axiomatization problems for generalized approximation operators are finding logical characters of these operators. Solving these problems is important not only for conceptual understanding generalized approximation operators, but also for theoretic discussing the properties of them. In recent years, many researchers explored and developed the axiomatic approach of generalized rough set theory and a lot of articles about axiomatizations of approximation operators were published. However, there are numbers of axiomatization problems for covering-based approximation operators are still open. In this article, we give axiomatic systems for several types of covering-based approximation operators. All the axiomatic systems given by us are original and one of our results answers an open problem raised by Zhu and Wang in 2007. We also discuss axiomatization problems for those covering-based approximation operators generated by irreducible coverings. We prove that for most types of operators, the axiomatic systems generated by irreducible coverings and by general coverings are the same. On the other hand, we show that for one type of operators, the axiomatic systems generated by irreducible coverings and by general coverings are different, and we give an axiomatic system for this type of operators generated by irreducible coverings. By several examples, we show that for each axiomatic system presented in this paper, conditions are independent of each other.
Year
DOI
Venue
2018
10.1016/j.ijar.2018.10.010
International Journal of Approximate Reasoning
Keywords
Field
DocType
Covering-based rough set,Axiomatization,Minimal description,Irreducible covering
Discrete mathematics,Approximation operators,Axiomatic system,Open problem,Algebra,Rough set,Operator (computer programming),Mathematics
Journal
Volume
Issue
ISSN
103
1
0888-613X
Citations 
PageRank 
References 
0
0.34
35
Authors
5
Name
Order
Citations
PageRank
Zuoming Yu1464.22
Jinjin Li229822.10
Pei Wang33116.88
Yan-Lan Zhang41143.91
Ziqiu Yun555723.69