Runtime Norm Revision Using Bayesian Networks

To guarantee the overall intended objectives of a multiagent systems, the behavior of individual agents should be controlled and coordinated. Such coordination can be achieved, without limiting the agents’ autonomy, via runtime norm enforcement. However, due to the dynamicity and uncertainty of the environment, the enforced norms can be ineffective. In this paper, we propose a runtime supervision mechanism that automatically revises norms when their enforcement appears to be ineffective. The decision to revise norms is taken based on a Bayesian Network that gives information about the likelihood of achieving the overall intended system objectives by enforcing the norms. Norms can be revised in three ways: relaxation, strengthening, and alteration. We evaluate the supervision mechanism on an urban smart traffic simulation.

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

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

[3]  David J. Spiegelhalter,et al.  Bayesian analysis in expert systems , 1993 .

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

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

[6]  Mehdi Dastani,et al.  Validating Goal Models via Bayesian Networks , 2018, 2018 5th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE).

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

[8]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

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

[10]  Mahesan Niranjan,et al.  On-line Q-learning using connectionist systems , 1994 .

[11]  Johan Kwisthout,et al.  Most probable explanations in Bayesian networks: Complexity and tractability , 2011, Int. J. Approx. Reason..

[12]  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).

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

[14]  Raian Ali,et al.  Requirements Evolution: From Assumptions to Reality , 2011, BMMDS/EMMSAD.

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

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

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

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

[19]  Axel van Lamsweerde,et al.  Reasoning about partial goal satisfaction for requirements and design engineering , 2004, SIGSOFT '04/FSE-12.

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

[21]  Silja Renooij,et al.  Sensitivity Analysis of Probabilistic Networks , 2007 .