BRIM, Luboš, Jean-Marie JACQUET, David GILBERT and Mojmír KŘETÍNSKÝ. Modelling Multi-Agents Systems as Concurrent Constraint Processes. Computing and Informatics. 2003, vol. 21, No 6, p. 565-590, 25 pp. ISSN 1335-9150. |
Other formats:
BibTeX
LaTeX
RIS
@article{490866, author = {Brim, Luboš and Jacquet, JeanandMarie and Gilbert, David and Křetínský, Mojmír}, article_number = {6}, keywords = {agents; concurrent constraint programming; semantics; synchronny; concurrency}, language = {eng}, issn = {1335-9150}, journal = {Computing and Informatics}, title = {Modelling Multi-Agents Systems as Concurrent Constraint Processes}, volume = {21}, year = {2003} }
TY - JOUR ID - 490866 AU - Brim, Luboš - Jacquet, Jean-Marie - Gilbert, David - Křetínský, Mojmír PY - 2003 TI - Modelling Multi-Agents Systems as Concurrent Constraint Processes JF - Computing and Informatics VL - 21 IS - 6 SP - 565-590 EP - 565-590 SN - 13359150 KW - agents KW - concurrent constraint programming KW - semantics KW - synchronny KW - concurrency N2 - 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). ER -
BRIM, Luboš, Jean-Marie JACQUET, David GILBERT and Mojmír KŘETÍNSKÝ. Modelling Multi-Agents Systems as Concurrent Constraint Processes. \textit{Computing and Informatics}. 2003, vol.~21, No~6, p.~565-590, 25 pp. ISSN~1335-9150.
|