Minimality and Simplicity in the On-line Automated Synthesis of Normative Systems

by Javier Morales, Maite Lopez-Sanchez, Juan A. Rodriguez-Aguilar, Michael Wooldridge, Wamberto Vasconcelos
Abstract:
Much previous research has investigated explicit, machine-processable norms as a means to facilitate coordination in open multi-agent systems. This research can typically be classified as considering either offline design (norms are synthesised at design time) or online design. Online synthesis techniques aim to construct norms for a system while that system is actually running. A promising recent approach to on-line norm synthesis has been proposed but it suffers from serious drawbacks: (i) it needs too much nformation; (ii) it ignores issues of compactness in terms of minimality (ensuring that norms are not superfluous) and simplicity (ensuring that agents can process norms with little computational effort). To overcome these drawbacks, we propose an optimistic approach which, even though it uses less information, is able to explore more norms and synthesises sets of norms which are more compact. We present experimental evidence of the quality of our approach.
Reference:
Minimality and Simplicity in the On-line Automated Synthesis of Normative Systems (Javier Morales, Maite Lopez-Sanchez, Juan A. Rodriguez-Aguilar, Michael Wooldridge, Wamberto Vasconcelos), In AAMAS ’14: Proceedings of the 13th international conference on autonomous agents and multiagent systems, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2014.
Bibtex Entry:
@inproceedings{morales2014minimality,
author = {Morales, Javier and Lopez-Sanchez, Maite and Rodriguez-Aguilar, Juan A. and Wooldridge, Michael and Vasconcelos, Wamberto},
title = {Minimality and Simplicity in the On-line Automated Synthesis of Normative Systems},
booktitle = {AAMAS '14: Proceedings of the 13th international conference on autonomous agents and multiagent systems},
year = {2014},
pages = {109--116},
numpages = {8},
location = {Paris, France},
address = {Richland, SC},
acmid = {2615752},
isbn = {978-1-4503-2738-1},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)},
keywords = {normative systems, norms, on-line norm synthesis},
abstract={Much previous research has investigated explicit, machine-processable norms as a means to facilitate coordination in open multi-agent systems. This research can typically be classified as considering either offline design (norms are synthesised at design time) or online design. Online synthesis techniques aim to construct norms for a system while that system is actually running. A promising recent approach to on-line norm synthesis has been proposed but it suffers from serious drawbacks: (i) it needs too much nformation; (ii) it ignores issues of compactness in terms of minimality (ensuring that norms are not superfluous) and simplicity (ensuring that agents can process norms with little computational effort). To overcome these drawbacks, we propose an optimistic approach which, even though it uses less information, is able to explore more norms and synthesises sets of norms which are more compact. We present experimental evidence of the quality of our approach.},
url = {http://javimorales.name/download/publications/morales2014minimality.pdf}
}