Listar por autor "Rodríguez-Lorenzo, Estrella"
Mostrando ítems 1-6 de 6
-
A logic-based approach to compute a direct basis from implications
Cordero-Ortega, Pablo
; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Á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 ... -
From an implicational system to its corresponding D-basis
Rodríguez-Lorenzo, Estrella; Adaricheva, Kira; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Á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 ... -
Removing redundancy for attribute implications in data with grades
Mora-Bonilla, Ángel; Rodríguez-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-Bonilla, Á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
(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 ...