Programming norm change

To adequately deal with the unpredictable and dynamic environments normative frameworks are typically deployed in, mechanisms for modifying the norms at runtime are crucial. We present the syntax and operational semantics of generic 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 framework. The norms take on the form of conditional obligations and prohibitions, which instantiate detached obligations and prohibitions (instances). 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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[15]  S. Rosenschein,et al.  On social laws for artificial agent societies: off-line design , 1996 .

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