Publication details
Modelling Multi
-Agents Systems as Concurrent Constraint Processes
| Basic information | |
|---|---|
| Original title: | Modelling Multi-Agents Systems as Concurrent Constraint Processes |
| Authors: | Luboš Brim, Jean-Marie Jacquet, David Gilbert, Mojmír Křetínský |
| Further information | |
|---|---|
| Citation: | BRIM, Luboš - JACQUET, Jean-Marie - GILBERT, David - KŘETÍNSKÝ, Mojmír. Modelling Multi-Agents Systems as Concurrent Constraint Processes. Computing and Informatics, Slovakia. ISSN 1335-9150, 2003, vol. 21, no. 6, pp. 565-590. |
| Original language: | English |
| Field: | Informatika |
| Type: | Article in Periodical |
| Keywords: | agents; concurrent constraint programming; semantics; synchronny; concurrency |
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. (full and enlarged version of SOFSEM'01 conference paper).
Related projects:
- Verification of infinite-state systems
- Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing
