Informační systém Masarykovy univerzity 

Modelling Multi-Agents Systems as Concurrent Constraint Processes

česky | in English

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. ISSN 1335-9150.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Modelling Multi-Agents Systems as Concurrent Constraint Processes
Autoři BRIM, Luboš (203 Česká republika), Jean-Marie JACQUET (56 Belgie), David GILBERT (826 Spojené království) a Mojmír KŘETÍNSKÝ (203 Česká republika, garant).
Vydání Computing and Informatics, 2003, 1335-9150.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor Informatika
Stát vydavatele Slovensko
Utajení není předmětem státního či obchodního tajemství
Impakt faktor Impact factor: 0.254
Kód RIV RIV/00216224:14330/03:00008381
Organizační jednotka Fakulta informatiky
UT WoS 000183082100003
Klíčová slova anglicky agents; concurrent constraint programming; semantics; synchronny; concurrency
Štítky agents, concurrency, concurrent constraint programming, semantics, synchronny
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
Anotace
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).
Návaznosti
GA201/03/1161, projekt VaVNázev: Verifikace nekonečně stavových systémů
Investor: Grantová agentura ČR, Standardní projekty
MSM 143300001, záměrNá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, Výzkumné záměry
VytisknoutZobrazeno: 22. 10. 2017 13:40

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 22. 10. 2017 13:40, 42. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému