Reasoning about Normative Update

We consider the problem of updating a multi-agent system with a set of conditional norms. A norm comes into effect when its condition becomes true, and imposes either an obligation or a prohibition on an agent which remains in force until a state satisfying a deadline condition is reached. If the norm is violated, a sanction is imposed on the agent. We define a notion of a normative update of a multi-agent system by a set of conditional norms, and study the problem of checking whether the agent(s) can bring about a state satisfying a property without incurring a specified number of sanctions.

[1]  Wojciech Jamroga,et al.  Verifying agents with memory is harder than it seemed , 2010, AI Commun..

[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]  Dan Suciu,et al.  Journal of the ACM , 2006 .

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

[5]  Philippe Schnoebelen,et al.  The Complexity of Temporal Logic Model Checking , 2002, Advances in Modal Logic.

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

[7]  John-Jules Ch. Meyer,et al.  Model Checking Normative Agent Organisations , 2009, CLIMA.

[8]  Guido Boella,et al.  Introduction to the special issue on normative multiagent systems , 2008, Autonomous Agents and Multi-Agent Systems.

[9]  Frank Dignum,et al.  Meeting the Deadline: Why, When and How , 2004, FAABS.

[10]  Mehdi Dastani,et al.  A logic for normative multi-agent programs , 2013, J. Log. Comput..

[11]  Michael Wooldridge,et al.  Robust normative systems and a logic of norm compliance , 2010, Log. J. IGPL.

[12]  Frank S. de Boer,et al.  On the Semantics and Verification of Normative Multi-Agent Systems , 2009, J. Univers. Comput. Sci..

[13]  Aniello Murano,et al.  Relentful strategic reasoning in alternating-time temporal logic , 2010, J. Log. Comput..

[14]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1999 .