Abstract
Formal concept analysis (FCA) and possibility theory (PoTh) have been developed independently. They address different concerns in information processing: while FCA exploits relations linking objects and properties, and has applications in data mining and clustering, PoTh deals with the modeling of (graded) epistemic uncertainty. However, making a formal parallel between FCA and PoTh is fruitful. The four set-functions at work in PoTh have meaningful counterparts in FCA; this leads to consider operators neglected in FCA, and thus new fixed point equations. One of these pairs of equations, paralleling the one defining formal concepts in FCA, defines independent sub-contexts of objects and properties that have nothing in common. The similarity of the structures underlying FCA and PoTh is still more striking, using a cube of opposition (a device extending the traditional square of opposition in logic). Beyond the parallel between FCA and PoTh, this invited contribution, which largely relies on several past publications by the authors, also addresses issues pertaining to the possible meanings, degree of satisfaction vs. degree of certainty, of graded object-property links, which calls for distinct manners of handling the degrees. Other lines of interest for further research are briefly mentioned.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We again provide the proof for the sake of self-containedness.
References
Amgoud, L., Prade, H.: A formal concept view of abstract argumentation. In: van der Gaag, L.C. (ed.) ECSQARU 2013. LNCS, vol. 7958, pp. 1–12. Springer, Heidelberg (2013)
Assaghir, Z., Kaytoue, M., Prade, H.: A possibility theory-oriented discussion of conceptual pattern structures. In: Deshpande, A., Hunter, A. (eds.) SUM 2010. LNCS, vol. 6379, pp. 70–83. Springer, Heidelberg (2010)
Assaghir, Z., Napoli, A., Kaytoue, M., Dubois, D., Prade, H.: Numerical information fusion: lattice of answers with supporting arguments. In: Proceedings of 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI’11), pp. 621–628, Boca Raton, 7–9 November 2011
Barbot, N., Miclet, L., Prade, H.: Analogical Proportions and the Factorization of Information in Distributive Lattices. In: CEUR Workshop Proceedings of the Tenth International Conference on Concept Lattices and Their Applications CLA 2013, pp. 175-186, La Rochelle, 15-18 October 2013
Barbut, M., Monjardet, B.: Ordre et Classification. Algèbre et Combinatoire. Tome 2. Hachette, Paris (1970)
Bělohlávek, R.: Fuzzy Galois connections. Math. Logic Q. 45, 497–504 (1999)
Bělohlávek, R.: Optimal triangular decompositions of matrices with entries from residuated lattices. Int. J. Approximate Reasoning 50(8), 1250–1258 (2009)
Bělohlávek, R., Vychodil, V.: What is a fuzzy concept lattice. In: Proceedings CLA2005, pp. 34–45, Olomuc, Czech Republic (2005)
Bělohlávek, R., Vychodil, V.: Discovery of optimal factors in binary data via a novel method of matrix decomposition. J. Comput. Syst. Sci. 76(1), 3–20 (2010)
Burusco, A., Fuentes-Gonzalez, R.: The study of the L-fuzzy concept lattice. Mathw. Soft Comput. 3, 209–218 (1994)
Carpineto, C., Romano, G.: GALOIS: an order-theoretic approach to conceptual clustering. In: Proceedings of 10th International Conference on Machine Learning, pp. 33–40. Morgan Kaufmann, Amherst, 27–29 June 1993
Ciucci, D., Dubois, D., Prade, H.: The structure of oppositions in rough set theory and formal concept analysis - toward a new bridge between the two settings. In: Beierle, C., Meghini, C. (eds.) FoIKS 2014. LNCS, vol. 8367, pp. 154–173. Springer, Heidelberg (2014)
Djouadi, Y., Dubois, D., Prade, H.: Possibility theory and formal concept analysis: context decomposition and uncertainty handling. In: Hüllermeier, E., Kruse, R., Hoffmann, F. (eds.) IPMU 2010. LNCS, vol. 6178, pp. 260–269. Springer, Heidelberg (2010)
Djouadi, Y., Dubois, D., Prade, H.: Graduality, uncertainty and typicality in formal concept analysis. In: Cornelis, C., Deschrijver, G., Nachtegael, M., Schockaert, S., Shi, Y. (eds.) 35 years of Fuzzy Sets Theory - Celebratory Volume Dedicated to the Retirement of Etienne E. Kerre. SFSC 261, pp. 127–147. Springer, Heidelberg (2011)
Djouadi, Y., Prade, H.: Possibility-theoretic extension of derivation operators in formal concept analysis over fuzzy lattices. Fuzzy Optim. Decis. Making 10(4), 287–309 (2011)
Dubois, D., Dupin de Saint Cyr, F., Prade, H.: A possibility-theoretic view of formal concept analysis. Fundamenta Informaticae 75(1–4), 195–213 (2007)
Dubois, D., Prade, H.: Fuzzy Sets and Systems: Theory and Applications. Academic Press, New York (1980)
Dubois, D., Prade, H.: Possibility Theory: An Approach to Computerized Processing of Uncertainty. Plenum Press, New York (1988)
Dubois, D., Prade, H.: Possibility theory as a basis for preference propagation in automated reasoning. In: Proceedings of 1st IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 1992), San Diego, pp. 821–832, 8–12 March 1992
Dubois, D., Prade, H.: Possibility theory: qualitative and quantitative aspects. In: Gabbay, D., Smets, P. (eds.) Quantified Representation of Uncertainty and Imprecision of Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 1, pp. 169–226. Kluwer Academic Publisher, Dordercht (1998)
Dubois, D., Prade, H.: Possibility theory. In: Meyers, R. (ed.) Encyclopedia of Complexity and Systems Science, pp. 6927–6939. Springer, New York (2009)
Dubois, D., Prade, H.: Possibility theory and formal concept analysis in information systems. In: Proceedings of International Fuzzy Systems Association World Congress and Conference of the Europe Society for Fuzzy Logic and Technology (IFSA-EUSFLAT 2009), pp. 1021–1026, Lisbon, 20–24 July 2009
Dubois, D., Prade, H.: Gradualness, uncertainty and bipolarity: making sense of fuzzy sets. Fuzzy Sets Syst. 192, 3–24 (2012)
Dubois, D., Prade, H.: Possibility theory and formal concept analysis: characterizing independent sub-contexts. Fuzzy Sets Syst. 196, 4–16 (2012)
Dubois, D., Prade, H.: From Blanché’s hexagonal organization of concepts to formal concept analysis and possibility theory. Logica Universalis 6(1–2), 149–169 (2012)
Düntsch, I., Gediga, G.: Approximation operators in qualitative data analysis. In: de Swart, H., Orlowska, E., Schmidt, G., Roubens, M. (eds.) Theory and Application of Relational Structures as Knowledge Instruments, pp. 216–233. Springer, Heidelberg (2003)
Düntsch, I., Orlowska, E.: Mixing modal and sufficiency operators. Bull. Sect. Log. Pol. Acad. Sci. 28(2), 99–106 (1999)
Ferré, S., Ridoux, O.: A logical generalization of formal concept analysis. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol. 1867. Springer, Heidelberg (2000)
Ganter, B., Kuznetsov, S.O.: Pattern structures and their projections. In: Delugach, H.S., Stumme, G. (eds.) ICCS 2001. LNCS (LNAI), vol. 2120, p. 129. Springer, Heidelberg (2001)
Ganter, B., Wille, R.: Formal Concept Analysis. Springer-Verlag, Heidelberg (1999)
Gaume, B., Navarro, E., Prade, H.: A parallel between extended formal concept analysis and bipartite graphs analysis. In: Hüllermeier, E., Kruse, R., Hoffmann, F. (eds.) IPMU 2010. LNCS, vol. 6178, pp. 270–280. Springer, Heidelberg (2010)
Gaume, B., Navarro, E., Prade, H.: Clustering bipartite graphs in terms of approximate formal concepts and sub-contexts. Int. J. Comput. Intell. Syst. 6(6), 1125–1142 (2013)
Georgescu, G., Popescu, A.: Non-dual fuzzy connections. Arch. Math. Log. 43(8), 1009–1039 (2004)
Miclet, L., Prade, H.,Guennec, D.: Looking for analogical properties in a formal concept analysis setting. In: Napoli, A., Vychodil, V. (eds.) proceedings of 8th International Conference on Concept Lattices and Their Application (CLA 2011), pp. 295–307. INRIA, Nancy, 17–20 October 2011
Höppner, F., Klawonn, F., Kruse, R., Runkler, T.: Fuzzy Cluster Analysis: Methods for Classification. Data Analysis and Image Recognition. Wiley, New York (1999)
Messai, N., Devignes, M., Napoli, A., Tabbone, M.: Many-valued concept lattices for conceptual clustering and information retrieval. In: Proceedings of 18th European Conference on Artificial Intelligence, pp. 722–727, Patras (2008)
Miclet, L., Barbot, N., Prade, H.: From analogical proportions in lattices to proportional analogies in formal concepts. In: Schaub, T., Friedrich, G., O’Sullivan, B. (eds.) Proceedings of 21st European Conference on Artificial Intelligence (ECAI14), pp. 627–632. IOS Press, Prague, 18–22 August 2014
Navarro, E., Prade, H., Gaume, B.: Clustering sets of objects using concepts-objects bipartite graphs. In: Hüllermeier, E., Link, S., Fober, T., Seeger, B. (eds.) SUM 2012. LNCS, vol. 7520, pp. 420–432. Springer, Heidelberg (2012)
Parsons, T.: The traditional square of opposition. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Fall 2008 edn (2008)
Pawlak, Z.: Rough Sets. Theoretical Aspects of. Reasoning about Data. Kluwer Academic Publisher, Norwell (1991)
Popescu, A.: A general approach to fuzzy concepts. Math. Log. Q. 50, 265–280 (2004)
Schaeffer, E.: Graph clustering. Comput. Sci. Rev. 1, 27–64 (2007)
Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Rival, I. (ed.) Ordered Sets, pp. 445–470. Reidel, Dordrecht (1982)
Wolff, K.E.: Concepts in fuzzy scaling theory: order and granularity. Fuzzy Sets Syst. 132, 63–75 (2002)
Yao, Y., Chen, Y.: Rough set approximations in formal concept analysis. In: Peters, J.F., Skowron, A. (eds.) Transactions on Rough Sets V. LNCS, vol. 4100, pp. 285–305. Springer, Heidelberg (2006)
Yao, Y.: A comparative study of formal concept analysis and rough set theory in data analysis. In: Tsumoto, S., Słowiński, R., Komorowski, J., Grzymała-Busse, J.W. (eds.) RSCTC 2004. LNCS (LNAI), vol. 3066, pp. 59–68. Springer, Heidelberg (2004)
Zadeh, L.A.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets Syst. 1, 3–28 (1978)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Dubois, D., Prade, H. (2015). Formal Concept Analysis from the Standpoint of Possibility Theory. In: Baixeries, J., Sacarea, C., Ojeda-Aciego, M. (eds) Formal Concept Analysis. ICFCA 2015. Lecture Notes in Computer Science(), vol 9113. Springer, Cham. https://doi.org/10.1007/978-3-319-19545-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-19545-2_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19544-5
Online ISBN: 978-3-319-19545-2
eBook Packages: Computer ScienceComputer Science (R0)