Automated synthesis of normative systems

by Javier Morales, Maite Lopez-Sanchez, Juan A. Rodriguez-Aguilar, Michael Wooldridge, Wamberto Vasconcelos
Abstract:
Normative systems (norms) have been widely proposed as a technique for coordinating multi-agent systems. The automated synthesis of norms for coordination remains an open and complex problem, which we tackle in this paper. We propose a novel mechanism called IRON (Intelligent Robust On-line Norm synthesis mechanism), for the on-line synthesis of norms. IRON aims to synthesise conflict-free norms without lapsing into over-regulation. Thus, IRON produces norms that characterise necessary conditions for coordination, without over-regulation. In addition to defining the norm synthesis problem formally, we empirically show that IRON is capable of synthesising norms that are effective even in the presence of non-compliance behaviours in a system.
Reference:
Automated synthesis of normative systems (Javier Morales, Maite Lopez-Sanchez, Juan A. Rodriguez-Aguilar, Michael Wooldridge, Wamberto Vasconcelos), In Proceedings of the AAMAS’13, IFAAMAS, 2013.
Bibtex Entry:
@inproceedings{morales2013automated,
author = {Morales, Javier and Lopez-Sanchez, Maite and Rodriguez-Aguilar, Juan A. and Wooldridge, Michael and Vasconcelos, Wamberto},
title = {Automated synthesis of normative systems},
booktitle = {Proceedings of the AAMAS'13},
OPTbooktitle = {AAMAS '13: Proceedings of the 12th international conference on autonomous agents and multiagent systems},
year = {2013},
pages = {483--490},
isbn = {978-1-4503-1993-5},
location = {St. Paul, MN, USA},
numpages = {8},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)},
publisher = {IFAAMAS},
abstract = {Normative systems (norms) have been widely proposed as a technique for coordinating multi-agent systems. The automated synthesis of norms for coordination remains an open and complex problem, which we tackle in this paper. We propose a novel mechanism called IRON (Intelligent Robust On-line Norm synthesis mechanism), for the on-line synthesis of norms. IRON aims to synthesise conflict-free norms without lapsing into over-regulation. Thus, IRON produces norms that characterise necessary conditions for coordination, without over-regulation. In addition to defining the norm synthesis problem formally, we empirically show that IRON is capable of synthesising norms that are effective even in the presence of non-compliance behaviours in a system.},
url = {http://javimorales.name/download/publications/morales2013automated.pdf}
}