The Complexity of Data-Driven Norm Synthesis and Revision

Norms have been widely proposed as a way of coordinating and controlling the activities of agents in a multi-agent system (MAS). A norm specifies the behaviour an agent should follow in order to achieve the objective of the MAS. However, designing norms to achieve a particular system objective can be difficult, particularly when there is no direct link between the language in which the system objective is stated and the language in which the norms can be expressed. In this paper, we consider the problem of synthesising a norm from traces of agent behaviour, where each trace is labelled with whether the behaviour satisfies the system objective. We show that the norm synthesis problem is NP-complete.

[1]  Mehdi Dastani,et al.  Reasoning about Normative Update , 2013, IJCAI.

[2]  Moshe Tennenholtz,et al.  Choosing social laws for multi-agent systems: Minimality and simplicity , 2000, Artif. Intell..

[3]  Guido Boella,et al.  Regulative and Constitutive Norms in Normative Multiagent Systems , 2004, KR.

[4]  Michael Wooldridge,et al.  Online Automated Synthesis of Compact Normative Systems , 2015, TAAS.

[5]  Fabiano Dalpiaz,et al.  Runtime revision of sanctions in normative multi-agent systems , 2020, Autonomous Agents and Multi-Agent Systems.

[6]  Marina De Vos,et al.  Normative design using inductive learning , 2011, Theory and Practice of Logic Programming.

[7]  Bastin Tony Roy Savarimuthu,et al.  Norm creation, spreading and emergence: A survey of simulation models of norms in multi-agent systems , 2011, Multiagent Grid Syst..

[8]  Marina De Vos,et al.  Handling Change in Normative Specifications , 2012, DALT.

[9]  Mehdi Dastani,et al.  Programming Normative Artifacts with Declarative Obligations and Prohibitions , 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

[10]  Michael Wooldridge,et al.  On the Logic of Normative Systems , 2007, IJCAI.

[11]  Michael Wooldridge,et al.  On obligations and normative ability: Towards a logical analysis of the social contract , 2005, J. Appl. Log..

[12]  Moshe Tennenholtz,et al.  On Social Laws for Artificial Agent Societies: Off-Line Design , 1995, Artif. Intell..

[13]  Mehdi Dastani,et al.  Norm approximation for imperfect monitors , 2014, AAMAS.

[14]  Sandip Sen,et al.  Emergence of conventions through social learning , 2013, Autonomous Agents and Multi-Agent Systems.

[15]  Alexander Artikis,et al.  A formal model of open agent societies , 2001, International Conference on Autonomous Agents.

[16]  Michael Wooldridge,et al.  Social laws in alternating time: effectiveness, feasibility, and synthesis , 2006, Synthese.