• A generalized framework to consider positive and negative attributes in formal concept analysis 

      Rodríguez Jiménez, Jose Manuel; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora, Ángel (2014-10-23)
      In Formal Concept Analysis the classical formal context is analized taking into account only the positive information, i.e. the presence of a property in an object. Nevertheless, the no presence of a property in an object ...
    • A logic-based approach to compute a direct basis from implications 

      Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora, Ángel; Ojeda-Aciego, Manuel; Rodríguez-Lorenzo, Estrella (2014-09-19)
      Formal Concept Analysis is an emergent area in the topic of data analysis based on lattice theory. In this framework, a context is defined as the relation between a set of objects and a set of attributes and from here it ...
    • CAISL: Simplification Logic for Conditional Attribute Implications 

      Mora Bonilla, Ángel; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Rodríguez-Lorenzo, Estrella; Missaoui, Nokia (2016-07-25)
      In this work, we present a sound and complete axiomatic system for conditional attribute implications (CAIs) in Triadic Concept Analysis (TCA). Our approach is strongly based on the Simplification paradigm which offers a ...
    • Extending FuzAtAnalyzer to approach the management of classical negation 

      Rodríguez-Jiménez, J.M.; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora, Ángel (2015-09-16)
      FuzAtAnalyzer was conceived as a Java framework which goes beyond of classical tools in formal concept analysis. Specifically, it successfully incorporated the management of uncertainty by means of methods and tools from ...
    • Extracción de conocimiento usando atributos negativos en el Análisis de Conceptos Formales. Aplicaciones en la Ingeniería. 

      Rodríguez Jiménez, José Manuel (UMA Editorial, 2017-06-19)
      El objetivo principal de esta tesis es desarrollar un marco general que permita, de una forma uniforme y eficiente, extraer, tratar y representar conocimiento a partir de información positiva y negativa de un conjunto de ...
    • From an implicational system to its corresponding D-basis 

      Rodríguez-Lorenzo, Estrella; Adaricheva, Kira; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora, Ángel (2015-10-30)
      Closure system is a fundamental concept appearing in several areas such as databases, formal concept analysis, artificial intelligence, etc. It is well-known that there exists a connection between a closure operator on a ...
    • Fuzzy Adjunctions revisited 

      Cabrera, Inma P.; Cordero-Ortega, Pablo; De Baets, Bernard; García-Pardo, Francisca; Ojeda-Aciego, Manuel (2016-05-30)
      En este trabajo se intenta obtener la noción de adjunción más débil entre estructuras difusas. Este trabajo continúa la línea de investigación en el estudio y construcción d adjunciones que han realizado los autores en ...
    • On the existence of right adjoints for surjective mappings between fuzzy structures0 

      Cabrera, Inma P.; Cordero-Ortega, Pablo; García-Pardo, Francisca; Ojeda-Aciego, Manuel; De Baets, Bernard (National Research University Higher School of Economics, Russia, 2016)
      En este trabajo los autores continúan su estudio de la caracterización de la existencia de adjunciones (conexiones de Galois isótonas) cuyo codominio no está dotado de estructura en principio. En este artículo se considera ...
    • On the notion of fuzzy adjunctions between fuzzy orders 

      Cabrera, Inma P.; Cordero-Ortega, Pablo; García-Pardo, Francisca; Ojeda-Aciego, Manuel (2015-10-21)
      Las adjunciones (también denominadas conexiones de Galois isótonas) entre dos estructuras matemáticas proporcionan una manera de conectar ambas teorías que permite compartir las ventajas de ambas. Hay varios resultados en ...
    • Removing redundancy for attribute implications in data with grades 

      Mora-Bonilla, Ángel; Rodriguez-Lorenzo, Estrella; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel (Cristina Alcalde, Humberto Bustince, Francisco Javier Fernández, 2016)
      Reasoning with if-then rules –in particular, with those taking from of implications between conjunctions of attributes– is crucial in many disciplines ranging from theoretical computer science to applications. One of the ...
    • The direct-optimal basis via reductions 

      Rodríguez-Lorenzo, Estrella; Bertet, Karell; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora, Ángel (2014-10-23)
      Formal Concept Analysis has become a real approach in the trend Information-Knowledge-Wisdom. It turns around the mining of a data set to built a concept lattice which provides an strong structure of the knowledge. ...
    • Un enfoque lógico a los sistemas de implicaciones y las bases directas 

      Rodriguez-Lorenzo, Estrella (UMA Editorial, 2017-06-20)
      El tratamiento de la información y el conocimiento es uno de los muchos campos en los que confluyen los métodos matemáticos y computacionales. Una de las áreas donde encontramos de forma clara esta concurrencia es en el ...