Extending conceptualisation modes for generalised Formal Concept Analysis

Formal Concept Analysis (FCA) is an exploratory data analysis technique for boolean relations based on lattice theory. Its main result is the existence of a dual order isomorphism between two set lattices induced by a binary relation between a set of objects and a set of attributes. Pairs of dually isomorphic sets of objects and attributes, called formal concepts, form a concept lattice, but actually model only a conjunctive mode of conceptualisation. In this paper we augment this formalism in two ways: first we extend FCA to consider different modes of conceptualisation by changing the basic dual isomorphism in a modal-logic motivated way. This creates the three new types of concepts and lattices of extended FCA, viz., the lattice of neighbourhood of objects, that of attributes and the lattice of unrelatedness. Second, we consider incidences with values in idempotent semirings-concretely the completed max-plus or schedule algebra [email protected]?"m"a"x","+-and focus on generalising FCA to try and replicate the modes of conceptualisation mentioned above. To provide a concrete example of the use of these techniques, we analyse the performance of multi-class classifiers by conceptually analysing their confusion matrices.

[1]  R. Weiner Lecture Notes in Economics and Mathematical Systems , 1985 .

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

[3]  Silke Pollandt Fuzzy Begriffe: formale Begriffsanalyse von unscharfen Daten , 1997 .

[4]  Jesús Medina,et al.  Multi-adjoint t-concept lattices , 2010, Inf. Sci..

[5]  Jonathan S. Golan,et al.  Power algebras over semirings , 1999 .

[6]  H. Ono,et al.  Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151 , 2007 .

[7]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[8]  Ivo Düntsch,et al.  Approximation Operators in Qualitative Data Analysis , 2003, Theory and Applications of Relational Structures as Knowledge Instruments.

[9]  H. Kunzi,et al.  Lectu re Notes in Economics and Mathematical Systems , 1975 .

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

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

[12]  I. Singer Abstract Convex Analysis , 1997 .

[13]  Peter Becker,et al.  The ToscanaJ Suite for Implementing Conceptual Information Systems , 2005, Formal Concept Analysis.

[14]  Francisco J. Valverde-Albacete,et al.  Galois Connections Between Semimodules and Applications in Data Mining , 2007, ICFCA.

[15]  Peter Jipsen,et al.  Residuated lattices: An algebraic glimpse at sub-structural logics , 2007 .

[16]  J. Quadrat,et al.  Duality and separation theorems in idempotent semimodules , 2002, math/0212294.

[17]  J. Golan Semirings and their applications , 1999 .

[18]  Marcel Erné,et al.  A Primer on Galois Connections , 1993 .

[19]  Francisco J. Valverde-Albacete,et al.  Further Galois Connections between Semimodules over Idempotent Semirings , 2007, CLA.

[20]  Domaine de Voluceau,et al.  Two Lectures on Max-plus Algebra , 1998 .

[21]  延原 肇 Bernd Heidergott, Olsder Jan Geert, and Jacob van der Woude著, Max Plus at Work-Modeling and Analysis of Synchronized Systems : A Course on Max-Plus Algebra and Its Applications, 出版社:Princeton Univ Press, ISBN:0691117632, 発行日:2005年11月, 第1版, 213p, 6,395円(参考価格) , 2006 .

[22]  Peter Sussner,et al.  Morphological associative memories , 1998, IEEE Trans. Neural Networks.

[23]  G. A. Miller,et al.  An Analysis of Perceptual Confusions Among Some English Consonants , 1955 .

[24]  Michel Minoux,et al.  Graphs, dioids and semirings : new models and algorithms , 2008 .

[25]  Bernhard Ganter,et al.  Conceptual Structures: Logical, Linguistic, and Computational Issues , 2000, Lecture Notes in Computer Science.

[26]  Marcel Erné,et al.  Adjunctions and Galois Connections: Origins, History and Development , 2004 .

[27]  Manuel Ojeda-Aciego,et al.  Formal concept analysis via multi-adjoint concept lattices , 2009, Fuzzy Sets Syst..

[28]  Ivan. Singer Some Relations Between Linear Mappings and Conjugations in Idempotent Analysis , 2001 .

[29]  R. Wille Dyadic Mathematics — Abstractions from Logical Thought , 2004 .

[30]  Geert Jan Olsder,et al.  Max Plus at Work: Modeling and Analysis of Synchronized Systems: A Course on Max-Plus Algebra and Its Applications , 2005 .

[31]  Jonathan S. Golan,et al.  Power Algebras over Semirings: With Applications in Mathematics and Computer Science , 2010 .

[32]  Francisco J. Valverde-Albacete,et al.  Towards a Generalisation of Formal Concept Analysis for Data Mining Purposes , 2006, ICFCA.

[33]  Silke Pollandt,et al.  Fuzzy-Begriffe - formale Begriffsanalyse unscharfer Daten , 1997 .

[34]  Rudolf Wille,et al.  The Basic Theorem of triadic concept analysis , 1995 .

[35]  Rudolf Wille,et al.  Lattices of Triadic Concept Graphs , 2000, ICCS.

[36]  S. Yau Mathematics and its applications , 2002 .

[37]  Nehad N. Morsi,et al.  Associatively tied implications , 2003, Fuzzy Sets Syst..

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

[39]  Stanislav Krajci,et al.  A Generalized Concept Lattice , 2005, Log. J. IGPL.

[40]  Radim Belohlávek,et al.  A note on variable threshold concept lattices: Threshold-based operators are reducible to classical concept-forming operators , 2007, Inf. Sci..