| BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a Mojmír KŘETÍNSKÝ. Modelling Multi-Agents Systems as Concurrent Constraint Processes. Computing and Informatics. 2003, roč. 21, č. 6, s. 565-590, 25 s. ISSN 1335-9150. |
Další formáty:
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 a Mojmír KŘETÍNSKÝ. Modelling Multi-Agents Systems as Concurrent Constraint Processes. \textit{Computing and Informatics}. 2003, roč.~21, č.~6, s.~565-590, 25 s. ISSN~1335-9150.
|
