Abstract
In this paper, we introduce an implementation of an inference rule called “Independence Rule” which lets us reduce the size of knowledge basis based on the retraction problem. This implementation is made in a functional language, Scala, and specialized on attribute implications. We evaluate its efficiency related to the Stem Base generation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alonso-Jiménez, J.A., Aranda-Corral, G.A., Borrego-Díaz, J., Fernández-Lebrón, M.M., Hidalgo-Doblado, M.J.: Extending attribute exploration by means of boolean derivatives. In: Proceedings of 6th International Conference on Concept Lattices and Their Applications (CLA2008), pp. 121–132 (2008)
Aranda-Corral, G.A., Borrego-Díaz, J., Fernández-Lebrón, M.M.: Conservative retractions of propositional logic theories by means of boolean derivatives: theoretical foundations. In Proceedings of 16th CALCULEMUS Congress. Lecture Notes in Artificial Intelligence, vol. 5625, pp. 45–58. Springer, Berlin (2009)
Borrego-Díaz, J., Fernández-Lebrón, M.: Theoretical Foundations of a Specialised Polynomial-Based Calculus for Computing Conservative Retractions in Propositional Logic (2008)
Cook, S.A.: The complexity of theorem-proving procedures. In: Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, STOC 1971, pp. 151–158. ACM, New York, USA (1971)
Ganter, B., Wille, R.: Formal Concepts Analysis. Mathematical Foundations. Springer, Berlin (1999)
Guigues, J.-L., Duquenne, V.: Familles minimales d’ implications informatives resultant d’un tableau de donnees binaires. Math. Sci. Hum. 95, 5–18 (1986)
Papadimitriou, C.: Computational Complexity. Addison-Wesley, New York (1994)
Taouil, R., Bastide, Y.: Computing proper implications. In: Mephu et al., E. (eds.) Proceedings of Workshop on Concept Lattices-based Theory, Methods and Tools for Knowledge Discovery in Databases, pp. 49–61 (2001)
Yevtushenko, S.A.: System of data analysis “Concept Explorer”. In: Proceedings of the 7th National Conference on Artificial Intelligence KI–2000, pp. 127–134 (2000)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Aranda-Corral, G.A., Borrego-Díaz, J., Galán-Páez, J., Caballero, A.T. (2019). On Experimental Efficiency for Retraction Operator to Stem Basis. In: Cornejo, M., Kóczy, L., Medina, J., De Barros Ruano, A. (eds) Trends in Mathematics and Computational Intelligence. Studies in Computational Intelligence, vol 796. Springer, Cham. https://doi.org/10.1007/978-3-030-00485-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-00485-9_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-00484-2
Online ISBN: 978-3-030-00485-9
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)