General Properties and Termination Conditions for Soft Constraint Propagation

Soft constraints based on semirings are a generalization of classical constraints, where tuples of variables' values in each soft constraint are associated to elements from an algebraic structure called semiring. This framework is able to express, for example, fuzzy, classical, weighted, valued and over-constrained constraint problems.Classical constraint propagation has been extended and adapted to soft constraints by defining a schema for soft constraint propagation [8]. On the other hand, in [1–3] it has been proven that most of the well known constraint propagation algorithms for classical constraints can be cast within a single schema.In this paper we combine these two schemas and we provide a more general framework where the schema of [3] can be used for soft constraints. In doing so, we generalize the concept of soft constraint propagation, and we provide new sufficient and independent conditions for its termination.

[1]  Jérôme Lang,et al.  Uncertainty in Constraint Satisfaction Problems: a Probalistic Approach , 1993, ECSQARU.

[2]  Rosella Gennari.  Arc Consistency Algorithms via Iterations of Subsumed Functions , 2000, Computational Logic.

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

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

[5]  Francesca Rossi,et al.  Constraint Propagation for Soft Constraints: Generalization and Termination Conditions , 2000, CP.

[6]  Peter J. Stuckey,et al.  Programming with Constraints: An Introduction , 1998 .

[7]  Francesca Rossi,et al.  Constraint Propagation for Soft Constraint Satisfaction Problems: Generalization and Termination Conditions , 2000 .

[8]  Francesca Rossi,et al.  Labeling and Partial Local Consistency for Soft Constraint Programming , 2000, PADL.

[9]  Krzysztof R. Apt.  The role of commutativity in constraint propagation algorithms , 2000, TOPL.

[10]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[11]  Eugene C. Freuder,et al.  Partial Constraint Satisfaction , 1989, IJCAI.

[12]  Krzysztof R. Apt,et al.  The Rough Guide to Constraint Propagation , 1999, CP.

[13]  Krzysztof R. Apt,et al.  The Essence of Constraint Propagation , 1998, Theor. Comput. Sci..

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

[15]  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.

[16]  Francesca Rossi,et al.  An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation , 2000, SARA.