A Dynamic Logic of Normative Systems

We propose a logical framework to represent and reason about agent interactions in normative systems. Our starting point is a dynamic logic of propositional assignments whose satisfiability problem is PSPACE-complete. We show that it embeds Coalition Logic of Propositional Control CL-PC and that various notions of ability and capability can be captured in it. We illustrate it on a water resource management case study. Finally, we show how the logic can be easily extended in order to represent constitutive rules which are also an essential component of the modelling of social reality.

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

[2]  John R. Searle,et al.  Speech Acts: An Essay in the Philosophy of Language , 1970 .

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

[4]  Frank Dignum,et al.  Classificatory Aspects of Counts-as: An Analysis in Modal Logic , 2006, J. Log. Comput..

[5]  A. Goldman.  Theory of Human Action , 1970 .

[6]  Emiliano Lorini,et al.  The Logic of Acceptance: Grounding Institutions on Agents' Attitudes , 2009, J. Log. Comput..

[7]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[8]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[9]  Eugenio Bulygin,et al.  A Model for Normative Systems , 1971 .

[10]  Michael Wooldridge,et al.  On the logic of cooperation and propositional control , 2005, Artif. Intell..

[11]  Michael Wooldridge,et al.  On the Logic of Normative Systems , 2007, IJCAI.

[12]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[13]  Yde Venema,et al.  Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.

[14]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[15]  Edgar A. Whitley,et al.  The Construction of Social Reality , 1999 .

[16]  Wiebe van der Hoek,et al.  Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.

[17]  Michael Thielscher,et al.  Ramification and Causality , 1997, Artif. Intell..

[18]  Michael Wooldridge,et al.  Reasoning About the Transfer of Control , 2014, J. Artif. Intell. Res..