We propose a timed and soft extension of Concurrent Constraint Programming. The time extension is based on the hypothesis of bounded asynchrony: the computation takes a bounded period of time and is measured by a discrete global clock. Action prefixing is then considered as the syntactic marker which distinguishes a time instant from the next one. Supported by soft constraints instead of crisp ones, tell and ask agents are now equipped with a preference (or consistency) threshold which is used to determine their success or suspension. In the paper we provide a language to describe the agents behavior, together with its operational and denotational semantics, for which we also prove the compositionality and correctness properties. Agents negotiating Quality of Service can benefit from this new language, by coordinating among themselves and mediating their preferences. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Bistarelli, S., Gabbrielli, M., Meo, M. C., & Santini, F. (2008). Timed soft Concurrent Constraint Programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5052 LNCS, pp. 50–66). https://doi.org/10.1007/978-3-540-68265-3_4
Mendeley helps you to discover research relevant for your work.