A dynamic logic of normative systems

Andreas Herzig (1, 2) , Emiliano Lorini (1, 2) , Frédéric Moisan (1) , Nicolas Troquard (3)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique
3 University of Essex

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 finally show how the logic can be extended in order to represent constitutive rules which are also an essential component of the modelling of social reality.

Mots clés: modal logic; dynamic logic of assignments; normative system

Domaines: Intelligence artificielle [cs.AI]

Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard. A dynamic logic of normative systems. 22rd International Joint Conference on Artificial Intelligence (IJCAI 2011), Jul 2011, Barcelona, Spain. pp.228-233. ⟨hal-03464955⟩