Rough Set Theory y Conexiones de Galois en Contextos Formales

Se estudia la relacion 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 teorica que se manifiesta al expresar RST  en base a CG en Contextos Formales, ya que las Conexiones de Galois  participan en estructuras logico- matematicas numerosas e interconectadas y forman parte de la base de la Informatica teorica y aplicada. Se analizo la bibliografia especifica y se destaco: a) la importancia del Teorema que conecta CG y RST, ya que asegura la ampliacion de las aplicaciones de RST como se conjetura en el trabajo; b) El papel del Analisis 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 informacion: A) computacional; B) algoritmico; C) Implementacional, que se encuentra en el nivel fisico del sistema. Ademas, las Conexiones de Galois  permiten expresar la Relacion de Indiscernibilidad de RST empleando reticulos distributivos y complementados, es decir por medio de Algebras de Boole.