Abstract
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. Implications play the role of an alternative specification of this concept lattice and may be managed by means of inference rules. This syntactic treatment is guided by several properties like directness, minimality, optimality, etc. In this work, we propose a method to calculate the direct-optimal basis equivalent to a given Implicational System. Our method deals with unitary and non-unitary implications. Moreover, it shows a better performance that previous methods in the literature by means of the use of Simplification Logic and reduction paradigm, which remains narrow implications in any stage of the process. We have also developed an empirical study to compare our method with previous approaches in the literature.
Citation
Please, cite this work as:
[Rod+14] E. Rodr', K. Bertet, P. Cordero, et al. “The Direct-optimal Basis via Reductions”. In: Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Košice, Slovakia, October 7-10, 2014. Ed. by K. Bertet and S. Rudolph. Vol. 1252. CEUR Workshop Proceedings. CEUR-WS.org, 2014, pp. 145-156. URL: https://ceur-ws.org/Vol-1252/cla2014_submission_18.pdf.
@InProceedings{Lorenzo2014,
author = {Estrella Rodr'Lorenzo and Karell Bertet and Pablo Cordero and Manuel Enciso and {’A}ngel Mora},
booktitle = {Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Ko{}ice, Slovakia, October 7-10, 2014},
title = {The Direct-optimal Basis via Reductions},
year = {2014},
editor = {Karell Bertet and Sebastian Rudolph},
pages = {145–156},
publisher = {CEUR-WS.org},
series = {{CEUR} Workshop Proceedings},
volume = {1252},
abstract = {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. Implications play the role of an alternative specification of this concept lattice and may be managed by means of inference rules. This syntactic treatment is guided by several properties like directness, minimality, optimality, etc. In this work, we propose a method to calculate the direct-optimal basis equivalent to a given Implicational System. Our method deals with unitary and non-unitary implications. Moreover, it shows a better performance that previous methods in the literature by means of the use of Simplification Logic and reduction paradigm, which remains narrow implications in any stage of the process. We have also developed an empirical study to compare our method with previous approaches in the literature.},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/conf/cla/LorenzoBCEM14.bib},
timestamp = {Fri, 10 Mar 2023 16:22:10 +0100},
url = {https://ceur-ws.org/Vol-1252/cla2014_submission_18.pdf},
}