Rough set theory and Galois connections in formal context

Se estudia la relación entre las Conexiones de Galois (CG) y la Rough Set Theory (RST) en Contextos Formales (CF). El objetivo de este trabajo es mostrar la fertilidad teórica que se manifiesta al expresar RST en base a CG en Contextos Formales, ya que las Conexiones de Galois participan en estructuras lógico matemáticas numerosas e interconectadas y forman parte de la base de la Informática teórica y aplicada. Se analizó la bibliografía específica y se destacó: a) la importancia del Teorema que conecta CG y RST, ya que asegura la ampliación de las aplicaciones de RST como se conjetura en el trabajo; b) El papel del Análisis de Conceptos Formales (Formal Concept Analysis- FCA) en lo conjeturado en a). Las CG, en tanto que relaciones binarias generalizadas, constituyen un puente que conecta tres niveles principales en los sistemas de información: A) computacional; B) algorítmico; C) Implementacional, que se encuentra en el nivel físico del sistema. Además, las Conexiones de Galois permiten expresar la Relación de Indiscernibilidad de RST empleando retículos distributivos y complementados, es decir por medio de Álgebras de Boole.Fil: Galardo, Osvaldo Jorge. Universidad Nacional de La Matanza; Argentina