DagSemProc.07122.32.pdf
- Filesize: 225 kB
- 12 pages
Document
What is Input/Output Logic? Input/Output Logic, Constraints, Permissions
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 7122
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2007-03-12
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
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)
0PDF Downloads