Valued Constraint Satisfaction Problems: Hard and Easy Problems
Abstract
In order to deal with over-constrained Constraint Satisfaction Problems, various extensions of the CSP framework have been considered by taking into account costs, uncertainties, preferences, priorities... Each extension uses a specific mathematical operator (+,max...) to aggregate constraint violations. In this paper, we consider a simple algebraic framework, related to Partial Constraint Satisfaction, which subsumes most of these proposals and use it to characterize existing proposals in terms of rationality and computational complexity. We exhibit simple relationships between these proposals, try to extend some traditional CSP algorithms and prove that some of these extensions may be computationally expensive.
Cite
Text
Schiex et al. "Valued Constraint Satisfaction Problems: Hard and Easy Problems." International Joint Conference on Artificial Intelligence, 1995.Markdown
[Schiex et al. "Valued Constraint Satisfaction Problems: Hard and Easy Problems." International Joint Conference on Artificial Intelligence, 1995.](https://mlanthology.org/ijcai/1995/schiex1995ijcai-valued/)BibTeX
@inproceedings{schiex1995ijcai-valued,
title = {{Valued Constraint Satisfaction Problems: Hard and Easy Problems}},
author = {Schiex, Thomas and Fargier, Hélène and Verfaillie, Gérard},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1995},
pages = {631-639},
url = {https://mlanthology.org/ijcai/1995/schiex1995ijcai-valued/}
}