Informační systém Masarykovy univerzity 

Multi-Agents Systems as Concurrent Constraint Processes

česky | in English

BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a Mojmír KŘETÍNSKÝ. Multi-Agents Systems as Concurrent Constraint Processes. In SOFSEM 2001 28th Conf.on Current Trends in Theory and Practice of Informatics. Heldelberg: Springer Verlag, 2001. s. 201-210. Lecture Notes in Computer Science, vol.2234. ISBN 0302-9743.
Další formáty:   BibTeX LaTeX RIS
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
Originální jazyk angličtina
Typ výsledku Článek ve sborníku
Obor Počítačový hardware a software
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 agents, concurrency, concurrent constraint programming, semantics, synchronny
Změnil Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 13. 11. 2001 16:03.
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.
Návaznosti
GA201/00/0400, projekt VaVNázev: Nekonečně stavové souběžné systémy - modely a verifikace
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: 24. 10. 2017 07:56

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 24. 10. 2017 07:56, 43. (lichý) 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