Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques

Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all three kinds of information. We therefore propose a framework, based on both CP-nets and soft constraints, that handles both hard and soft constraints as well as conditional preferences efficiently and uniformly. We study the complexity of testing the consistency of preference statements, and show how soft constraints can faithfully approximate the semantics of conditional preference statements whilst improving the computational complexity.

[1]  Ronen I. Brafman,et al.  CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements , 2011, J. Artif. Intell. Res..

[2]  Jon Doyle,et al.  Efficient utility functions for ceteris paribus preferences , 2002, AAAI/IAAI.

[3]  Ronen I. Brafman,et al.  UCP-Networks: A Directed Graphical Representation of Conditional Utilities , 2001, UAI.

[4]  Ronen I. Brafman,et al.  Reasoning With Conditional Ceteris Paribus Preference Statements , 1999, UAI.

[5]  Jon Doyle,et al.  Background to Qualitative Decision Theory , 1999, AI Mag..

[6]  Daniel Sabin,et al.  Product Configuration Frameworks - A Survey , 1998, IEEE Intell. Syst..

[7]  Francesca Rossi,et al.  Semiring-based constraint satisfaction and optimization , 1997, JACM.

[8]  Thomas Schiex,et al.  Valued Constraint Satisfaction Problems: Hard and Easy Problems , 1995, IJCAI.

[9]  D. Dubois,et al.  The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction , 1993, [Proceedings 1993] Second IEEE International Conference on Fuzzy Systems.

[10]  Thomas Schiex,et al.  Possibilistic Constraint Satisfaction Problems or "How to Handle Soft Constraints?" , 1992, UAI.

[11]  Richard J. Wallace,et al.  Partial Constraint Satisfaction , 1989, IJCAI.

[12]  Ronen I. Brafman,et al.  CP-nets: Reasoning and Consistency Testing , 2002, KR.

[13]  Jérôme Lang,et al.  From Preference Representation to Combinatorial Vote , 2002, KR.

[14]  Francesca Rossi,et al.  Semiring-based constraint solving and optimization , 1997 .

[15]  Thomas Schiex,et al.  Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison , 1995, Over-Constrained Systems.

[16]  J. Doyle,et al.  Representing Preferences as Ceteris Paribus Comparatives , 1994 .

[17]  Thomas Schiex,et al.  Selecting preferred solutions in Fuzzy Constraint Satisfaction Problems , 1993 .