Abstract
A strong research emphasis is being given towards regulating interoperable multi-agent environments through norms and institutions. We are concerned with environments in which agents form together virtual organizations leading to cooperation agreements that can be enforced. An electronic institution provides a coordination framework facilitating automatic contract establishment and providing an enforceable normative environment. We introduce the notion of contextualized norms within our institutional framework, and develop on a model of institutional reality, taking into account institutional roles and agents’ statements, with the aim of providing a contract monitoring service. Our proposal describes how to use norms to formalize cooperation agreements and operational contracts, and how to monitor and detect contract violations.
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
Boella, G., van der Torre, L.: Regulative and Constitutive Norms in Normative Multiagent Systems. In: Proc. 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2004), Whistler, Canada (2004)
Castelfranchi, C.: Engineering Social Order. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) Engineering Societies in the Agents World, pp. 1–18. Springer, Heidelberg (2000)
Castelfranchi, C., Dignum, F., Jonker, C., Treur, J.: Deliberative Normative Agents: Principles and Architectures. In: Jennings, N.R. (ed.) ATAL 1999. LNCS, vol. 1757, pp. 364–378. Springer, Heidelberg (2000)
Colombetti, M., Verdicchio, M.: An analysis of agent speech acts as institutional actions. In: Castelfranchi, Johnson (eds.) Proc. 1st Int. Joint Conf. on Autonomous Agents and Multiagent Systems, pp. 1157–1164. ACM Press, New York (2002)
Dignum, V., Dignum, F.: Towards an Agent-based Infrastructure to Support Virtual Organizations. In: Camarinha-Matos, L.M. (ed.) Collaborative Business Ecosystems and Virtual Enterprises, pp. 363–370. Kluwer, Dordrecht (2002)
Dignum, V., Meyer, J.-J., Dignum, F., Weigand, H.: Formal Specification of Interaction in Agent Societies. In: Hinchey, M., Rash, J., Truszkowski, W., Rouff, C., Gordon-Spears, D. (eds.) Formal Approaches to Agent-Based Systems, pp. 37–52. Springer, Heidelberg (2003)
Fornara, N., Viganò, F., Colombetti, M.: Agent Communication and Institutional Reality. In: van Eijk, R.M., Huget, M.-P., Dignum, F. (eds.) Agent Communication, pp. 1–17. Springer, Heidelberg (2005)
JESS, the Rule Engine for the Java Platform, http://herzberg.ca.sandia.gov/jess/
Kollingbaum, M.J., Norman, T.J.: Supervised Interaction – Creating a Web of Trust for Contracting Agents in Electronic Environments. In: Castelfranchi, Johnson (eds.) Proc. 1st Int. Joint Conf. on Autonomous Agents and Multiagent Systems, pp. 272–279. ACM Press, New York (2002)
Lopes Cardoso, H., Malucelli, A., Rocha, A.P., Oliveira, E.: Institutional Services for Dynamic Virtual Organizations. In: Proc. 6th IFIP Working Conference on Virtual Enterprises (PRO-VE 2005), Valencia, Spain, September 26-28 (2005)
Lopes Cardoso, H., Oliveira, E.: Virtual enterprise normative framework within electronic institutions. In: Gleizes, M.-P., Omicini, A., Zambonelli, F. (eds.) ESAW 2004. LNCS (LNAI), vol. 3451, pp. 14–32. Springer, Heidelberg (2005)
Maudet, N., Chaib-draa, B.: Commitment-based and dialogue-game based protocols – new trends in agent communication languages. Knowledge Engineering 17(2), 157–179 (2002)
Oliveira, E., Rocha, A.P.: Agents Advanced Features for Negotiation in Electronic Commerce and Virtual Organisations Formation Process. In: Dignum, F., Sierra, C. (eds.) Agent Mediated Electronic Commerce: The European AgentLink Perspective, pp. 78–97. Springer, Heidelberg (2000)
Rodríguez-Aguilar, J.A.: On the design and construction of Agent-mediated Electronic Institutions, Ph.D. Thesis, Universitat Autònoma de Barcelona (2001)
Sallé, M.: Electronic Contract Framework for Contractual Agents. In: Cohen, R., Spencer, B. (eds.) Advances in Artificial Intelligence: 15th Conference of the Canadian Society for Computational Studies of Intelligence, pp. 349–353. Springer, Heidelberg (2002)
Searle, J.R.: Speech Acts: an Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)
Searle, J.R.: The Construction of Social Reality. Free Press, New York (1995)
Vázquez-Salceda, J., Aldewereld, H., Dignum, F.: Implementing norms in multiagent systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) Multiagent System Technologies, pp. 313–327. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cardoso, H.L., Oliveira, E. (2005). Towards an Institutional Environment Using Norms for Contract Performance. In: Pěchouček, M., Petta, P., Varga, L.Z. (eds) Multi-Agent Systems and Applications IV. CEEMAS 2005. Lecture Notes in Computer Science(), vol 3690. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11559221_26
Download citation
DOI: https://doi.org/10.1007/11559221_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29046-9
Online ISBN: 978-3-540-31731-9
eBook Packages: Computer ScienceComputer Science (R0)