Computational Models for Normative Multi-Agent Systems
Computational Models for Normative Multi-Agent Systems
复制标题
规范多智能体系统的计算模型
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
F. Schapachnik
中科院分区：
文献类型：
--
作者：
N. Alechina;Nick Bassiliades;M. Dastani;Marina De Vos;B. Logan;S. Mera;Andreasa Morris;F. Schapachnik
这一章需要仔细研究计算逻辑方法的设计，验证和规范的多智能体系统的实现。经过简短的概述现有的形式主义，架构和实现语言，概述了目前的研究挑战。
This chapter takes a closer look at computational logic approaches for the design, verification and the implementation of normative multi-agent systems. After a short overview of existing formalisms, architectures and implementation languages, an overview of current research challenges is provided.