On the Logic of Normative Systems

Ågotnes, Thomas; van der Hoek, Wiebe; Rodriguez Aguilar, Juan A.; Sierra, Carles; Wooldridge, Michael J.

On the Logic of Normative Systems

Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge

Download BibTeX Cite

Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. Pages 1175-1179.

Abstract

We introduce Normative Temporal Logic (NTL), a logic for reasoning about normative systems. NTL is a generalisation of the well-known branching-time temporal logic CTL, in which the path quantifiers A (on all paths...) and E (on some path) are replaced by the indexed deontic operators On and Pn, where for example On Phi means Phi is obligatory in the context of normative system n. After defining the logic, we give a sound and complete axiomatisation, and discuss the logic's relationship to standard deontic logics. We present a symbolic representation language for models and normative systems, and identify four different model checking problems, corresponding to whether or not a model is represented symbolically or explicitly, and whether or not we are given an interpretation for the normative systems named in formulae to be checked. We show that the complexity of model checking varies from P-complete up to ExpTime-hard for these variations.

Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodriguez Aguilar, Carles Sierra, and Michael J. Wooldridge. 2007. On the Logic of Normative Systems. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07. IJCAI, 1175–1179. https://ijcai.org/proceedings/2007/190

@inproceedings{ijcai2007p190,
  title     = {On the Logic of Normative Systems},
  author    = {Ågotnes, Thomas and van der Hoek, Wiebe and Rodriguez Aguilar, Juan A. and Sierra, Carles and Wooldridge, Michael J.},
  booktitle = {Proceedings of the Twentieth International Joint Conference on
               Artificial Intelligence, {IJCAI-07}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ramon López de Mántaras},
  pages     = {1175--1179},
  year      = {2007},
  url       = {https://ijcai.org/proceedings/2007/190},
}

TY  - CPAPER
TI  - On the Logic of Normative Systems
AU  - Ågotnes, Thomas
AU  - van der Hoek, Wiebe
AU  - Rodriguez Aguilar, Juan A.
AU  - Sierra, Carles
AU  - Wooldridge, Michael J.
T2  - Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2007
SP  - 1175
EP  - 1179
UR  - https://ijcai.org/proceedings/2007/190
ER  -