Abstract
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.
Supported by the Swiss National Science Foundation project 200020-109525, “Artificial Institutions: specification and verification of open distributed interaction frameworks.”
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Ågotnes, T., van der Hoek, W., Rodríguez-Aguilar, J.A., Sierra, C., Wooldridge, M.: On the logic of normative systems. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence, pp. 1175–1180 (2007)
Artikis, A., Kamara, L., Pitt, J., Sergot, M.J.: A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks. In: Leite, J.A., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 221–238. Springer, Heidelberg (2005)
Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
Emerson, E.A., Halpern, J.Y.: “Sometimes” and “not never” revisited: on branching versus linear time temporal logic. Journal of the ACM 33(1), 151–178 (1986)
Esteva, M., Rodríguez-Aguilar, J.A., Sierra, C., Garcia, P., Arcos, J.L.: On the Formal Specification of Electronic Institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, pp. 126–147. Springer, Heidelberg (2001)
Fornara, N., Colombetti, M.: Specifying and Enforcing Norms in Artificial Institutions. In: Omicini, A., Dunin-Keplicz, B., Padget, J. (eds.) Proceedings of the 4th European Workshop on Multi-Agent Systems (2006)
Fornara, N., Viganò, F., Colombetti, M.: Agent Communication and Artificial Institutions. Autonomous Agents and Multi-Agent Systems 14(2), 121–142 (2007)
García-Camino, A.: Ignoring, Forcing and Expecting Concurrent Events in Electronic Institutions. In: Sichman, J.S., et al. (eds.) COIN 2007 Workshops. LNCS (LNAI), vol. 4870, pp. 316–329. Springer, Heidelberg (2008)
Grossi, D., Aldewereld, H., Dignum, F.: Ubi lex, ibi poena: Designing norm enforcement in e-institutions. In: Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006, vol. 4386, pp. 110–124. Springer, Heidelberg (2007)
Jones, A., Sergot, M.J.: On the characterization of law and computer systems: The normative systems perspectives. In: Deontic Logic in Computer Science: Normative Systems Specification, pp. 275–307 (1993)
Jones, A., Sergot, M.J.: A formal characterisation of institutionalised power. Journal of the IGPL 4(3), 429–445 (1996)
Lomuscio, A., Sergot, M.: A formulation of violation, error recovery, and enforcement in the bit transmission problem. Journal of Applied Logic 1(2), 93–116 (2002)
Manzano, M.: Introduction to many-sorted logic. In: Many-sorted logic and its applications, pp. 3–86. John Wiley, Chichester (1993)
Meyer, J.-J., Wieringa, R.J.: Deontic Logic: A Concise Overview. In: Deontic Logic in Computer Science: Normative Systems Specification, pp. 3–16. John Wiley, Chichester (1993)
Pitt, J., Kamara, L., Sergot, M., Artikis, A.: Formalization of a voting protocol for virtual organizations. In: Proceedings of the 4th Conference on Autonomous agents and Multi-Agent Systems, pp. 373–380 (2005)
Raimondi, F., Lomuscio, A.: Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD’s. In: Proceedings of the 16th European Conference on Artificial Intelligence, pp. 53–57 (2004)
Searle, J.R.: The construction of social reality. Free Press, New York (1995)
Sergot, M.J., Craven, R.: The Deontic Component of Action Language nC+. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 222–237. Springer, Heidelberg (2006)
Viganò, F., Colombetti, M.: Specification and Verification of Institutions through Status Functions. In: Noriega, P., et al. (eds.) COIN 2006. LNCS (LNAI), vol. 4386, pp. 125–141. Springer, Heidelberg (2007)
Viganò, F., Colombetti, M.: Symbolic Model Checking of Institutions. In: Proceedings of the 9th International Conference on Electronic Commerce (ICEC 2007), pp. 35–44. ACM Press (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Viganò, F., Colombetti, M. (2008). Model Checking Norms and Sanctions in Institutions. In: Sichman, J.S., Padget, J., Ossowski, S., Noriega, P. (eds) Coordination, Organizations, Institutions, and Norms in Agent Systems III. COIN 2007. Lecture Notes in Computer Science(), vol 4870. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79003-7_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-79003-7_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79002-0
Online ISBN: 978-3-540-79003-7
eBook Packages: Computer ScienceComputer Science (R0)