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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
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