Automated Synthesis of Normative Systems Javier Morales1,2 and

Normative systems (norms) have been widely proposed as a tech-nique for coordinating multi-agent systems. The automated synthe-sis of norms for coordination remains an open and complex prob-lem, which we tackle in this paper. We propose a novel mechanism called IRON (Intelligent Robust On-line Norm synthesis mecha-nism), for the on-line synthesis of norms. IRON aims to synthe-sise 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 pres-ence of non-compliance behaviours in a system