A Dynamic Logic of Normative Systems

Herzig, Andreas; Lorini, Emiliano; Moisan, Frédéric; Troquard, Nicolas

doi:10.5591/978-1-57735-516-8/IJCAI11-049

A Dynamic Logic of Normative Systems

Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 228-232.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-049

Abstract

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.

Andreas Herzig, Emiliano Lorini, Frédéric Moisan, and Nicolas Troquard. 2011. A Dynamic Logic of Normative Systems. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 228–232. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-049

@inproceedings{ijcai2011p49,
  title     = {A Dynamic Logic of Normative Systems},
  author    = {Herzig, Andreas and Lorini, Emiliano and Moisan, Frédéric and Troquard, Nicolas},
  booktitle = {Proceedings of the Twenty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-11}},
  publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
  editor    = {Toby Walsh},
  pages     = {228--232},
  year      = {2011},
  month     = {7},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-049},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-049},
}

TY  - CPAPER
TI  - A Dynamic Logic of Normative Systems
AU  - Herzig, Andreas
AU  - Lorini, Emiliano
AU  - Moisan, Frédéric
AU  - Troquard, Nicolas
T2  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11
PB  - AAAI Press/International Joint Conferences on Artificial Intelligence
PY  - 2011
SP  - 228
EP  - 232
DO  - 10.5591/978-1-57735-516-8/IJCAI11-049
UR  - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-049
ER  -