NORM SPECIFICATION AND VERIFICATION IN MULTI-AGENT SYSTEMS

被引：0

作者：

Alechina, Natasha ^{[1
]}

Dastani, Mehdi ^{[2
]}

Logan, Brian ^{[1
]}

机构：

[1] Univ Nottingham, Nottingham NG8 1BB, England

[2] Univ Utrecht, Princetonpl 5, NL-3584 CC Utrecht, Netherlands

来源：

JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS | 2018年 / 5卷 / 02期

关键词：

D O I：

暂无

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

This article presents a high-level overview of the literature on norms and their uses in multi-agent systems. We distinguish the main types of norms used in multi-agent systems, and the ways in which the behaviour of a system can be modified through the enforcement of norms. We first review the formal approaches used to study norms and norm enforcement mechanisms. We then explain the syntax and semantics of the key specification languages used to represent norms, and briefly survey some programming frameworks that support the implementation of normative multi-agent systems. Finally, we briefly review the key research questions and techniques in the important area of norm verification.

引用

页码：457 / 489

页数：33

共 50 条

[31] A Verification Framework for Normative Multi-Agent Systems
Astefanoaei, Lacramioara
Dastani, Mehdi
Meyer, John-Jules
de Boer, Frank S.
[J]. INTELLIGENT AGENTS AND MULTI-AGENT SYSTEMS, PROCEEDINGS, 2008, 5357 : 54 - +
[32] Modelling and verification of reconfigurable multi-agent systems
Abd Alrahman, Yehia
Piterman, Nir
[J]. AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2021, 35 (02)
[33] Distributed Safety Verification for Multi-Agent Systems
Wang, Han
Papachristodoulou, Antonis
Margellos, Kostas
[J]. 2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 5481 - 5486
[34] On the Semantics and Verification of Normative Multi-Agent Systems
Astefanoaei, Lacramioara
Dastani, Mehdi
Meyer, John-Jules
de Boer, Frank S.
[J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2009, 15 (13) : 2629 - 2652
[35] Modelling and verification of reconfigurable multi-agent systems
Yehia Abd Alrahman
Nir Piterman
[J]. Autonomous Agents and Multi-Agent Systems, 2021, 35
[36] Formal specification of multi-agent systems by using EUSMs
Merayo, Mercedes G.
Nunez, Manuel
Rodriguez, Ismael
[J]. INTERNATIONAL SYMPOSIUM ON FUNDAMENTALS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4767 : 318 - +
[37] Recommended Practices for the Specification of Multi-Agent Systems Requirements
Slhoub, Khaled
Carvalho, Marco
Bond, Walter
[J]. 2017 IEEE 8TH ANNUAL UBIQUITOUS COMPUTING, ELECTRONICS AND MOBILE COMMUNICATION CONFERENCE (UEMCON), 2017, : 179 - 185
[38] Formal specification of holonic multi-agent systems framework
Rodriguez, S
Hilaire, V
Koukam, A
[J]. COMPUTATIONAL SCIENCE - ICCS 2005, PT 3, 2005, 3516 : 719 - 726
[39] On multi-agent systems specification via Deontic Logic
Lomuscio, A
Sergot, M
[J]. INTELLIGENT AGENTS VIII: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 2002, 2333 : 86 - 99
[40] A distributed architecture for norm management in multi-agent systems
Garcia-Camino, Andres
Rodriguez-Aguilar, Juan Antonio
Vasconcelos, Wamberto
[J]. COORDINATION, ORGANIZATIONS, INSTITUTIONS, AND NORMS IN AGENT SYSTEMS III, 2008, 4870 : 275 - 286

← 1 2 3 4 5 →