Runtime Revision of Norms and Sanctions Based on Agent Preferences

To fulfill the overall objectives of a multiagent system, the behavior of individual agents should be controlled and coordinated. Runtime norm enforcement is one way to do so without over-constraining the agents' autonomy. Due to the dynamicity and uncertainty of the environment, however, it is hard to specify norms that, when enforced, will fulfill the system-level objectives in every operating context. In this paper, we propose a mechanism for the automated revision of norms by altering their sanctions, based on the data monitored during the system execution and on some knowledge about the agents' preferences. We use a Bayesian Network to learn at runtime the relationship between the obedience/violation of a norm and the achievement of the system objectives. We propose two heuristic strategies that explore the updated Bayesian Network and automatically revise the sanction of an enforced norm. An evaluation of our heuristics using a traffic simulator shows that our mechanisms outperform uninformed heuristics in terms of convergence speed.

[1]  Kagan Tumer,et al.  Aligning social welfare and agent preferences to alleviate traffic congestion , 2008, AAMAS.

[2]  Christian Prehofer,et al.  Self-Adaptation Based on Big Data Analytics: A Model Problem and Tool , 2017, 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

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

[4]  Bastin Tony Roy Savarimuthu,et al.  A Bayesian Approach to Norm Identification , 2015, ECAI.

[5]  Mehdi Dastani,et al.  A Dynamic Logic of Norm Change , 2016, ECAI.

[6]  Emiliano Lorini,et al.  Dynamic Context Logic , 2009, LORI.

[7]  Mehdi Dastani,et al.  Practical Run-Time Norm Enforcement with Bounded Lookahead , 2015, AAMAS.

[8]  John Mylopoulos,et al.  Reasoning about agents and protocols via goals and commitments , 2010, AAMAS.

[9]  Guido Governatori,et al.  Changing legal systems: legal abrogations and annulments in Defeasible Logic , 2010, Log. J. IGPL.

[10]  Adnan Darwiche,et al.  Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters , 2004, UAI.

[11]  Mehdi Dastani,et al.  Distributed Controllers for Norm Enforcement , 2016, ECAI.

[12]  Mehdi Dastani,et al.  Reasoning about Dynamic Normative Systems , 2014, JELIA.

[13]  Mehdi Dastani,et al.  Norm-based mechanism design , 2016, Artif. Intell..

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

[15]  Mehdi Dastani,et al.  Reasoning under compliance assumptions in normative multiagent systems , 2012, AAMAS.

[16]  Mehdi Dastani,et al.  Runtime Norm Revision Using Bayesian Networks , 2018, PRIMA.

[17]  Daniel Krajzewicz,et al.  Recent Development and Applications of SUMO - Simulation of Urban MObility , 2012 .

[18]  Mehdi Dastani,et al.  Normative Multi-agent Programs and Their Logics , 2009, KRAMAS.

[19]  Y. Sugiyama,et al.  Traffic jams without bottlenecks—experimental evidence for the physical mechanism of the formation of a jam , 2008 .