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.
|
 |
Soft Concurrent Constraint Programming
| |
|
Soft Concurrent Constraint Programming
Stefano Bistarelli5 , Ugo Montanari6 and Francesca Rossi7 
| (5) |
Istituto per le Applicazioni Telematiche, C.N.R. Pisa, Area della Ricerca, Via G. Moruzzi 1, I-56124 Pisa, Italy |
| (6) |
Dipartimento di Informatica, Università di Pisa, Corso Italia 40, I-56125 Pisa, Italy |
| (7) |
Dipartimento di Matematica Pura ed Applicata, Università di Padova, Via Belzoni 7, 35131 Padova, Italy |
Abstract
Soft constraints extend classical constraints to represent multiple consistency levels, and thus provide a way to express
preferences, fuzziness, and uncertainty. While there are many soft constraint solving algorithms, even distributed ones, by
now there seems to be no concurrent programming framework where soft constraints can be handled. In this paper we show how
the classical concurrent constraint (cc) programming framework can work with soft constraints, and we also propose an extension
of cc languages which can use soft constraints to prune and direct the search for a solution. We believe that this new programming
paradigm, called soft cc (scc), can be very useful in many webrelated scenarios. In fact, the language level allows web agents
to express their interaction and negotiation protocols, and also to post their requests in terms of preferences, and the underlying
soft constraint solver can find an agreement among the agents even if their requests are incompatible.
Research supported in part by the the MURST Projects TOSCA and NAPOLI.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|