RT Conference Proceedings
T1 A logic-based approach to compute a direct basis from implications
A1 Cordero-Ortega, Pablo
A1 Enciso-García-Oliveros, Manuel
A1 Mora-Bonilla, Ángel
A1 Ojeda-Aciego, Manuel
A1 Rodríguez-Lorenzo, Estrella
K1 Retículos, Teoría de
K1 Análisis de datos
AB 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 is possible to extract relevant knowledge. One of the important topics is to study the implications between the attributes considered. In a context, some equivalent sets of implications can be compute using different techniques. We are studying the direct optimal basis, which enables us to compute the closure of a set of attributes in just one iteration. A Prolog method has been implemented that computes a direct basis from a set of implications.
YR 2014
FD 2014-09-19
LK http://hdl.handle.net/10630/8061
UL http://hdl.handle.net/10630/8061
LA spa
NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech, TIN12-39353-C04-01 and TIN2011-28084
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 1 mar 2026