Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en Ågotnes, Thomas; van der Hoek, Wiebe; Rodriguez-Aguilar, Juan A.; Sierra, Carles; Wooldridge, Michael License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-9210

; ; ; ;

On the Logic of Normative Systems



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 =	{\r{A}gotnes, Thomas and van der Hoek, Wiebe and Rodriguez-Aguilar, Juan A. and Sierra, Carles and Wooldridge, Michael},
  title =	{{On the Logic of Normative Systems}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-9210},
  doi =		{10.4230/DagSemProc.07122.24},
  annote =	{Keywords: Normative systems, normative temporal logic, deontic logic}

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

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