D 2001

Multi-Agents Systems as Concurrent Constraint Processes

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

Základní údaje

Originální název

Multi-Agents Systems as Concurrent Constraint Processes

Autoři

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

Vydání

Heldelberg, SOFSEM 2001 28th Conf.on Current Trends in Theory and Practice of Informatics, s. 201-210, Lecture Notes in Computer Science, vol.2234, 2001

Nakladatel

Springer Verlag

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

20206 Computer hardware and architecture

Stát vydavatele

Slovensko

Utajení

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

Kód RIV

RIV/00216224:14330/01:00004558

Organizační jednotka

Fakulta informatiky

ISBN

0302-9743

Klíčová slova anglicky

agents; concurrent constraint programming; semantics; synchronny; concurrency

Štítky

Změněno: 13. 11. 2001 16:03, prof. RNDr. Mojmír Křetínský, CSc.

Anotace

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.

Návaznosti

GA201/00/0400, projekt VaV
Název: Nekonečně stavové souběžné systémy - modely a verifikace
Investor: Grantová agentura ČR, Nekonečně stavové souběžné systémy - modely a verifikace
MSM 143300001, záměr
Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů