When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-9210
Go to the corresponding Portal

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

On the Logic of Normative Systems

07122.AgotnesThomas.Paper.921.pdf (0.2 MB)


We introduce emph{Normative Temporal Logic} (acro{ntl}), a logic for
reasoning about normative systems. acro{ntl} is a generalisation of
the well-known branching-time temporal logic acro{ctl}, in which the
path quantifiers $Apath$ (``on all pathsldots'') and $Epath$ (``on
some pathldots'') are replaced by the indexed deontic operators
s}$ and $P{
s}$, where for example $O{
s}phi$ means
``$phi$ is obligatory in the context of normative system $
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 acro{p}-complete up to
acro{exptime}-hard for these variations.

BibTeX - Entry

  author =	{Thomas Ã…gotnes and Wiebe van der Hoek and Juan A. Rodriguez-Aguilar and Carles Sierra and Michael Wooldridge},
  title =	{On the Logic of Normative Systems},
  booktitle =	{Normative Multi-agent Systems},
  year =	{2007},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen },
  number =	{07122},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{},
  annote =	{Keywords: Normative systems, normative temporal logic, deontic logic}

Keywords: Normative systems, normative temporal logic, deontic logic
Collection: 07122 - Normative Multi-agent Systems
Issue Date: 2007
Date of publication: 12.03.2007

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI