Compilation de requêtes à préférences en problèmes de contraintes qualitatives

International audienceLes préférences comparatives sont les ingrédients de base des logiques conditionnelles pour la représentation compacte de préférences d’utilisateurs. Ces préférences peuvent être strictes ou non et obéir à différentes sémantiques. Dans la littérature, des algorithmes ont été développés afin de calculer une relation de préférence sur des alternatives étant donné un ensemble de préférences et une ou plusieurs sémantiques. Ces algorithmes en utilisant des principes du raisonnement non monotone (plus particulièrement, les principes de minimum et de maximum de spécifi- cité) veillent à ce que les relations de préférence soient des préordres complets. Cependant, la limitation prin- cipale de ces logiques concernent les requêtes de préférences lorsque deux alternatives sont comparées. En effet, étant donné deux alternatives ayant la même préférence par rapport à la relation de préférence, il n’y a aucune indication permettant de savoir si cette égalité résulte d’une égalité des deux préférences ou d’une incomparabilité des deux alternatives qui a été réduite en une égalité par les principes de spécificité. D’autre part, les préférences comparatives et les sémantiques associées peuvent être traduites en problèmes de satisfaction de contraintes qualitatives à partir desquels nous pouvons avoir un ordre précis entre deux alternatives. Dans cet article, nous étudions cette passerelle et proposons une compilation des requêtes de préférences basées sur des logiques conditionnelles en problèmes de contraintes qualitatives