Programming norm change

To adequately deal with unpredictable and dynamic environments, normative frameworks typically deployed in mechanisms for modifying the norms at runtime are crucial. We present the syntax and operational semantics of programming constructs to facilitate runtime norm modification, allowing a programmer to specify when and how the norms may be changed by external agents or by the normative mechanism. The norms take on the form of conditional obligations and prohibitions, instantiating obligations and prohibitions. We present rule-based constructs for runtime modification of the norms and their instances, and a mechanism for automatically updating the instances when their underlying norms change. Moreover, we investigate a mechanism for avoiding norm conflicts.

[1]  Franco Zambonelli,et al.  Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[2]  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.

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

[4]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[5]  A. Montefiore.  NORM AND ACTION , 1964 .

[6]  Carlos E. Alchourrón,et al.  Hierarchies of Regulations and their Logic , 1981 .

[7]  Jordi Campos Miralles,et al.  Formalising Situatedness and Adaptation in Electronic Institutions , 2009, COIN@AAMAS&AAAI.

[8]  Marc Esteva,et al.  AMELI: an agent-based middleware for electronic institutions , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[9]  Virginia Dignum,et al.  The Role of Organization in Agent Systems , 2009, Handbook of Research on Multi-Agent Systems.

[10]  Gabriella Pigozzi,et al.  Ten Philosophical Problems in Deontic Logic , 2007, Normative Multi-agent Systems.

[11]  Jürgen Dix,et al.  Multi-Agent Programming: Languages, Tools and Applications , 2009 .

[12]  Olivier Boissier,et al.  Instrumenting multi-agent organisations with organisational artifacts and agents , 2010, Autonomous Agents and Multi-Agent Systems.

[13]  Michael Luck,et al.  A model of normative power , 2010, AAMAS.

[14]  Maite López-Sánchez,et al.  Adaptation of Autonomic Electronic Institutions Through Norms and Institutional Agents , 2006, ESAW.

[15]  Olivier Boissier,et al.  From Organisation Specification to Normative Programming in Multi-Agent Organisations , 2010, CLIMA.

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

[17]  Wamberto Weber Vasconcelos,et al.  Normative conflict resolution in multi-agent systems , 2009, Autonomous Agents and Multi-Agent Systems.

[18]  C. E. Alchourrón,et al.  The Expressive Conception of Norms , 1981 .

[19]  H. Hamner Hill.  A functional taxonomy of normative conflict , 1987 .

[20]  Guido Boella,et al.  Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations , 2008, PRIMA.

[21]  Guido Boella,et al.  Introduction to normative multiagent systems , 2006, Comput. Math. Organ. Theory.

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

[23]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[24]  Abdullatif A. O. Elhag,et al.  On the Formal Analysis of Normative Conflicts , 2000 .

[25]  Guido Boella,et al.  Permissions and obligations in hierarchical normative systems , 2003, ICAIL.

[26]  Guido Governatori,et al.  Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories , 2008, DEON.

[27]  Alexander Artikis.  Dynamic protocols for open agent systems , 2009, AAMAS.

[28]  Andrea Omicini,et al.  Give agents their artifacts: the A&A approach for engineering working environments in MAS , 2007, AAMAS '07.

[29]  Cristiano Castelfranchi,et al.  Engineering Social Order , 2000, ESAW.

[30]  Olivier Boissier,et al.  Using the Moise+ for a Cooperative Framework of MAS Reorganisation , 2004, SBIA.

[31]  Virginia. Virginia Dignum . Dignum,et al.  Handbook of Research on Multi-Agent Systems - Semantics and Dynamics of Organizational Models , 2009, Handbook of Research on Multi-Agent Systems.

[32]  Alexander Artikis,et al.  Specifying norm-governed computational societies , 2009, TOCL.

[33]  Mehdi Dastani,et al.  Programming norm change , 2010, J. Appl. Non Class. Logics.

[34]  Rafael H. Bordini,et al.  Multi-Agent Programming: Languages, Platforms and Applications , 2005, Multi-Agent Programming.

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