On the Logic of Constitutive Rules

Authors Davide Grossi, John-Jules Meyer, Frank Dignum



PDF
Thumbnail PDF

File

DagSemProc.07122.23.pdf
  • Filesize: 262 kB
  • 33 pages

Document Identifiers

Author Details

Davide Grossi
John-Jules Meyer
Frank Dignum

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

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)
    0
    PDF Downloads