A Possibility Theory-Oriented Discussion of Conceptual Pattern Structures

Zainab Assaghir (1) , Mehdi Kaytoue (1) , Henri Prade (2)

1 ORPAILLEUR - Knowledge representation, reasonning
2 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage

A fruitful analogy between possibility theory and formal concept analysis has recently contributed to show the interest of introducing new operators in this latter setting. In particular, another Galois connection, distinct from the classical one that defines formal concepts, has been laid bare which allows for the decomposition of a formal context into sub-contexts when possible. This paper pursues a similar investigation by considering pattern structures which are known to offer a generalization of formal concept analysis. The new operators as well as the other Galois connection are introduced in this framework, where an object is associated to a structured description rather than just to its set of properties. The description may take many different forms. In this paper, we more particularly focus on two important particular cases, namely ordered lists of intervals, and propositional knowledge bases, which both allow for incomplete descriptions. They are then extended to fuzzy and uncertain descriptions by introducing fuzzy intervals and possibilistic logic bases respectively in these two settings.

Domaines: Informatique [cs]

Zainab Assaghir, Mehdi Kaytoue, Henri Prade. A Possibility Theory-Oriented Discussion of Conceptual Pattern Structures. 4th International Conference on Scalable Uncertainty Management (SUM 2010), Sep 2010, Toulouse, France. pp.70-83, ⟨10.1007/978-3-642-15951-0_12⟩. ⟨inria-00600208⟩