Formal Concept Analysis -- Overview and Applications.

In this article we give a brief overview of the theory behind the formal concept analysis, a novel method for data representation and analysis. From given tabular input data this method finds all formal concepts and computes a concept lattice, a directed, acyclic graph, in which all formal concepts are hierarchically ordered. We describe the link between this method and formal logic, as well as graph theory. Finally we present one example of an application of this method in the field of computer aided learning. [ABSTRACT FROM AUTHOR]