Abstract
We revisit the notion of probably approximately correct implication bases from the literature and present a first formulation in the language of formal concept analysis, with the goal to investigate whether such bases represent a suitable substitute for exact implication bases in practical use cases. To this end, we quantitatively examine the behavior of probably approximately correct implication bases on artificial and real-world data sets and compare their precision and recall with respect to their corresponding exact implication bases. Using a small example, we also provide evidence suggesting that implications from probably approximately correct bases can still represent meaningful knowledge from a given data set.
The authors of this work are given in alphabetical order. No priority in authorship is implied.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Adaricheva, K., Nation, J.B.: Discovery of the D-basis in binary tables based on hypergraph dualization. Theoret. Comput. Sci. 658, 307–315 (2017)
Agrawal, R., Imielinski, T., Swami, A.N.: Mining association rules between sets of items in large databases. In: Proceedings of ACM SIGMOD International Conference on Management of Data, pp. 207–216 (1993)
Angluin, D.: Queries and concept learning. Mach. Learn. 2(4), 319–342 (1988)
Angluin, D., Frazier, M., Pitt, L.: Learning conjunctions of Horn clauses. Mach. Learn. 9(2–3), 147–164 (1992)
Arias, M., Balcázar, J.L.: Construction and learnability of canonical Horn formulas. Mach. Learn. 85(3), 273–297 (2011)
Babin, M.A.: Models, methods, and programs for generating relationships from a lattice of closed sets. Ph.D. thesis. Higher School of Economics, Moscow (2012)
Borchmann, D.: Learning terminological knowledge with high confidence from erroneous data. Ph.D. thesis, Technische Universität Dresden, Dresden (2014)
Borchmann, D., Hanika, T.: Some experimental results on randomly generating formal contexts. In: Huchard, M., Kuznetsov, S. (eds.) Proceedings of 13th International Conference on Concept Lattices and Their Applications (CLA 2016), CEUR Workshop Proceedings, vol. 1624, pp. 57–69. CEUR-WS.org (2016)
Ganter, B.: Two basic algorithms in concept analysis. In: Kwuida, L., Sertkaya, B. (eds.) ICFCA 2010. LNCS, vol. 5986, pp. 312–340. Springer, Heidelberg (2010). doi:10.1007/978-3-642-11928-6_22
Ganter, B., Obiedkov, S.: Conceptual Exploration. Springer, Heidelberg (2016)
Guigues, J.-L., Duquenne, V.: Famille minimale d’implications informatives résultant d’un tableau de données binaires. Mathématiques et Sciences Humaines 24(95), 5–18 (1986)
Kautz, H., Kearns, M., Selman, B.: Horn approximations of empirical data. Artif. Intell. 74(1), 129–145 (1995)
Kriegel, F., Borchmann, D.: NextClosures: parallel computation of the canonical base. In: Yahia, S.B., Konecny, J. (eds.) Proceedings of 12th International Conference on Concept Lattices and Their Applications (CLA 2015), CEUR Workshop Proceedings, vol. 1466, pp. 182–192. CEUR-WS.org, Clermont-Ferrand (2015)
Kuznetsov, S.O.: On the intractability of computing the Duquenne-Guigues base. J. Univers. Comput. Sci. 10(8), 927–933 (2004)
Obiedkov, S., Duquenne, V.: Attribute-incremental construction of the canonical implication basis. Ann. Math. Artif. Intell. 49(1–4), 77–99 (2007)
Ryssel, U., Distel, F., Borchmann, D.: Fast algorithms for implication bases and attribute exploration using proper premises. Ann. Math. Artif. Intell. Special Issue 65, 1–29 (2013)
Stumme, G.: Off to new shores - conceptual knowledge discovery and processing. Int. J. Hum.-Comput. Stud. (IJHCS) 59(3), 287–325 (2003)
Valiant, L.G.: A theory of the learnable. Commun. ACM 27(11), 1134–1142 (1984)
Acknowledgments
Daniel Borchmann gratefully acknowledges support by the Cluster of Excellence “Center for Advancing Electronics Dresden” (cfAED). Sergei Obiedkov received support within the framework of the Basic Research Program at the National Research University Higher School of Economics (HSE) and within the framework of a subsidy by the Russian Academic Excellence Project ‘5-100’. The computations presented in this paper were conducted by conexp-clj, a general-purpose software for formal concept analysis (https://github.com/exot/conexp-clj).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Borchmann, D., Hanika, T., Obiedkov, S. (2017). On the Usability of Probably Approximately Correct Implication Bases. In: Bertet, K., Borchmann, D., Cellier, P., Ferré, S. (eds) Formal Concept Analysis. ICFCA 2017. Lecture Notes in Computer Science(), vol 10308. Springer, Cham. https://doi.org/10.1007/978-3-319-59271-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-59271-8_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-59270-1
Online ISBN: 978-3-319-59271-8
eBook Packages: Computer ScienceComputer Science (R0)