Abstract
Formal Concept Analysis (FCA) theory relies on relational representation called formal context. Dealing with incomplete representations is a challenging issue in FCA. In this spirit, a Kripke structure has been proposed as semantics of three-valued Kleene’s logic for the exclusive definition of validity and possibility of attribute implications. Existing approaches consider possible intents as a set of attributes possibly satisfied by a given set of objects (a possible extent is dually considered). It appears that such a consideration is counter intuitive and quite misleading. Indeed, considering a possible intent as a whole granule of knowledge, in which each attribute is possibly satisfied by “all” objects, is a binding measure, in the sense that we cannot have possible intermediate granules of knowledge (i.e. intents or extents).
In this paper, we propose as a first stage, a new Kripke structure as semantics of modal logic. This structure is based on a completely different consideration, namely: “an object is a possible world”. As a second stage, a distance \( \delta \) that measures the implication strength \( o \rightarrow Y \) (dually \( p \rightarrow X \)) between an object o and a set of properties Y (dually between a property p and a set of objects X) is proposed. This distance which is recursively defined upon the accessibility relation, allows to bring an ordered set of possible worlds.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Ait-Yakoub, Z., Djouadi, Y., Dubois, D., Prade, H.: Asymmetric composition of possibilistic operators in formal concept analysis: application to the extraction of attribute implications from incomplete contexts. Int. J. Intell. Syst. 32(12), 1285–1311 (2017)
Bĕlohlávek, R.: Concept lattices and order in fuzzy logic. Ann. Pure Appl. Logic 128(1–3), 277–298 (2004)
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
Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
Djouadi, Y., Dubois, D., Prade, H.: On the possible meanings of degrees when making formal concept analysis fuzzy. Proc. Eurofuse, 253–258 (2009)
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 (LNAI), vol. 6178, pp. 260–269. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-14049-5_27
Djouadi, Y., Prade, H.: Possibility-theoretic extension of derivation operators in formal concept analysis over fuzzy lattices. Fuzzy Optim. Decis. Making 10(4), 287 (2011)
Dubois, D., Prade, H.: Possibility theory and formal concept analysis in information systems. In: IFSA-EUSFLAT. Citeseer (2009)
Dubois, D., Prade, H.: Possibility theory and formal concept analysis: characterizing independent sub-contexts. Fuzzy Sets Syst. 196, 4–16 (2012)
Ferré, S., Ridoux, O.: A logical generalizationof formal concept analysis. In: Ganter, B., Mineau, G.W. (eds.) ICCS-ConceptStruct 2000. LNCS (LNAI), vol. 1867, pp. 371–384. Springer, Heidelberg (2000). https://doi.org/10.1007/10722280_26
Ferré, S., Ridoux, O., Sigonneau, B.: Arbitrary relations in formal concept analysis and logical information systems. In: Dau, F., Mugnier, M.-L., Stumme, G. (eds.) ICCS-ConceptStruct 2005. LNCS (LNAI), vol. 3596, pp. 166–180. Springer, Heidelberg (2005). https://doi.org/10.1007/11524564_11
Hughes, G.E., Cresswell, M.J., Cresswell, M.M.: A New Introduction to Modal Logic. Psychology Press, London (1996)
Kracht, M., Kutz, O.: Logically possible worlds and counterpart semantics for modal logic. In: Philosophy of Logic, pp. 943–995. Elsevier (2007)
Kripke, S.A.: Semantical analysis of modal logic I normal modal propositional calculi. Math. Logic Quart. 9(5–6), 67–96 (1963)
Kumar, C.: Knowledge discovery in data using formal concept analysis and random projections. Int. J. Appl. Math. Comput. Sci. 21(4), 745–756 (2011)
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
Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Ferré, S., Rudolph, S. (eds.) ICFCA 2009. LNCS (LNAI), vol. 5548, pp. 314–339. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-01815-2_23
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Sadou, M., Djouadi, Y., Hadj-Ali, A. (2020). Modal Interpretation of Formal Concept Analysis for Incomplete Representations. In: Davis, J., Tabia, K. (eds) Scalable Uncertainty Management. SUM 2020. Lecture Notes in Computer Science(), vol 12322. Springer, Cham. https://doi.org/10.1007/978-3-030-58449-8_20
Download citation
DOI: https://doi.org/10.1007/978-3-030-58449-8_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-58448-1
Online ISBN: 978-3-030-58449-8
eBook Packages: Computer ScienceComputer Science (R0)