DagSemProc.07122.23.pdf
- Filesize: 262 kB
- 33 pages
Document
On the Logic of Constitutive Rules
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
Davide Grossi, John-Jules Meyer, and Frank Dignum. On the Logic of Constitutive Rules. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
https://doi.org/10.4230/DagSemProc.07122.23
https://doi.org/10.4230/DagSemProc.07122.23
Abstract
The paper proposes a logical systematization of the notion of counts-as which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., forms of classification. Moving from this analytical thesis the paper disentangles three semantically different readings of statements of the type X counts as Y in context C, from the weaker notion of contextual classification to the stronger notion of constitutive rule. These many ways in which counts-as can be said are then formally addressed by making use of modal logic techniques. The resulting framework allows for a formal characterization of all the involved notions and their reciprocal logical relationships.
Keywords
- Constitutive rules
- counts-as
- modal logic.
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads