An incomplete knowledge compilation map for conditional preference statements-based languages
Résumé
Conditional preference statements have been used tocompactly represent preferences over combinatorial domains. They are at the core of CP-nets and their generalizations, and lexicographic preference trees. Several workshave addressed the complexity of some queries (optimization, dominance in particular). We extend in this paper someof these results, and study other queries which have not beenaddressed so far, like equivalence, thereby contributing to aknowledge compilation map for languages based on condi-tional preference statements.
Les assertions de préférences conditionnelles (CP-statements) permettent de représenter de manière compacte les préférences sur des domaines combinatoires. Elles sont au coeur des CP-nets et de leurs généralisations, et des arbres de préférences lexicographiques. Plusieurs travaux ont abordé la complexité de certaines requêtes liées à ces formalismes (optimisation, dominance en particulier). Cet article étend certains de ces résultats, et s'intéresse à d'autres requêtes (comme l'équivalence), contribuant ainsi à une carte de compilation pour les langages basés sur les assertions de préférences conditionnelles.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...