License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-9282
URL: http://drops.dagstuhl.de/opus/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:
Document 1.pdf (225 KB)


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:DSP:2007:928,
  author =	{David Makinson and Leendert van der Torre},
  title =	{What is Input/Output Logic? Input/Output Logic, Constraints, Permissions},
  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 =		{http://drops.dagstuhl.de/opus/volltexte/2007/928},
  annote =	{Keywords: Deontic logic, input/output logic, constraints, permissions}
}

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


DROPS-Home | Fulltext Search | Imprint Published by LZI