Direct-optimal basis computation by means of the fusion of simplification rules

 

Abstract

The importance of the computation of direct bases of implications has been motivated by several authors in different areas. They emphasize the use of direct bases in several problems, where a large number of closures are needed. The more efficient the basis computation is, the better performance the methods solving these problems has. Here, we propose a new method, named SLgetdo, to calculate the direct-optimal basis. The main characteristic of SLgetdo is the full integration of simplification paradigm, providing a limited rise of the implicational set throughout its execution. We have showed the better behavior of SLgetdo in an empirical experiment. The general conclusion is that it improves the performance of previous methods, providing a better management of time and space resources.

Citation

Please, cite this work as:

[Rod+18] E. Rodríguez-Lorenzo, K. Bertet, P. Cordero, et al. “Direct-optimal basis computation by means of the fusion of simplification rules”. In: Discrete Applied Mathematics 249 (2018). Concept Lattices and Applications: Recent Advances and New Opportunities, pp. 106-119. ISSN: 0166-218X. DOI: https://doi.org/10.1016/j.dam.2017.12.031. URL: https://www.sciencedirect.com/science/article/pii/S0166218X1730611X.

BibTeX

@article{RODRIGUEZLORENZO2018106,
    title = {Direct-optimal basis computation by means of the fusion of simplification rules},
    journal = {Discrete Applied Mathematics},
    volume = {249},
    pages = {106-119},
    year = {2018},
    note = {Concept Lattices and Applications: Recent Advances and New Opportunities},
    issn = {0166-218X},
    doi = {https://doi.org/10.1016/j.dam.2017.12.031},
    url = {https://www.sciencedirect.com/science/article/pii/S0166218X1730611X},
    author = {Estrella Rodríguez-Lorenzo and Karell Bertet and Pablo Cordero and Manuel Enciso and Ángel Mora},
    keywords = {Direct-optimal basis, Closure, Simplification Logic},
    abstract = {The importance of the computation of direct bases of implications has been motivated by several authors in different areas. They emphasize the use of direct bases in several problems, where a large number of closures are needed. The more efficient the basis computation is, the better performance the methods solving these problems has. Here, we propose a new method, named SLgetdo, to calculate the direct-optimal basis. The main characteristic of SLgetdo is the full integration of simplification paradigm, providing a limited rise of the implicational set throughout its execution. We have showed the better behavior of SLgetdo in an empirical experiment. The general conclusion is that it improves the performance of previous methods, providing a better management of time and space resources.}
}