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

Makinson, David; van der Torre, Leendert

doi:10.4230/DagSemProc.07122.32

Document

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

Authors David Makinson, Leendert van der Torre

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 7122
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2007-03-12

PDF

File

PDF

DagSemProc.07122.32.pdf

Filesize: 225 kB
12 pages

Document Identifiers

DOI: 10.4230/DagSemProc.07122.32
URN: urn:nbn:de:0030-drops-9282

Subject Classification

Keywords

Deontic logic
input/output logic
constraints
permissions

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get BibTex

David Makinson and Leendert van der Torre. What is Input/Output Logic? Input/Output Logic, Constraints, Permissions. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007) https://doi.org/10.4230/DagSemProc.07122.32

Author Details

David Makinson

Leendert van der Torre

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail