Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems

The purpose of this contribution is to set up a language to evaluate the results of concerted action among interdependent agents against predetermined properties that we can recognise as desirable from a deontic point of view. Unlike the standard view of logics to reason about coalitionally rational action, the capacity of a set of agents to take a rational decision will be restricted to what we will call agreements, that can be seen as solution concepts to a dependence structure present in a certain game. The language will identify in concise terms those agreements that act accordingly or disaccordinglywith the desirable properties arbitrarily set up in the beginning, and will reveal, by logical reasoning, a variety of structural properties of this type of collective action.

[1]  John-Jules Ch. Meyer,et al.  A Deontic Logic for Socially Optimal Norms , 2008, DEON.

[2]  John-Jules Ch. Meyer,et al.  Deontic Logic and Artificial Normative Systems , 2008 .

[3]  Paolo Turrini,et al.  Dependence theory via game theory , 2010, AAMAS.

[4]  John-Jules Ch. Meyer,et al.  An Update Operator for Strategic Ability , 2009, LORI.

[5]  Wojciech Jamroga,et al.  A logic for strategic reasoning , 2005, AAMAS '05.

[6]  Roel Wieringa,et al.  Deontic logic: a concise overview , 1994 .

[7]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 2002, JACM.

[8]  Marek J. Sergot,et al.  The Deontic Component of Action Language nC+ , 2006, DEON.

[9]  N. Belnap,et al.  Facing the Future: Agents and Choices in Our Indeterminist World , 2001 .

[10]  Marek Karpinski,et al.  Foundations of Computation Theory , 1983 .

[11]  Michael Luck,et al.  AAMAS '03: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems , 2003 .

[12]  R. Parikh.  The logic of games and its applications , 1985 .

[13]  Amedeo Cesta,et al.  Dependence relations among autonomous agents (abstract) , 1992, SIGO.

[14]  J. Coleman.  Foundations of Social Theory , 1990 .

[15]  Marc Pauly,et al.  Logic for social software , 2000 .

[16]  Michael Wooldridge,et al.  On the logic of coalitional games , 2006, AAMAS '06.

[17]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[18]  John-Jules Ch. Meyer,et al.  Rational Teams: Logical Aspects of Multi-Agent Systems , 2004, Fundam. Informaticae.

[19]  Stefano Borgo,et al.  Coalitions in Action Logic , 2007, IJCAI.

[20]  Barteld P. Kooi,et al.  Conflicting Obligations in Multi-agent Deontic Logic , 2006, DEON.

[21]  C. Castelfranchi.  The Micro-Macro Constitution of Power , 2003 .

[22]  Cristiano Castelfranchi,et al.  Modeling Social Action for AI Agents , 1997, IJCAI.

[23]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

[24]  Johan van Benthem,et al.  In Praise of Strategies , 2012, Games, Actions and Social Software.

[25]  John-Jules Ch. Meyer,et al.  A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..