Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes
Luboš Brim ; Mojmír Křetínský ; Jean Marie Jacquet ; David Gilbert
Computing and Informatics, Tome 28 (2012) no. 1, / Harvested from Computing and Informatics
We present a language \scc\ for the specification of direct exchange and/or 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. We also provide an operational semantics of \scc\ and prove its compositionality.
Publié le : 2012-01-26
Classification: 
@article{cai479,
     author = {Lubo\v s Brim and Mojm\'\i r K\v ret\'\i nsk\'y and Jean Marie Jacquet and David Gilbert},
     title = {Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes},
     journal = {Computing and Informatics},
     volume = {28},
     number = {1},
     year = {2012},
     language = {en},
     url = {http://dml.mathdoc.fr/item/cai479}
}
Luboš Brim; Mojmír Křetínský; Jean Marie Jacquet; David Gilbert. Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes. Computing and Informatics, Tome 28 (2012) no. 1, . http://gdmltest.u-ga.fr/item/cai479/