Publication details

Modelling Multi-Agents Systems as Concurrent Constraint Processes

Investor logo
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

By clicking “Accept Cookies”, you agree to the storing of cookies on your device to enhance site navigation, analyze site usage, and assist in our marketing efforts. Cookie Settings

Necessary Only Accept Cookies