BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a Mojmír KŘETÍNSKÝ. Multi-Agents Systems as Concurrent Constraint Processes. Online. 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. [citováno 2024-04-23]
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 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 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, Nekonečně stavové souběžné systémy - modely a verifikace
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, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů
VytisknoutZobrazeno: 23. 4. 2024 12:22