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 条
[41]   Decentralised Norm Monitoring in Open Multi-Agent Systems [J].
Alechina, Natasha ;
Halpern, Joseph Y. ;
Kash, Ian A. ;
Logan, Brian .
AAMAS'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2016, :1399-1400
[42]   An Analysis of Norm Processes in Normative Multi-agent Systems [J].
Oliveira, Alana ;
Girardi, Rosario .
2016 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE WORKSHOPS (WIW 2016), 2016, :68-71
[43]   Verification of Epistemic Properties in Probabilistic Multi-Agent Systems [J].
Delgado, Carla ;
Benevides, Mario .
MULTI-AGENT SYSTEM TECHNOLOGIES, PROCEEDINGS, 2009, 5774 :16-+
[44]   Efficient Verification of Multi-Agent Systems Through Parallel [J].
Yao, Zhen ;
Liu, Jing ;
Chen, Xiaohong ;
Han, Li ;
Sun, Haiying .
2024 IEEE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2024, :745-756
[45]   Runtime Verification of Multi-agent Systems Interaction Quality [J].
Abu Bakar, Najwa ;
Selamat, Ali .
INTELLIGENT INFORMATION AND DATABASE SYSTEMS (ACIIDS 2013), PT I,, 2013, 7802 :435-444
[46]   Design and Verification of Multi-Agent Systems with the Use of Bigraphs [J].
Cybulski, Piotr ;
Zielinski, Zbigniew .
APPLIED SCIENCES-BASEL, 2021, 11 (18)
[47]   Domain theory verification using multi-agent systems [J].
Novikova, G. M. ;
Azofeifa, E. J. .
XII INTERNATIONAL SYMPOSIUM INTELLIGENT SYSTEMS 2016, (INTELS 2016), 2017, 103 :120-125
[48]   Verification of Multi-agent Systems with Timeouts for Migration and Communication [J].
Aman, Bogdan ;
Ciobanu, Gabriel .
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2019, 2019, 11884 :134-151
[49]   Interoperability - Rules for testing and verification of multi-agent systems [J].
Wassermann, Erik ;
Fay, Alexander .
ATP EDITION, 2018, (03) :34-45
[50]   A sociological framework for multi-agent systems validation and verification' [J].
Fuentes, R ;
Gómez-Sanz, JJ ;
Pavón, J .
CONCEPTUAL MODELING FOR ADVANCED APPLICATION DOMAINS, PROCEEDINGS, 2004, 3289 :458-469