Makinson, David ;
van der Torre, Leendert
What is Input/Output Logic? Input/Output Logic, Constraints, Permissions
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 |
|
Seminar: |
|
07122 - Normative Multi-agent Systems
|
|
Issue date: |
|
2007 |
|
Date of publication: |
|
12.03.2007 |
12.03.2007
