Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Constraint Propagation for Soft Constraints: Generalization and Termination Conditions

S. BistarelliContact Information, R. GennariContact Information and F. RossiContact Information

(5)  Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56125 Pisa
(6)  ILLC, Institute of Logic, Language and Computation, University of Amsterdam, N. Doelenstraat 15, 1012 CP Amsterdam, The Netherlands
(7)  Dipartimento di Matematica Pura ed Applicata, Università di Padova, Via Belzoni 7, 35131 Padova
Abstract
Soft constraints based on semirings are a generalization of classical constraints, where tuples of variables’ values in each soft constraint are uniquely 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 local consistency [BMR97]. On the other hand, in [Apt99a,Apt99b] it has been proved 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 schema and we show how the framework of [Apt99a,Apt99b] can be used for soft constraints. In doing so, we generalize the concept of soft local consistency, and we prove some convenient properties about its termination.

Contact Information S. Bistarelli
Email: bista@di.unipi.it

Contact Information R. Gennari
Email: gennari@hum.uva.nl

Contact Information F. Rossi
Email: frossi@math.unipd.it
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.106 • Server: mpweb04
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)