Synthese 156 (1):1-19 (2007)
AbstractSince it was first proposed by Moses, Shoham, and Tennenholtz, the social laws paradigm has proved to be one of the most compelling approaches to the offline coordination of multiagent systems. In this paper, we make four key contributions to the theory and practice of social laws in multiagent systems. First, we show that the "Alternating-time Temporal Logic" of Alur, Henzinger, and Kupferman provides an elegant and powerful framework within which to express and understand social laws for multiagent systems. Second, we show that the effectiveness, feasibility, and synthesis problems for social laws may naturally be framed as atl model checking problems, and that as a consequence, existing atl model checkers may be applied to these problems. Third, we show that the complexity of the feasibility problem in our framework is no more complex in the general case than that of the corresponding problem in the Shoham—Tennenholtz framework. Finally, we show how our basic framework can easily be extended to permit social laws in which constraints on the legality or otherwise of some action may be explicitly required. We illustrate the concepts and techniques developed by means of a running example
Added to PP
Historical graph of downloads
References found in this work
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Choosing Social Laws for Multi-Agent Systems: Minimality and Simplicity.David Fitoussi & Moshe Tennenholtz - 2000 - Artificial Intelligence 119 (1-2):61-101.
Economic Principles of Multi-Agent Systems.Craig Boutilier, Yoav Shoham & Michael P. Wellman - 1997 - Artificial Intelligence 94 (1-2):1-6.
Citations of this work
In Memoriam Douglas N. Walton: The Influence of Doug Walton on AI and Law.Katie Atkinson, Trevor Bench-Capon, Floris Bex, Thomas F. Gordon, Henry Prakken, Giovanni Sartor & Bart Verheij - 2020 - Artificial Intelligence and Law 28 (3):281-326.
Norms and Value Based Reasoning: Justifying Compliance and Violation.Trevor Bench-Capon & Sanjay Modgil - 2017 - Artificial Intelligence and Law 25 (1):29-64.
Transition Systems for Designing and Reasoning About Norms.Trevor J. M. Bench-Capon - 2015 - Artificial Intelligence and Law 23 (4):345-366.
Robust Normative Systems and a Logic of Norm Compliance.Thomas Agotnes, Wiebe van der Hoek & Michael Wooldridge - 2010 - Logic Journal of the IGPL 18 (1):4-30.
Multi-Modal CTL: Completeness, Complexity, and an Application.Thomas Ågotnes, Wiebe Van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1 - 26.
Similar books and articles
Social Laws in Alternating Time: Effectiveness, Feasibility, and Synthesis.Wiebe van der Hoek, Mark Roberts & Michael Wooldridge - 2007 - Synthese 156 (1):1-19.
Comparing Semantics of Logics for Multi-Agent Systems.Valentin Goranko & Wojciech Jamroga - 2004 - Synthese 139 (2):241 - 280.
Quantified Coalition Logic.Thomas Ågotnes, Wiebe Hoek & Michael Wooldridge - 2008 - Synthese 165 (2):269-294.
Towards a Theory of Intention Revision.Wiebe van Der Hoek, Wojciech Jamroga & Michael Wooldridge - 2007 - Synthese 155 (2):265-290.
Action and Knowledge in Alternating-Time Temporal Logic.Thomas Ågotnes - 2006 - Synthese 149 (2):375-407.
A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic.M. Kacprzak & W. Penczek - 2004 - Synthese 142 (2):203-227.
What is Ontological Synthesis? – A Reply to Simon Saunders.Tian Yu Cao - 2003 - Synthese 136 (1):107 - 126.
Plato and a Platypus Walk Into a Bar--: Understanding Philosophy Through Jokes.Thomas Cathcart - 2006 - Penguin Books.
Cooperation, Knowledge, and Time: Alternating-Time Temporal Epistemic Logic and its Applications.Wiebe van der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.