Formal Concept analysis from the standpoint of possibility theory (Invited Talks CLA 2015)
Résumé
Formal concept analysis (FCA) and possibility theory (PoTh) are two theoretical frameworks that are addressing different concerns in the processing of information. Namely FCA builds concepts from a relation linking objects to the properties they satisfy, which has applications in data mining, clustering and related fields, while PoTh deals with the modeling of (graded) epistemic uncertainty. This difference of focus explains why the two settings have been developed completely independently for a very long time. However, it is possible to make a formal parallel between FCA and PoTh by viewing the relation linking objects and properties as, e.g., defining the set of possible objects that share a property. Then the FCA operator defining the set of objects sharing a set of properties, which is at the basis of of the definition of formal concepts, appears to be the counterpart of the set function expressing strong (or guaranteed) in PoTh. The parallel of FCA with PoTh is still made more striking using a cube of opposition (a device extending the tradition square of opposition existing in logic, and exhibiting a structure at work in many theories aiming at representing some aspects of the handling of information). Then, it suggests that three other set functions existing in PoTh should also make sense in FCA, which leads to consider their FCA counterparts and new fixed point equations in terms of the new operators. One of this pair of equations, paralleling the one defining formal concepts, define independent sub-contexts of objects and properties that have nothing in common. The parallel of FCA with PoTh extends to conceptual pattern structures, where objects, may, e.g., be described by possibilistic knowledge bases. Besides, the links object-property in formal contexts in FCA may be a matter of degree. These degrees may refer to very different notions, such as the degree of satisfaction of a gradual property, the degree of certainty that an object has, or not, a property, or still the typicality of an object with respect to a set of properties. These different intended semantics call for distinct manners of handling the degrees, as advocated in the presentation. Lastly, applications of FCA to the mining of association rules, to the fusion of conflicting pieces of information issued from multiple sources, to clustering of sets of objects on the basis of approximate concepts, or to the building of conceptual analogical proportions, will be discussed as examples of lines of interest for further research.