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

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail