Abstract
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. We formally define two kinds of norms, viz., the integrity norms and obligations, and provide a computational approach to assess whether an electronic institution is normatively consistent, that is, we can determine whether its norms prevent norm-compliant executions from happening. For this we strongly rely on the analysis of the dialogues that may occur as agents interact.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dignum, F.: Autonomous Agents with Norms. Artificial Intelligence and Law 7, 69–79 (1999)
López y López, F., Luck, M., d’Inverno, M.: Constraining Autonomy Through Norms. In: Proceedings of the 1st Int’l Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS), ACM Press, New York (2002)
Verhagen, H.: Norm Autonomous Agents. PhD thesis, Stockholm University (2000)
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, p. 126. Springer, Heidelberg (2001)
Rodríguez-Aguilar, J.A.: On the Design and Construction of Agent-mediated Electronic Institutions. PhD thesis, IIIA-CSIC, Spain (2001)
Esteva, M.: Electronic Institutions: from specification to development. PhD thesis, Universitat Politècnica de Catalunya (UPC) (2003) IIIA monography vol. 19
Apt, K.R.: From Logic Programming to Prolog. Prentice-Hall, U.K (1997)
Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer, New York (1990)
Enderton, H.B.: A Mathematical Introduction to Logic, 2nd edn. Harcourt/Academic Press, Mass., USA (2001)
Vasconcelos, W.W.: Expressive Global Protocols via Logic-Based Electronic Institutions. In: Proc. 2nd Int’l Joint Conf. on Autonomous Agents & Multi-Agent Systems (AAMAS 2003), Melbourne, Australia, ACM, U.S.A (2003)
Jaffar, J., Maher, M.J.: Constraint Logic Programming: A Survey. Journal of Logic Programming 19/20, 503–581 (1994)
Esteva, M., Padget, J., Sierra, C.: Formalizing a Language for Institutions and Norms. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, p. 348. Springer, Heidelberg (2002)
Ibrahim, I.K., Kotsis, G., Schwinger, W.: Mapping Abstractions of Norms in Electronic Institutions. In: 12th. Int’l Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprise (WETICE 2003), Linz, Austria, IEEE Computer Society, Los Alamitos (2003)
Vasconcelos, W.W., Robertson, D., Sierra, C., Esteva, M., Sabater, J., Wooldridge, M.: Rapid Prototyping of Large Multi-Agent Systems through Logic Programming. Annals of Mathematics and A.I. 41 (2004)
Vasconcelos, W.W., Sierra, C., Esteva, M.: An Approach to Rapid Prototyping of Large Multi-Agent Systems. In: Proc. 17th IEEE Int’l Conf. on Automated Software Engineering (ASE 2002), Edinburgh, UK, pp. 13–22. IEEE Computer Society, U.S.A (2002)
Vasconcelos, W.W.: Norm Verification and Analysis of Electronic Institutions. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 166–182. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Esteva, M., Vasconcelos, W., Sierra, C., Rodríguez-Aguilar, J.A. (2004). Norm Consistency in Electronic Institutions. In: Bazzan, A.L.C., Labidi, S. (eds) Advances in Artificial Intelligence – SBIA 2004. SBIA 2004. Lecture Notes in Computer Science(), vol 3171. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-28645-5_50
Download citation
DOI: https://doi.org/10.1007/978-3-540-28645-5_50
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23237-7
Online ISBN: 978-3-540-28645-5
eBook Packages: Springer Book Archive