License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.07122.24
URN: urn:nbn:de:0030-drops-9210
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2007/921/
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

pdf-format:
07122.AgotnesThomas.Paper.921.pdf (0.2 MB)

Abstract

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
$O{
s}$ and $P{
s}$, where for example $O{
s}phi$ means
``$phi$ is obligatory in the context of normative system $
s$''.
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

@InProceedings{agotnes_et_al:DagSemProc.07122.24,
  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 =		{https://drops.dagstuhl.de/opus/volltexte/2007/921},
  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
Collection: 07122 - Normative Multi-agent Systems
Issue Date: 2007
Date of publication: 12.03.2007

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