Abstract
Institutions have been proposed as a means to regulate open interaction systems by introducing a set of norms (involving deontic positions like authorizations, obligations, prohibitions, and permissions) and to define the ontology of the context in which agents interact. To better clarify the interdependence existing among deontic positions and the ontology defined by each institution, in this paper we propose to model institutions in terms of status functions imposed on agents and defined as aggregates of deontic positions. We present a metamodel which describes the concepts necessary to specify an institution and FIEVeL, a language that can be used to formalize institutions. Finally, we discuss how to automatically translate FIEVeL specifications into the input language of the SPIN model checker and the kind of properties that it is possible to check.
Supported by Swiss National Science Foundation project 200020-109525, “Artificial Institutions: specification and verification of open distributed interaction frameworks.”
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Boella, G., van der Torre, L.: The Ontological Properties of Social Roles: Definitional Dependence, Powers and Roles Playing Roles. In: Proceedings of the ICAIL 2005 Workshop on Legal Ontologies and Artificial Intelligence Techniques (2005)
Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambrige, MA (1999)
Cliffe, O., Padget, J.: A Framework For Checking Interactions Within Agent Institutions. In: Proceedings of the ECAI Workshop on Model Checking and Artificial Intelligence (MoChart I) (2002)
Cliffe, O., Vos, M.D., Padget, J.: Specifying and Analysing Agent-based Social Institutions using Answer Set Programming. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda, J. (eds.) Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. LNCS (LNAI), vol. 3913, pp. 99–113. Springer, Heidelberg (2006)
Endriss, U.: Temporal Logics for Representing Agent Communication Protocols. In: Dignum, F., van Eijk, R.M., Flores, R. (eds.) AC 2005. LNCS (LNAI), vol. 3859, Springer, Heidelberg (2006)
Esteva, M., Rodríguez-Aguilar, J.A., Rosell, B., Arcos, J.L.: AMELI: An Agent-based Middleware for Electronic Institutions. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) AAMAS 2004. Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems, pp. 236–243. ACM Press, New York (2004)
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.) Agent Mediated Electronic Commerce. LNCS (LNAI), vol. 1991, pp. 126–147. Springer, Heidelberg (2001)
Farrell, A.D.H., Sergot, M.J., Sallé, M., Bartolini, C.: Using the Event Calculus for Tracking the Normative State of Contracts. Journal of Cooperative Information Systems 14(2-3), 99–129 (2005)
Fornara, N., Viganò, F., Colombetti, M.: Agent Communication and Institutional Reality. In: van Eijk, R.M., Huget, M.-P., Dignum, F.P.M. (eds.) AC 2004. LNCS (LNAI), vol. 3396, pp. 1–17. Springer, Heidelberg (2005)
Garcia-Camino, A., Noriega, P., Rodriguez-Aguilar, J.A.: Implementing norms in electronic institutions. In: AAMAS 2005. Proceedings of the 4th International Joint Conference on Autonomous agents and Multi-Agent Systems, pp. 667–673. ACM Press, New York (2005)
García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.W.: A distributed architecture for norm-aware agent societies. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 89–105. Springer, Heidelberg (2006)
Holzmann, G.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003)
Huget, M.-P., Esteva, M., Phelps, S., Sierra, C., Wooldridge, M.: Model Checking Electronic Institutions. In: Proceedings of the ECAI Workshop on Model Checking and Artificial Intelligence (MoChArt I) (2002)
Jones, A., Sergot, M.J.: A formal characterisation of institutionalised power. Journal of the IGPL 4(3), 429–445 (1996)
Kowalski, R.A., Sergot, M.J.: A Logic-based Calculus of Events. New Generation Computing 4, 67–95 (1986)
Masolo, C., Vieu, L., Bottazzi, E., Catenacci, C., Ferrario, R., Gangemi, A., Guarino, N.: Social Roles and their Descriptions. In: Dubois, D., Welty, C., Williams, M. (eds.) KR 2004. Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning, pp. 267–277 (2004)
North, D.: Institutions, Institutional Change and Economics Performance. Cambridge University Press, Cambridge, United Kingdom (1990)
Ostroff, J.S.: Modelling, specifying and verifying real-time temporal interval logic. In: Proceedings of the IEEE Symposium on Real-Time Systems, IEEE Press, New York (1987)
Peled, D.: Software reliability methods. Texts in Computer Science. Springer, New York, NJ, USA (2001)
Pitt, J., Kamara, L., Sergot, M., Artikis, A.: Formalization of a voting protocol for virtual organizations. In: AAMAS 2005. Proceedings of the 4th International Joint Conference on Autonomous agents and Multi-Agent Systems, pp. 373–380. ACM Press, New York (2005)
Searle, J.R.: The construction of social reality. Free Press, New York, USA (1995)
Sergot, M.J.: Modelling unreliable and untrustworthy agent behaviour. In: Dunin-Keplicz, B., Jankowski, A., Skowron, A., Szczuka, M. (eds.) Monitoring, Security, and Rescue Techniques in Multiagent Systems. Advances in Soft Computing, pp. 161–178. Springer, Heidelberg (2005)
Viganò, F.: FIEVeL, a Language for the Specification and Verification of Institutions. Technical Report 3, Institute for Communication Technologies, Università della Svizzera Italiana (2006)
Viganò, F., Fornara, N., Colombetti, M.: An Event Driven Approach to Norms in Artificial Institutions. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda, J. (eds.) Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. LNCS (LNAI), vol. 3913, pp. 142–154. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Viganò, F., Colombetti, M. (2007). Specification and Verification of Institutions Through Status Functions. In: Noriega, P., et al. Coordination, Organizations, Institutions, and Norms in Agent Systems II. COIN 2006. Lecture Notes in Computer Science(), vol 4386. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74459-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-74459-7_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74457-3
Online ISBN: 978-3-540-74459-7
eBook Packages: Computer ScienceComputer Science (R0)