Formal Concept Analysis via Atomic Priming

Formal Concept Analysis (FCA) looks to decompose a matrix of objects-attributes into a set of sparse matrices capturing the underlying structure of a formal context. We propose a Rank Reduction (RR) method to prime approximate FCAs, namely RRFCA. While many existing FCA algorithms are complete, lectic ordering of the lattice may not minimize search/decomposition time. Initially, RRFCA decompositions are not unique or complete; however, a set of good closures with high support is learned quickly, and then, made complete. RRFCA has its novelty in that we propose a new multiplicative two-stage method. First, we describe the theoretical foundations underpinning our RR approach. Second, we provide a representative exemplar, showing how RRFCA can be implemented. Further experiments demonstrate that RRFCA methods are efficient, scalable and yield time-savings. We demonstrate the resulting methods lend themselves to parallelization.

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

[2]  H. Sebastian Seung,et al.  Algorithms for Non-negative Matrix Factorization , 2000, NIPS.

[3]  Rokia Missaoui,et al.  A partition-based approach towards constructing Galois (concept) lattices , 2002, Discret. Math..

[4]  Rokia Missaoui,et al.  INCREMENTAL CONCEPT FORMATION ALGORITHMS BASED ON GALOIS (CONCEPT) LATTICES , 1995, Comput. Intell..

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

[6]  Geoffrey C. Fox,et al.  Twister: a runtime for iterative MapReduce , 2010, HPDC '10.

[7]  Terrence J. Sejnowski,et al.  Learning Overcomplete Representations , 2000, Neural Computation.

[8]  Gerd Stumme,et al.  Efficient Mining of Association Rules Based on Formal Concept Analysis , 2005, Formal Concept Analysis.

[9]  Václav Snásel,et al.  Analyzing Social Networks Using FCA: Complexity Aspects , 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

[10]  Simon Andrews,et al.  In-Close, a fast algorithm for computing formal concepts , 2009 .

[11]  J. Sowa On conceptual structures: A response to the review by S.W. Smoliar , 1988 .

[12]  Vilém Vychodil,et al.  Distributed Algorithm for Computing Formal Concepts Using Map-Reduce Framework , 2009, IDA.

[13]  Jan Outrata,et al.  Parallel Recursive Algorithm for FCA , 2008 .

[14]  Bernhard Ganter,et al.  Two Basic Algorithms in Concept Analysis , 2010, ICFCA.

[15]  Patrik O. Hoyer,et al.  Non-negative sparse coding , 2002, Proceedings of the 12th IEEE Workshop on Neural Networks for Signal Processing.

[16]  J. Bordat Calcul pratique du treillis de Galois d'une correspondance , 1986 .

[17]  Owen Molloy,et al.  Using Description Logic and Rules to Determine XML Access Control , 2007 .

[18]  Sanjay Ghemawat,et al.  MapReduce: Simplified Data Processing on Large Clusters , 2004, OSDI.

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

[20]  Andrzej Cichocki,et al.  Analysis of financial data using non-negative matrix factorisation , 2008 .

[21]  Ruairí de Fréin,et al.  Learning speech features in the presence of noise: Sparse convolutive robust non-negative matrix factorization , 2009, 2009 16th International Conference on Digital Signal Processing.

[22]  Jean-François Boulicaut,et al.  Advances in Intelligent Data Analysis VIII, 8th International Symposium on Intelligent Data Analysis, IDA 2009, Lyon, France, August 31 - September 2, 2009. Proceedings , 2009, IDA.

[23]  Sergei O. Kuznetsov,et al.  Comparing performance of algorithms for generating concept lattices , 2002, J. Exp. Theor. Artif. Intell..

[24]  Géraldine Polaillon,et al.  FCA for contextual semantic navigation and information retrieval in heterogeneous information systems , 2007 .

[25]  Anne Berry,et al.  A local approach to concept generation , 2007, Annals of Mathematics and Artificial Intelligence.

[26]  Pavel Kocura Semantics of Attribute Relations in Conceptual Graphs , 2000, ICCS.

[27]  Xu Qian,et al.  An Improved Incremental Algorithm for Constructing Concept Lattices , 2009, 2009 WRI World Congress on Software Engineering.

[28]  Bernard Monjardet,et al.  The Lattices of Closure Systems, Closure Operators, and Implicational Systems on a Finite Set: A Survey , 2003, Discret. Appl. Math..

[29]  Ruairí de Fréin,et al.  Distributed Formal Concept Analysis Algorithms Based on an Iterative MapReduce Framework , 2012, ICFCA.

[30]  C. Dowling On the irredundant generation of knowledge spaces , 1993 .

[31]  Claudio Carpineto,et al.  A Lattice Conceptual Clustering System and Its Application to Browsing Retrieval , 1996, Machine Learning.

[32]  Bernhard Ganter,et al.  Formal Concept Analysis , 2013 .