Automated synthesis of normative systems

  • Authors:
  • Javier Morales;Maite Lopez-Sanchez;Juan A. Rodriguez-Aguilar;Michael Wooldridge;Wamberto Vasconcelos

  • Affiliations:
  • Universitat de Barcelona & IIIA-CSIC, Bellaterra, Spain;Universitat of Barcelona, Barcelona, Spain;IIIA-CSIC, Bellaterra, Spain;University of Oxford, Oxford, United Kingdom;University of Aberdeen, Aberdeen, United Kingdom

  • Venue:
  • Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

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.