论文标题
将制裁与实践中的规范联系起来
Linking sanctions to norms in practice
论文作者
论文摘要
在社会模拟中，我们经常希望代理商与较大的规范系统互动，并对自己和其他代理违反规范的反应。但是，目前尚无规范规格可以使我们与所有这些组件进行交互。为了解决这个问题，本文介绍了CTL中违规方式的概念。这些方式不仅使我们能够跟踪违规行为，而且还使我们能够定义通常的道态操作员。最重要的是，它们为我们提供了一种将各种不同规范联系在一起的方便方式，并让我们对一再违反和义务的规范进行推论。我们将讨论模式和道运算员的各种属性，还将讨论这种形式化可以指导实施规范系统的一些方式。
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.
