Abstract
Formal Concept Analysis (FCA) extracts knowledge from an object-attribute relation. In the classical case, it focuses on positive information, i.e. attributes that are satisfied by objects. Several papers have recently been published extending FCA to manage negative information, i.e. attributes that are not satisfied by objects. However, the study of unknown information –being unknown, whether it is positive or negative value– is an issue to be explored. In this paper, we approach this problem by using a 4-valued logic. Specifically, given a context with partial information that corresponds to a 3-valued relation, we define a 4-valued Galois connection from where we extend the notions of concept and implication. Also, we present Amstrong’s axioms in this new framework, and we prove that this inference system is sound and complete.
Supported by Grants TIN2017-89023-P and PRE2018-085199 of the Science and Innovation Ministry of Spain and UMA2018-FEDERJA-001 of the Junta de Andalucia, and European Social Fund.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
A mapping \(\varphi \) in \((L,\le )\) is antitone if \(x \le y\) implies \(\varphi (x) \ge \varphi (y)\), for all \(x,y\in L\).
References
Birkhoff, G.: Lattice Theory, 1st edn. American Mathematical Society Colloquium Publications, Providence (1940)
Burmeister, P., Holzer, R.: Treating incomplete knowledge in formal concept analysis. In: Ganter, B., Stumme, G., Wille, R. (eds.) Formal Concept Analysis. LNCS (LNAI), vol. 3626, pp. 114–126. Springer, Heidelberg (2005). https://doi.org/10.1007/11528784_6
Cordero, P., Enciso, M., Mora, A., Rodríguez-Jiménez, J.M.: Inference of mixed information in formal concept analysis. Stud. Comput. Intell. 796, 81–87 (2019)
Davey, B., Priestley, H.: Introduction to Lattices and Order, vol. 2. Cambridge University Press, Cambridge (2002)
Finn, V.: About machine-oriented formalization of plausible reasonings. F. Beckon-J.S. Mill Style, Semiotika I Informatika 20, 35–101 (1983)
Fitting, M.: Bilattices and the semantics of logic programming. J. Logic Programm. 11(2), 91–116 (1991)
Fitting, M.: Bilattices are nice things. In: Hendricks, V.F., Pedersen, S.A., Bolander, T. (eds.) Self-reference, pp. 53–77. Cambridge University Press, CSLI Publications, Cambridge (2006)
Ganter, B., Kuznetsov, S.: Hypotheses and version spaces. ICCS, pp. 83–95 (2003)
Ganter, B., Obiedkov, S.: More expressive variants of exploration. In: Conceptual Exploration, pp. 237–292. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-49291-8_6
Makhalova, T., Trnecka, M.: A study of boolean matrix factorization under supervised settings. In: Cristea, D., Le Ber, F., Sertkaya, B. (eds.) ICFCA 2019. LNCS (LNAI), vol. 11511, pp. 341–348. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-21462-3_24
Ganter, B., Kwuida, L.: Which concept lattices are pseudocomplemented? Lect. Notes Comput. Sci. 3403, 408–416 (2005)
Ganter, B., Wille, R.: Applied lattice theory: formal concept analysis. In: Grätzer, G. (ed.) General Lattice Theory. Birkhäuser. Preprints (1997)
Konecny, J.: Attribute implications in L-concept analysis with positive and negative attributes: validity and properties of models. Int. J. Approximate Reason. 120, 203–215 (2020)
Kuznetsov, S.O., Revenko, A.: Interactive error correction in implicative theories. Int. J. Approximate Reason. 63, 89–100 (2015)
Kuztnesov, S.O.: Mathematical aspects of concept analysis. J. Math. Sci. 80, 1654–1698 (1996)
Kuznetsov, S.O.: Galois connections in data analysis: contributions from the soviet era and modern russian research. In: Ganter, B., Stumme, G., Wille, R. (eds.) Formal Concept Analysis. LNCS (LNAI), vol. 3626, pp. 196–225. Springer, Heidelberg (2005). https://doi.org/10.1007/11528784_11
Missaoui, R., Nourine, L., Renaud, Y.: Computing implications with negation from a formal context. Fundam. Informaticae 115(4), 357–375 (2012)
Mora, A., Cordero, P., Enciso, M., Fortes, I., Aguilera, G.: Closure via functional dependence simplification. Int. J. Comput. Math. 89(4), 510–526 (2012)
Obiedkov, S.: Modal logic for evaluating formulas in incomplete contexts. In: Priss, U., Corbett, D., Angelova, G. (eds.) ICCS-ConceptStruct 2002. LNCS (LNAI), vol. 2393, pp. 314–325. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45483-7_24
Rodríguez-Jiménez, J., Cordero, P., Enciso, M., Rudolph, S.: Concept lattices with negative information: a characterization theorem. Inform. Sci. 369, 51–62 (2016)
Rodríguez-Jiménez, J.M., Cordero, P., Enciso, M., Mora, A.: Data mining algorithms to compute mixed concepts with negative attributes: an application to breast cancer data analysis. Math. Methods Appl. Sci. 39(16), 4829–4845 (2016)
Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. Ordered Sets 83, 445–470 (1982)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Pérez-Gámez, F., Cordero, P., Enciso, M., Mora, A. (2021). A New Kind of Implication to Reason with Unknown Information. In: Braud, A., Buzmakov, A., Hanika, T., Le Ber, F. (eds) Formal Concept Analysis. ICFCA 2021. Lecture Notes in Computer Science(), vol 12733. Springer, Cham. https://doi.org/10.1007/978-3-030-77867-5_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-77867-5_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-77866-8
Online ISBN: 978-3-030-77867-5
eBook Packages: Computer ScienceComputer Science (R0)