规范多智能体系统的计算模型

Normative Multi-Agent Systems Pub Date : 1900-01-01 DOI:10.4230/DFU.Vol4.12111.71

N. Alechina, Nick Bassiliades, M. Dastani, Marina De Vos, B. Logan, S. Mera, Andreasa Morris-Martin, F. Schapachnik

{"title":"规范多智能体系统的计算模型","authors":"N. Alechina, Nick Bassiliades, M. Dastani, Marina De Vos, B. Logan, S. Mera, Andreasa Morris-Martin, F. Schapachnik","doi":"10.4230/DFU.Vol4.12111.71","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":357568,"journal":{"name":"Normative Multi-Agent Systems","volume":"33 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"16","resultStr":"{\"title\":\"Computational Models for Normative Multi-Agent Systems\",\"authors\":\"N. Alechina, Nick Bassiliades, M. Dastani, Marina De Vos, B. Logan, S. Mera, Andreasa Morris-Martin, F. Schapachnik\",\"doi\":\"10.4230/DFU.Vol4.12111.71\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":357568,\"journal\":{\"name\":\"Normative Multi-Agent Systems\",\"volume\":\"33 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"16\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Normative Multi-Agent Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4230/DFU.Vol4.12111.71\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Normative Multi-Agent Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4230/DFU.Vol4.12111.71","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 16

摘要

本章详细介绍了规范多智能体系统的设计、验证和实现的计算逻辑方法。在对现有的形式主义、体系结构和实现语言进行简要概述之后，提供了当前研究挑战的概述。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Computational Models for Normative Multi-Agent Systems

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Normative Multi-Agent Systems

自引率

0.00%

发文量