Modelling Multi-Agents Systems as Concurrent Constraint Processes

Investor logo

Warning

This publication doesn't include Faculty of Sports Studies. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BRIM Luboš JACQUET Jean-Marie GILBERT David KŘETÍNSKÝ Mojmír

Year of publication 2003
Type Article in Periodical
Magazine / Source Computing and Informatics
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords agents; concurrent constraint programming; semantics; synchronny; concurrency
Description 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:

You are running an old browser version. We recommend updating your browser to its latest version.

More info