Análisis de relaciones de variables en retículos de conceptos multiadjuntos

Abstract

El Análisis de Conceptos Formales (FCA, de sus siglas en inglés Formal Concept Analysis) surgió como una necesidad de aplicar la teoría de retículos a casos prácticos. Impulsada por R. Wille, B. Ganter, J. L. Guigues, y V. Duquenne en la década de los ochenta, se ha consolidado como una teoría matemática fundamental para la extracción estructurada de conocimiento a partir de bases de datos relacionales. Su potencial reside en la capacidad para formalizar la relación intrínseca entre los datos, mediante su representación en unidades específicas de información, denominadas conceptos, proporcionando así un marco sólido para la recuperación, clasificación y análisis conceptual de la información. Con el objetivo de incorporar mecanismos de razonamiento capaces de manejar información imprecisa, vaga o incompleta, la literatura ha desarrollado diversas generalizaciones difusas de FCA. Entre ellas, los retículos de conceptos multiadjuntos se han establecido como uno de los marcos más generales, ya que permiten integrar distintos enfoques difusos previamente existentes y aportan una flexibilidad algebraica significativamente mayor. Este entorno abre nuevas posibilidades teóricas y prácticas para el análisis conceptual en bases de datos con incertidumbre. Dentro de FCA, el estudio de las relaciones o ecuaciones dirigidas entre atributos, las denominadas implicaciones de atributos, constituye un área de estudio esencial. Estas implicaciones permiten sintetizar y gestionar la información mediante reglas lógicas que capturan dependencias presentes en los datos, constituyendo una alternativa eficiente a los mecanismos clásicos de esta teoría. En este contexto, esta tesis desarrolla de forma rigurosa las nociones teóricas y los resultados fundamentales relativos a las implicaciones de atributos en el marco difuso de los retículos de conceptos multiadjuntos. El trabajo amplía y generaliza diversas nociones, propiedades y mecanismos formales previamente establecidos en la literatura, adaptándolos al entorno multiadjunto y aprovechando las ventajas que este marco puede ofrecer.

Formal Concept Analysis (FCA) arose from the need to apply lattice theory to practical scenarios. Initiated by R.Wille, B. Ganter, J. L. Guigues, and V. Duquenne in the 1980s, this theory has since become a fundamental mathematical framework for the structured extraction of knowledge from relational databases. Its strength lies in its ability to formalize the intrinsic relationships within data by representing them through specific information units, called concepts, thereby providing a solid foundation for information retrieval, classification, and conceptual analysis. Different fuzzy generalizations of FCA have been developed in the literature in order to incorporate reasoning mechanisms capable of handling imprecise, vague, or incomplete information. Among these approaches, multi-adjoint concept lattices have emerged as one of the most general frameworks, as they allow the integration of various previously existing fuzzy approaches and offer significantly greater algebraic flexibility. This setting provides new theoretical and practical possibilities for conceptual analysis in databases with uncertainty. The study of relationships or directed equations between attributes, known as attribute implications theory, constitutes an important research line in FCA. These implications allow information to be synthesized and managed through logical rules that capture the dependencies present in the data, providing an efficient alternative to the classical FCA mechanisms. In this context, this doctoral thesis rigorously develops the theoretical notions and significant results related to attribute implications in multiadjoint concept lattices. The presented study extends and generalizes different notions, properties and formal mechanisms, previously established in the literature, adapting them to the multi-adjoint setting and exploiting the advantages offered by this framework.