Análisis formal de conceptos desde el punto de vista de la programación funcional

Abstract

Formal Concept Analysis is a mathematical theory of data analysis with growing popularity across various domains such as psichology, biology, mathematics, medicine or industrial engineering. Formal Concept Analysis analyzes data wich describe relationship between a particular set of objects and a particular set of attributes (properties of objects). The original motivation of Formal Concept Analysis was the concrete representation of complete lattices and their properties by means of formal contexts. Formal contexts are data tables that represent binary relations between objects and attributes. This theory has an special importance when it is necesary to work with large set of objects which can be described by a large set of properties or atributes. This work is concerned with an implementation of fundamental concepts and methods of formal concept analysis in a functional programming language. We choose Haskell for this task and we follow the theory which appears in the book “Formal Concept Analysis”.