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

Authors David Makinson, Leendert van der Torre



PDF
Thumbnail PDF

File

DagSemProc.07122.32.pdf
  • Filesize: 225 kB
  • 12 pages

Document Identifiers

Author Details

David Makinson
Leendert van der Torre

Cite AsGet 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

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.
Keywords
  • Deontic logic
  • input/output logic
  • constraints
  • permissions

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail