Skip to main content

Formal Concept Analysis from the Standpoint of Possibility Theory

  • Conference paper
  • First Online:
Formal Concept Analysis (ICFCA 2015)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9113))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    We again provide the proof for the sake of self-containedness.

References

  1. 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)

    Chapter  Google Scholar 

  2. 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)

    Chapter  Google Scholar 

  3. 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

    Google Scholar 

  4. 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

    Google Scholar 

  5. Barbut, M., Monjardet, B.: Ordre et Classification. Algèbre et Combinatoire. Tome 2. Hachette, Paris (1970)

    MATH  Google Scholar 

  6. Bělohlávek, R.: Fuzzy Galois connections. Math. Logic Q. 45, 497–504 (1999)

    Article  MATH  Google Scholar 

  7. Bělohlávek, R.: Optimal triangular decompositions of matrices with entries from residuated lattices. Int. J. Approximate Reasoning 50(8), 1250–1258 (2009)

    Article  MATH  Google Scholar 

  8. Bělohlávek, R., Vychodil, V.: What is a fuzzy concept lattice. In: Proceedings CLA2005, pp. 34–45, Olomuc, Czech Republic (2005)

    Google Scholar 

  9. 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)

    Article  MATH  Google Scholar 

  10. Burusco, A., Fuentes-Gonzalez, R.: The study of the L-fuzzy concept lattice. Mathw. Soft Comput. 3, 209–218 (1994)

    MathSciNet  Google Scholar 

  11. 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

    Google Scholar 

  12. 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)

    Chapter  Google Scholar 

  13. 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)

    Chapter  Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    Article  MathSciNet  MATH  Google Scholar 

  16. 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)

    MathSciNet  MATH  Google Scholar 

  17. Dubois, D., Prade, H.: Fuzzy Sets and Systems: Theory and Applications. Academic Press, New York (1980)

    MATH  Google Scholar 

  18. Dubois, D., Prade, H.: Possibility Theory: An Approach to Computerized Processing of Uncertainty. Plenum Press, New York (1988)

    Book  MATH  Google Scholar 

  19. 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

    Google Scholar 

  20. 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)

    Google Scholar 

  21. Dubois, D., Prade, H.: Possibility theory. In: Meyers, R. (ed.) Encyclopedia of Complexity and Systems Science, pp. 6927–6939. Springer, New York (2009)

    Chapter  Google Scholar 

  22. 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

    Google Scholar 

  23. Dubois, D., Prade, H.: Gradualness, uncertainty and bipolarity: making sense of fuzzy sets. Fuzzy Sets Syst. 192, 3–24 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  24. Dubois, D., Prade, H.: Possibility theory and formal concept analysis: characterizing independent sub-contexts. Fuzzy Sets Syst. 196, 4–16 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  25. 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)

    Article  MathSciNet  MATH  Google Scholar 

  26. 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)

    Google Scholar 

  27. Düntsch, I., Orlowska, E.: Mixing modal and sufficiency operators. Bull. Sect. Log. Pol. Acad. Sci. 28(2), 99–106 (1999)

    MATH  Google Scholar 

  28. 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)

    Google Scholar 

  29. 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)

    Chapter  Google Scholar 

  30. Ganter, B., Wille, R.: Formal Concept Analysis. Springer-Verlag, Heidelberg (1999)

    Book  MATH  Google Scholar 

  31. 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)

    Chapter  Google Scholar 

  32. 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)

    Article  Google Scholar 

  33. Georgescu, G., Popescu, A.: Non-dual fuzzy connections. Arch. Math. Log. 43(8), 1009–1039 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  34. 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

    Google Scholar 

  35. Höppner, F., Klawonn, F., Kruse, R., Runkler, T.: Fuzzy Cluster Analysis: Methods for Classification. Data Analysis and Image Recognition. Wiley, New York (1999)

    MATH  Google Scholar 

  36. 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)

    Google Scholar 

  37. 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

    Google Scholar 

  38. 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)

    Chapter  Google Scholar 

  39. Parsons, T.: The traditional square of opposition. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Fall 2008 edn (2008)

    Google Scholar 

  40. Pawlak, Z.: Rough Sets. Theoretical Aspects of. Reasoning about Data. Kluwer Academic Publisher, Norwell (1991)

    Google Scholar 

  41. Popescu, A.: A general approach to fuzzy concepts. Math. Log. Q. 50, 265–280 (2004)

    Article  MATH  Google Scholar 

  42. Schaeffer, E.: Graph clustering. Comput. Sci. Rev. 1, 27–64 (2007)

    Article  MATH  Google Scholar 

  43. Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Rival, I. (ed.) Ordered Sets, pp. 445–470. Reidel, Dordrecht (1982)

    Google Scholar 

  44. Wolff, K.E.: Concepts in fuzzy scaling theory: order and granularity. Fuzzy Sets Syst. 132, 63–75 (2002)

    Article  MATH  Google Scholar 

  45. 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)

    Chapter  Google Scholar 

  46. 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)

    Chapter  Google Scholar 

  47. Zadeh, L.A.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets Syst. 1, 3–28 (1978)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Henri Prade .

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics