J 2003

Modelling Multi-Agents Systems as Concurrent Constraint Processes

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

Basic information

Original name

Modelling Multi-Agents Systems as Concurrent Constraint Processes

Authors

BRIM, Luboš (203 Czech Republic), Jean-Marie JACQUET (56 Belgium), David GILBERT (826 United Kingdom of Great Britain and Northern Ireland) and Mojmír KŘETÍNSKÝ (203 Czech Republic, guarantor)

Edition

Computing and Informatics, 2003, 1335-9150

Other information

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Slovakia

Confidentiality degree

není předmětem státního či obchodního tajemství

Impact factor

Impact factor: 0.254

RIV identification code

RIV/00216224:14330/03:00008381

Organization unit

Faculty of Informatics

UT WoS

000183082100003

Keywords in English

agents; concurrent constraint programming; semantics; synchronny; concurrency

Tags

International impact, Reviewed
Změněno: 22/11/2006 08:32, prof. RNDr. Luboš Brim, CSc.

Abstract

V originále

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).

Links

GA201/03/1161, research and development project
Name: Verifikace nekonečně stavových systémů
Investor: Czech Science Foundation, Verification of infinite-state systems
MSM 143300001, plan (intention)
Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing