Linking sanctions to norms in practice

Abstract: Within social simulation, we often want agents to interact both with larger systems of norms, as well as respond to their own and other agents norm violations. However, there are currently no norm specifications that allow us to interact with all of these components. To address this issue, this paper introduces the concept of violation modalities in CTL. These modalities do not only allow us to keep track of violations, but also allow us to define the usual deontic operators. On top of this, they give us a convenient way of linking together various different norms, and allow us to reason about norms with repeated violations and obligations. We will discuss various properties of the modalities and the deontic operators, and will also discuss some ways in which this formalization can guide an implementation of normative systems.