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.32
URN: urn:nbn:de:0030-drops-9282
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2007/928/
Go to the corresponding Portal

Makinson, David ; van der Torre, Leendert

What is Input/Output Logic? Input/Output Logic, Constraints, Permissions

pdf-format:
07122.vanderTorreLeon.Paper.928.pdf (0.2 MB)

Abstract

We explain the {em raison d'^etre} and basic ideas of input/output
logic, sketching the central elements with pointers to other
publications for detailed developments. The motivation comes from
the logic of norms. Unconstrained input/output operations are
straightforward to define, with relatively simple behaviour, but
ignore the subtleties of contrary-to-duty norms. To deal with these
more sensitively, we constrain input/output operations by means of
consistency conditions, expressed via the concept of an outfamily.
They also provide a convenient platform for distinguishing and
analysing several different kinds of permission.

BibTeX - Entry

@InProceedings{makinson_et_al:DagSemProc.07122.32,
  author =	{Makinson, David and van der Torre, Leendert},
  title =	{{What is Input/Output Logic? Input/Output Logic, Constraints, Permissions}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--12},
  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/928},
  URN =		{urn:nbn:de:0030-drops-9282},
  doi =		{10.4230/DagSemProc.07122.32},
  annote =	{Keywords: Deontic logic, input/output logic, constraints, permissions}
}

Keywords: Deontic logic, input/output logic, constraints, permissions
Collection: 07122 - Normative Multi-agent Systems
Issue Date: 2007
Date of publication: 12.03.2007

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