In this paper we enrich FIEVeL (a modelling language for institutions amenable to model checking) with new constructs to describe norms and sanctions. Moreover, we present a specification language to reason about the effectiveness of norms and sanctions in shaping agent interactions. Finally we show that when properties of artificial institutions reflect certain interpretations of norms of human institutions, it is not always possible to satisfy them. As a consequence, regimentation of norms is not always a viable solution. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Viganò, F., & Colombetti, M. (2008). Model checking norms and sanctions in institutions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4870 LNAI, pp. 316–329). Springer Verlag. https://doi.org/10.1007/978-3-540-79003-7_23
Mendeley helps you to discover research relevant for your work.