PUMA
Istituto di Informatica e Telematica     
Bistarelli S., Montanari U., Rossi F. Soft Concurrent Constraint Programming. In: ACM Transactions on Computational Logic (TOCL), vol. 7 pp. 1 - 27. ACM, 2006.
 
 
Abstract
(English)
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 formalisms, even distributed ones, as yet there seems to be no concurrent programming framework where soft constraints can be handled. In this article 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 also very useful in many Web-related 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.
DOI: 10.1145/1149114.1149118
Subject Constraints
concurrent constraint programming
soft constraints
F.3 LOGICS AND MEANINGS OF PROGRAMS
D.3 PROGRAMMING LANGUAGES


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional