A Possibility-Theoretic View of Formal Concept Analysis

Issue title: New Frontiers in Scientific Discovery – Commemorating the Life and Work of Zdzislaw Pawlak

Article type: Research Article

Authors: Dubois, Didier | de Saint-Cyr, Florence Dupin | Prade, Henri

Affiliations: IRIT, Université Paul Sabatier, 31062 Toulouse cedex 09, France. E-mails: dubois@irit.fr; bannay@irit.fr; prade@irit.fr

Abstract: The paper starts from the standard relational view linking objects and properties in formal concept analysis, here augmented with four modal-style operators (known as sufficiency, dual sufficiency, necessity and possibility operators). Formal concept analysis is mainly based on the first operator, while the others come from qualitative data analysis and can be also related to rough set theory. A possibility-theoretic reading of formal concept analysis with these four operators is proposed. First, it is shown that four and only four operators are indeed needed in order to describe the nine situations that can occur when comparing a statement (or its negation) with a state of information. The parallel between possibility theory and formal concept analysis suggests the introduction of new notions such as normalization and conditioning in the latter framework, also leading to point out some meaningful properties. Moreover, the graded setting of possibility theory allows us to suggest the extension of formal concept analysis to situations with incomplete or uncertain information.

Journal: Fundamenta Informaticae, vol. 75, no. 1-4, pp. 195-213, 2007