Conditional Preference Nets and Possibilistic Logic

Didier Dubois (1, 2) , Henri Prade (1, 2) , Fayçal Touazi (3)

1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
2 CNRS - Centre National de la Recherche Scientifique
3 IRIT - Institut de recherche en informatique de Toulouse

CP-nets (Conditional preference networks) are a well-known compact graphical representation of preferences in Artificial Intelligence, that can be viewed as a qualitative counterpart to Bayesian nets. In case of binary attributes it captures specific partial orderings over Boolean interpretations where strict preference statements are defined between interpretations which differ by a single flip of an attribute value. It respects preferential independence encoded by the ceteris paribus property. The popularity of this approach has motivated some comparison with other preference representation setting such as possibilistic logic. In this paper, we focus our discussion on the possibilistic representation of CP-nets, and the question whether it is possible to capture the CP-net partial order over interpretations by means of a possibilistic knowledge base and a suitable semantics. We show that several results in the literature on the alleged faithful representation of CP-nets by possibilistic bases are questionable. To this aim we discuss some canonical examples of CP-net topologies where the considered possibilistic approach fails to exactly capture the partial order induced by CP-nets, thus shedding light on the difficulties encountered when trying to reconcile the two frameworks.

Mots clés: Dec-models

Domaines: Intelligence artificielle [cs.AI]; Informatique et langage [cs.CL]; Apprentissage [cs.LG]; Logique en informatique [cs.LO]

Didier Dubois, Henri Prade, Fayçal Touazi. Conditional Preference Nets and Possibilistic Logic. 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2013), Jul 2013, Utrecht, Netherlands. pp.181-193, ⟨10.1007/978-3-642-39091-3_16⟩. ⟨hal-01212933⟩