On minimization of axiom sets characterizing covering-based approximation operators

Rough set theory was proposed by Pawlak to deal with the vagueness and granularity in information systems. The classical relation-based Pawlak rough set theory has been extended to covering-based generalized rough set theory. The rough set axiom system is the foundation of the covering-based generalized rough set theory, because the axiomatic characterizations of covering-based approximation operators guarantee the existence of coverings reproducing the operators. In this paper, the equivalent characterizations for the independent axiom sets of four types of covering-based generalized rough sets are investigated, and more refined axiom sets are presented.

[1]  Yiyu Yao,et al.  On Generalizing Rough Set Theory , 2003, RSFDGrC.

[2]  H. Thiele.  On axiomatic characterizations of fuzzy approximation operators. I. The fuzzy rough set based case , 2001 .

[3]  XU Zhong-yin,et al.  On the Properties of Covering Rough Sets Model , 2005 .

[4]  Helmut Thiele,et al.  On axiomatic characterization of fuzzy approximation operators. II. The rough fuzzy set based case , 2001, Proceedings 31st IEEE International Symposium on Multiple-Valued Logic.

[5]  Fei-Yue Wang,et al.  Reduction and axiomization of covering generalized rough sets , 2003, Inf. Sci..

[6]  William Zhu,et al.  Relationship between generalized rough sets based on binary relation and covering , 2009, Inf. Sci..

[7]  U. Wybraniec-Skardowska.  On a generalization of approximation space , 1989 .

[8]  Helmut Thiele,et al.  On axiomatic characterisations of crisp approximation operators , 2000, Inf. Sci..

[9]  W. Zakowski.  APPROXIMATIONS IN THE SPACE (U,π) , 1983 .

[10]  Stephen D. Comer,et al.  An algebraic approach to the approximation of information , 1991, Fundamenta Informaticae.

[11]  Nehad N. Morsi,et al.  Axiomatics for fuzzy rough sets , 1998, Fuzzy Sets Syst..

[12]  Xiao-Ping Yang,et al.  Minimization of axiom sets on fuzzy approximation operators , 2007, Inf. Sci..

[13]  Wei-Zhi Wu,et al.  Generalized fuzzy rough sets , 2003, Inf. Sci..

[14]  Yee Leung,et al.  Generalized fuzzy rough sets determined by a triangular norm , 2008, Inf. Sci..

[15]  Wen-Xiu Zhang,et al.  An axiomatic characterization of a fuzzy generalization of rough sets , 2004, Inf. Sci..

[16]  Li Jin-in.  Rough Sets and Subsets of a Topological Space , 2005 .

[17]  Ying Sai,et al.  A comparison of two types of rough sets induced by coverings , 2009, Int. J. Approx. Reason..

[18]  S. D. Comer,et al.  On connections between information systems, rough sets and algebraic logic , 1993 .

[19]  William Zhu,et al.  On Three Types of Covering-Based Rough Sets , 2014, IEEE Transactions on Knowledge and Data Engineering.

[20]  Yiyu Yao,et al.  Constructive and Algebraic Methods of the Theory of Rough Sets , 1998, Inf. Sci..

[21]  William Zhu,et al.  Topological approaches to covering rough sets , 2007, Inf. Sci..

[22]  W. Zakowski.  ON A CONCEPT OF ROUGH SEIS , 1982 .

[23]  Yiyu Yao,et al.  Relational Interpretations of Neigborhood Operators and Rough Set Approximation Operators , 1998, Inf. Sci..

[24]  Wei-Zhi Wu,et al.  On axiomatic characterizations of three pairs of covering based approximation operators , 2010, Inf. Sci..

[25]  Tsau Young Lin,et al.  Rough Approximate Operators: Axiomatic Rough Set Theory , 1993, RSKD.

[26]  Helmut Thiele,et al.  On Axiomatic Characterizations of Fuzzy Approximation Operators , 2000, Rough Sets and Current Trends in Computing.

[27]  Yan Gao,et al.  On Covering Rough Sets , 2007, RSKT.

[28]  Yiyu Yao,et al.  Generalization of Rough Sets using Modal Logics , 1996, Intell. Autom. Soft Comput..

[29]  Guilong Liu,et al.  Axiomatic systems for rough sets and fuzzy rough sets , 2008, Int. J. Approx. Reason..

[30]  Tong-Jun Li,et al.  The minimization of axiom sets characterizing generalized approximation operators , 2006, Inf. Sci..

[31]  Yee Leung,et al.  On characterizations of (I, J)-fuzzy rough approximation operators , 2005, Fuzzy Sets Syst..

[32]  Chen Degang,et al.  A new approach to attribute reduction of consistent and inconsistent covering decision systems with covering rough sets , 2007 .

[33]  Wei-Zhi Wu,et al.  Constructive and axiomatic approaches of fuzzy approximation operators , 2004, Inf. Sci..

[34]  Qinghua Hu,et al.  A new approach to attribute reduction of consistent and inconsistent covering decision systems with covering rough sets , 2007, Inf. Sci..