卢博什·布里姆;莫西尔·Křetínsk \345];Jean-Marie雅克;大卫·吉尔伯特 将多智能体系统建模为同步并发约束过程。 (英语) Zbl 1076.68043号 计算。通知。 21,第6期,565-590(2002). 本文是作者在SOFSEM 2001年会议上发表的论文的扩展版本,并做了一些修改【Lect.Notes Compute.Sci.2234,201–210(2001;Zbl 1052.68635号)]. 其目的是提出用于规范多智能体系统中信息的直接交换和/或全局共享的语言Scc。该语言基于CPP(并发约束编程)范式,该范式经过修改,使得代理可以维护其本地私有存储,可以在其全局存储层次结构中共享(读/写)全局信息,并通过多方或握手与其他代理进行通信。审核人:Claudia Simionescu-Badea(维也纳) 引用于1文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 68时01分 人工智能的一般主题 关键词:并发;合成语义;通信;多智能体系统;同步性;异步 引文:Zbl 0983.00059号;Zbl 1052.68635号 PDF格式BibTeX公司 XML格式引用 \textit{L.Brim}等人,计算。通知。21,第6号,565--590(2002;Zbl 1076.68043)