Towards an Institutional Environment Using Norms for Contract Performance

  • Henrique Lopes Cardoso
  • Eugénio Oliveira
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3690)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)Google Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    JESS, the Rule Engine for the Java Platform,
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    Rodríguez-Aguilar, J.A.: On the design and construction of Agent-mediated Electronic Institutions, Ph.D. Thesis, Universitat Autònoma de Barcelona (2001)Google Scholar
  15. 15.
    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)Google Scholar
  16. 16.
    Searle, J.R.: Speech Acts: an Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)Google Scholar
  17. 17.
    Searle, J.R.: The Construction of Social Reality. Free Press, New York (1995)Google Scholar
  18. 18.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Henrique Lopes Cardoso
    • 1
  • Eugénio Oliveira
    • 1
  1. 1.LIACC – NIAD&R, Faculty of EngineeringUniversity of PortoPortoPortugal

Personalised recommendations