Actes IAF 2013

R´ eseaux de pr´ ef´ erences conditionnelles et logique possibiliste
Didier Dubois1
1

Henri Prade1

Fay¸cal Touazi1

IRIT, Universit´e de Toulouse, 118 route de Narbonne, Toulouse
{dubois,prade, faycal.touazi}@irit.fr
R´
esum´ e Les “CP-nets” constituent un format compact de repr´esentation des pr´ef´erences, bien connu en Intelligence
Artificielle, qui peut ˆetre vu comme une contrepartie qualitative des r´eseaux bay´esiens. Dans le cas d’attributs binaires, ils permettent de repr´esenter des ordres partiels particuliers sur des interpr´etations bool´eennes, o` u des pr´ef´erences strictes sont d´efinies entre des interpr´etations qui diff`erent par le basculement de la valeur d’une seule variable. Ils satisfont l’ind´ependance pr´ef´erentielle exprim´ee ici par un principe “ceteris paribus”.
La popularit´e de cette approche a motiv´e des comparaisons avec d’autres cadres repr´esentationnels tels que la logique possibiliste. Dans cet article, nous discutons la question de savoir s’il est toujours possible de repr´esenter exactement l’ordre partiel d’un CP-net au moyen d’une base de formules en logique possibiliste avec une s´emantique appropri´ee. Des r´esultats annonc´es dans la litt´erature sont remis partiellement en question. Des exemples canoniques pr´esentant des structures topologiques diff´erentes montrent que dans certains cas, identifi´es dans l’article, seule une repr´esentation approch´ee est obtenue. La discussion d’un autre exemple montre certains aspects discutables de l’ordre propos´e par le CP-net associ´e et la difficult´e de r´econcilier les deux cadres repr´esentationnels.

Abstract
CP-nets 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