Skip to main content
Log in

Hard and soft constraints for reasoning about qualitative conditional preferences

  • Published:
Journal of Heuristics Aims and scope Submit manuscript

Abstract

Many real life optimization problems are defined in terms of both hard and soft constraints, and qualitative conditional preferences. However, there is as yet no single framework for combined reasoning about these three kinds of information. In this paper we study how to exploit classical and soft constraint solvers for handling qualitative preference statements such as those captured by the CP-nets model. In particular, we show how hard constraints are sufficient to model the optimal outcomes of a possibly cyclic CP-net, and how soft constraints can faithfully approximate the semantics of acyclic conditional preference statements whilst improving the computational efficiency of reasoning about these statements.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Bistarelli, S., H. Fargier, U. Montanari, F. Rossi, T. Schiex, and G. Verfaillie. (1996). “Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison.” In Over-Constrained Systems.

  • Bistarelli, S., U. Montanari, and F. Rossi. (1997). “Semiring-Based Constraint Solving and Optimization.” Journal of the ACM 44(2), 201–236.

    Article  MathSciNet  MATH  Google Scholar 

  • Boutilier, C., R. Brafman, H. Hoos, and D. Poole. (1999). “Reasoning with Conditional Ceteris Paribus Preference Statements.” In Proc. of UAI, pp.71–80.

  • Boutilier, C., F. Bacchus, and R.I. Brafman. (2001). “UCP-Networks: A Directed Graphical Representation of Conditional Utilities.” In Proc. of UAI, pp.56–64.

  • Boutilier, C., R. Brafman, C. Domshlak, H. Hoos, and D. Poole. (2004). “CP-nets: A Tool for Representing and Reasoning about Conditional. ceteris paribus preference statements.” Journal of Artificial Intelligence Research (JAIR) 21, 135–191.

    MathSciNet  MATH  Google Scholar 

  • Boutilier, C., R. Brafman, C. Domshlak, H. Hoos, and D. Poole. (2004). “Preference-Based Constraint Optimization with CP-Nets.” Computational Intelligence 20(2), 137–157.

    Article  MathSciNet  Google Scholar 

  • Brafman, R. and Y. Dimopoulos. (2004). “Extended Semantics and Optimization Algorithms for CP-Networks.” Computational Intelligence 20(2), 218–245.

    Article  MathSciNet  Google Scholar 

  • Domshlak, C. and R. Brafman. (2002). “CP-Nets–-Reasoning and Consistency Testing.” In Proc. of KR, pp.121–132.

  • Domshlak, C., F. Rossi, K.B. Venable, and T. Walsh. (2003). “Reasoning About Soft Constraints and Conditional Preferences: Complexity Results and Approximation Techniques.” In Proc. of IJCAI, Acapulco, Mexico, August.

    Google Scholar 

  • Doyle, J. and R.H. Thomason. (1999). “Background to Qualitative Decision Theory.” AI Magazine 20(2), 55–68.

    Google Scholar 

  • Doyle, J. and M. Wellman. (1994). “Representing Preferences as Ceteris Paribus Comparatives.” In Proc. of AAAI Spring Symposium on Decision-Making Planning, pp.69–75.

  • Dubois, D., H. Fargier, and H. Prade. (1993). “The Calculus of Fuzzy Restrictions as A Basis for Flexible Constraint Satisfaction.” In Proc. of IEEE International Conference on Fuzzy Systems.

  • Fargier, H., J. Lang, and T. Schiex. (1993). “Selecting Preferred Solutions in Fuzzy Constraint Satisfaction Problems.” In Proc. of 1st European Congress on Fuzzy and Intelligent Technologies (EUFIT), pp.277–288.

  • Freuder, E.C. and R.J. Wallace. (1992). “Partial Constraint Satisfaction.” Artificial Intelligence 58(1–3), 21–70.

    Article  MathSciNet  Google Scholar 

  • Garey, M.R. and D.S. Johnson. (1978). Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman and Company, New-York.

    Google Scholar 

  • Goldsmith, J., J. Lang, M. Truszczynski, and N. Wilson. (2005). “The Computational Complexity of Dominance and Consistency in CP-Nets.” In Proc. of IJCAI.

  • Hansson, S.O. (2001). “Preference Logic.” In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 4, pp.319–394. Kluwer.

  • Lang, J. (2002). “From Preference Representation to Combinatorial Vote.” In Proc. of KR.

  • McGeachie, M. and J. Doyle. (2002). “Efficient Utility Functions for Ceteris Paribus Preferences.” In Proc. of AAAI, pp. 279–284.

  • Meseguer, P., F. Rossi, T. Schiex, and K.B. Venable. (2004). “Private Communication.” April.

  • Prestwich, S., F. Rossi, K.B. Venable, and T. Walsh. (2005). “Constraint-Based Preferential Optimization.” In Proc. of AAAI, Pittsburgh, Pennsylvania, July 9–13, Morgan Kaufmann.

    Google Scholar 

  • Sabin, D. and R. Weigel. (1998). “Product Configuration Frameworks–-A Survey.” IEEE Intelligent Systems and their Applications 13(4), 42–49.

    Article  Google Scholar 

  • Schiex, T., H. Fargier, and G. Verfaille. (1995). “Valued Constraint Satisfaction Problems: Hard and Easy Problems.” In Proc. of IJCAI, pp. 631–637.

  • Schiex, T. (1992). “Possibilistic Constraint Satisfaction Problems,” or “How to Handle Soft Constraints?.” In Proc. of UAI, pp. 269–275.

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to K. B. Venable.

Additional information

This material is based in part upon works supported by the Science Foundation Ireland under Grant No. 00/PI.1/C075

Rights and permissions

Reprints and permissions

About this article

Cite this article

Domshlak, C., Prestwich, S., Rossi, F. et al. Hard and soft constraints for reasoning about qualitative conditional preferences. J Heuristics 12, 263–285 (2006). https://doi.org/10.1007/s10732-006-7071-x

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10732-006-7071-x

Keywords

Navigation