On-line Automated Synthesis of Compact Normative Systems

by Javier Morales, Maite López-Sánchez, Juan A. Rodríguez Aguilar, Wamberto  Vasconcelos, and Michael Wooldridge
Abstract:
Most normative systems make use of explicit representations of norms (namely, obligations, prohibitions, and permissions) and associated mechanisms to support the self-regulation of open societies of self-interested and autonomous agents. A key problem in research on normative systems is that of how to synthesise effective and efficient norms. Manually designing norms is time consuming and error prone. An alternative is to automatically synthesise norms. However, norm synthesis is a computationally complex problem. We present a novel online norm synthesis mechanism, designed to synthesise compact normative systems. It yields normative systems composed of concise (simple) norms that effectively coordinate a multiagent system (MAS) without lapsing into overregulation. Our mechanism is based on a central authority that monitors a MAS, searching for undesired states. After detecting undesirable states, the central authority then synthesises norms aimed to avoid them in the future. We demonstrate the effectiveness of our approach through experimental results.
Reference:
On-line Automated Synthesis of Compact Normative Systems (Javier Morales, Maite López-Sánchez, Juan A. Rodríguez-Aguilar, Wamberto Vasconcelos, Michael Wooldridge), In ACM Transactions on Autonomous and Adaptive Systems (TAAS), ACM, volume 10, 2015.
Bibtex Entry:
@article{morales2015compact,
author = {Morales, Javier and L\'opez-S\'anchez, Maite and Rodr\'iguez-Aguilar, Juan A. and Vasconcelos, Wamberto and Wooldridge, Michael},
title = {On-line Automated Synthesis of Compact Normative Systems},
journal={ACM Transactions on Autonomous and Adaptive Systems (TAAS)},
issue_date = {March 2015},
volume = {10},
number = {1},
month = mar,
year = {2015},
issn = {1556-4665},
pages = {2:1--2:33},
articleno = {2},
numpages = {33},
url = {http://doi.acm.org/10.1145/2720024},
doi = {10.1145/2720024},
acmid = {2720024},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Normative systems, norm synthesis}
}