Independence of axiom sets characterizing formal concepts

The theory of concept lattice proposed by Wille has been generalized in three different ways based on binary formal contexts, and substantive properties with respect to these formal concepts have been derived. In this paper, we study a reverse problem, that is, how to characterize the notions of formal concepts in terms of their properties. Axiomatic characterizations for the theory of formal concept analysis are presented. By this approach, four types of conceptual knowledge system are defined, and axiom sets that must be satisfied by the conceptual knowledge system are stated. It is proved that axioms of the conceptual knowledge system guarantee the existence of certain types of binary relations producing the same formal concepts. The independence of axiom sets characterizing the conceptual knowledge system is examined.

[1]  Wen-Xiu Zhang,et al.  Attribute reduction theory and approach to concept lattice , 2007, Science in China Series F: Information Sciences.

[2]  Yiyu Yao,et al.  A Comparative Study of Formal Concept Analysis and Rough Set Theory in Data Analysis , 2004, Rough Sets and Current Trends in Computing.

[3]  Jitender S. Deogun,et al.  Formal Rough Concept Analysis , 1999, RSFDGrC.

[4]  Ming-Wen Shao,et al.  Approximation in Formal Concept Analysis , 2005, RSFDGrC.

[5]  Ju Wang,et al.  Concept Approximation in Concept Lattice , 2001, PAKDD.

[6]  Xizhao Wang,et al.  Learning fuzzy rules from fuzzy samples based on rough set technique , 2007, Inf. Sci..

[7]  Ming-Wen Shao,et al.  Reduction method for concept lattices based on rough set theory and its application , 2007, Comput. Math. Appl..

[8]  Robert E. Kent,et al.  Rough Concept Analysis: A Synthesis of Rough Sets and Formal Concept Analysis , 1996, Fundam. Informaticae.

[9]  Ramón Fuentes-González,et al.  The study of the L-fuzzy concept lattice , 1994 .

[10]  Xizhao Wang,et al.  Induction of multiple fuzzy decision trees based on rough set technique , 2008, Inf. Sci..

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

[12]  William Zhu,et al.  Matroidal approaches to generalized rough sets based on relations , 2011, Int. J. Mach. Learn. Cybern..

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

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

[15]  Jing-Yu Yang,et al.  On multigranulation rough sets in incomplete information system , 2011, International Journal of Machine Learning and Cybernetics.

[16]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[17]  Wen-Xiu Zhang,et al.  Variable threshold concept lattices , 2007, Inf. Sci..

[18]  Ivo Düntsch,et al.  Modal-style operators in qualitative data analysis , 2002, 2002 IEEE International Conference on Data Mining, 2002. Proceedings..

[19]  Rudolf Wille,et al.  Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts , 2009, ICFCA.

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

[21]  Yiyu Yao,et al.  Concept lattices in rough set theory , 2004, IEEE Annual Meeting of the Fuzzy Information, 2004. Processing NAFIPS '04..

[22]  Atsuo Murata,et al.  Rough Set Approximations in Formal Concept Analysis , 2010, Trans. Rough Sets.

[23]  Andrzej Skowron,et al.  Rough sets and Boolean reasoning , 2007, Inf. Sci..

[24]  Ramón Fuentes-González,et al.  Treatment of L-Fuzzy contexts with absent values , 2009, Inf. Sci..

[25]  Zhang Wen-xiu,et al.  Attribute reduction theory and approach to concept lattice , 2005 .

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

[27]  J. Deogun,et al.  Concept approximations based on rough sets and similarity measures , 2001 .

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

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

[30]  Radim Belohlávek,et al.  Concept lattices and order in fuzzy logic , 2004, Ann. Pure Appl. Log..