2026-05-30T19:30:39Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/82992026-02-03T11:17:35Zcom_10630_2254col_10630_37953

00925njm 22002777a 4500 dc Rodríguez-Lorenzo, Estrella author Bertet, Karell author Cordero-Ortega, Pablo author Enciso-García-Oliveros, Manuel author Mora-Bonilla, Ángel author 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. 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 calcu- late 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. http://hdl.handle.net/10630/8299 Lógica The direct-optimal basis via reductions