Multi-agent Systems as Concurrent Constraint Processes

Authors:
Lubos Brim;David Gilbert;Jean-Marie Jacquet;Mojmír Kretínský
Affiliations:
-;-;-;-
Venue:
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
Year:
2001

Citing 6
Cited 1

The semantic foundations of concurrent constraint programming

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent constraint programming

Concurrent constraint programming
Non-monotonic concurrent constraint programming

ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Failure Semantics for the Exchange of Information in Multi-Agent Systems

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
A Process Algebra for Synchronous Concurrent Constraint Programming

ALP '96 Proceedings of the 5th International Conference on Algebraic and Logic Programming
Verifiable Semantics for Agent Communication Languages

ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems

A distributed and probabilistic concurrent constraint programming language

ICLP'05 Proceedings of the 21st international conference on Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a language Scc for a specification of the direct exchange and/or the global sharing of information in multi-agent systems. Scc is based on concurrent constraint programming paradigm which we modify in such a way that agents can (i) maintain its local private store, (ii) share (read/write) the information in the global store and (iii) communicate with other agents (via multi-party or hand-shake). To justify our proposal we compare Scc to a recently proposed language for the exchange of information in multi-agent systems. Also we provide an operational semantics of Scc. The full semantic treatment is sketched only and done elsewhere.