|
28th Annual Conference on Current
Trends in
Theory and Practice of Informatics
|
|
November 24 - December 1, 2001
|
|
Multi-Agent Systems as Concurrent Constraint Processes
by D.Gilbert, J-M.Jacquet and M.Kretinsky
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.