DeepAI AI Chat
Log In Sign Up

Linking sanctions to norms in practice

by   René Mellema, et al.

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.


page 1

page 2

page 3

page 4


Learning Norms via Natural Language Teachings

To interact with humans, artificial intelligence (AI) systems must under...

Socially Intelligent Genetic Agents for the Emergence of Explicit Norms

Norms help regulate a society. Norms may be explicit (represented in str...

Norms, Institutions, and Robots

Interactions within human societies are usually regulated by social norm...

Norm Identification through Plan Recognition

Societal rules, as exemplified by norms, aim to provide a degree of beha...

Tipping Points for Norm Change in Human Cultures

Humans interact with each other on a daily basis by developing and maint...

Multilevel decompositions and norms for negative order Sobolev spaces

We consider multilevel decompositions of piecewise constants on simplici...