Formal Concepts as Optimal Factors in Boolean Factor Analysis: Implications and Experiments

Boolean factor analysis aims at decomposing an objects × attributes Boolean matrix I into a Boolean product of an objects × factors Boolean matrix A and a factors × attributes Boolean matrix B, with the number of factors as small as possible. This paper is a continuation of our previous paper where we proved that formal concepts of I are optimal factors for Boolean factor analysis. In particular, we concentrate on the implications of the proof. Namely, on the fact that finding factors can be reduced to the set covering problem for which there exist efficient approximation algorithms. In this paper, we present the algorithm for finding factors which results this way and present several experiments on factorizing Boolean matrices.

• Type: Conference
• Year: 2007
• Where: CLA
• Authors: Radim Belohlávek, Vilém Vychodil
• Keywords: Artificial Intelligence, Attributes Boolean Matrix, Boolean Factor Analysis, Boolean Matrix, CLA 2007