Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems

COIN 2008: Coordination, Organizations, Institutions and Norms in Agent Systems IV pp 140–155Cite as

A Context-Based Institutional Normative Environment

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5428))

Abstract

We explore the concept of an agent-based Electronic Institution including a normative environment that supports electronic contract formation by providing a contextual normative background. We formalize the normative state using first-order logic and define institutional rules and norms operating on that state. A suitable semantics regarding the use of norms within a hierarchical context structure is given, based on norm activation conflict and defeasibility. Norm activation relies on substitution as in first-order logic. Reasoning about the fulfillment and violation of deadline obligations is formalized using linear temporal logic; implementation with institutional rules is discussed. Examples exploiting the normative environment are given.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arcos, J.L., Esteva, M., Noriega, P., Rodríuez-Aguilar, J.A., Sierra, C.: Environment engineering for multiagent systems. Engineering Applications of Artificial Intelligence 18(2), 191–204 (2005)

    Article  Google Scholar 

  2. Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In: Castelfranchi, C., Johnson, W.L. (eds.) International Joint Conference on Autonomous Agents and Multi-Agent Systems, Bologna, Italy, pp. 1053–1062. ACM Press, New York (2002)

    Google Scholar 

  3. Lopes Cardoso, H., Oliveira, E.: Electronic institutions for b2b: Dynamic normative environments. Artificial Intelligence and Law 16(1), 107–128 (2008)

    Article  Google Scholar 

  4. Lopes Cardoso, H., Oliveira, E.: A contract model for electronic institutions. In: Sichman, J.S., Padget, J., Ossowski, S., Noriega, P. (eds.) COIN 2007. LNCS (LNAI), vol. 4870, pp. 27–40. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  5. Lopes Cardoso, H., Oliveira, E.: Institutional reality and norms: Specifying and monitoring agent organizations. International Journal of Cooperative Information Systems 16(1), 67–95 (2007)

    Article  Google Scholar 

  6. Craswell, R.: Contract law: General theories. In: Bouckaert, B., De Geest, G. (eds.) Encyclopedia of Law and Economics. The Regulation of Contracts, vol. III, pp. 1–24. Edward Elgar, Cheltenham (2000)

    Google Scholar 

  7. Dignum, F., Broersen, J., Dignum, V., Meyer, J.J.: Meeting the deadline: Why, when and how. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS (LNAI), vol. 3228, pp. 30–40. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  8. Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Sematics, vol. B, pp. 995–1072. North-Holland Pub. Co./MIT Press (1990)

    Google Scholar 

  9. Campos, J., López-Sánchez, M., Rodríguez-Aguilar, J.A., Esteva, M.: Formalising situatedness and adaptation in electronic institutions. In: Hubner, J.F., et al. (eds.) COIN 2008. LNCS (LNAI), vol. 5428, pp. 126–139. Springer, Heidelberg (2008)

    Google Scholar 

  10. Searle, J.R.: The Construction of Social Reality. Free Press, New York (1995)

    Google Scholar 

  11. Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Logic Journal of the IGPL 4(3), 427–443 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  12. Vázquez-Salceda, J., Dignum, F.: Modelling electronic organizations. In: Mařík, V., Müller, J.P., Pěchouček, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol. 2691, pp. 584–593. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  13. Grossi, D., Dignum, F.: From abstract to concrete norms in agent institutions. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS (LNAI), vol. 3228, pp. 12–29. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  14. Grossi, D., Dignum, F., Meyer, J.J.C.: Contextual taxonomies. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 33–51. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  15. Cliffe, O., De Vos, M., Padget, J.: Specifying and reasoning about multiple institutions. In: Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol. 4386, pp. 67–85. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  16. Boella, G., van der Torre, L.: Contracts as legal institutions in organizations of autonomous agents. In: Jennings, N., Sierra, C., Sonenberg, L., Tambe, M. (eds.) Third International Joint Conference on Autonomous Agents and Multi Agent Systems, vol. 2, pp. 948–955. ACM Press, New York (2004)

    Google Scholar 

  17. Reiter, R.: A logic for default reasoning. Artificial Intelligence 13(1/2), 81–132 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  18. Royakkers, L., Dignum, F.: Defeasible reasoning with legal rules. In: Brown, M., Carmo, J. (eds.) Deontic Logic, Agency and Normative Systems (Workshops in Computing), pp. 174–193. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  19. Sartor, G.: Normative conflicts in legal reasoning. Artificial Intelligence and Law 1(2-3), 209–235 (1992)

    Article  Google Scholar 

  20. van der Torre, L.: Violated obligations in a defeasible deontic logic. In: Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI 1994), pp. 371–375. John Wiley and Sons, Amsterdam (1994)

    Google Scholar 

  21. García-Camino, A., Noriega, P., Rodríguez-Aguilar, J.A.: An algorithm for conflict resolution in regulated compound activities. In: Seventh Annual International Workshop Engineering Societies in the Agents World (ESAW 2006) (2006)

    Google Scholar 

  22. Ryu, Y.U.: Relativized deontic modalities for contractual obligations in formal business communication. In: 30th Hawaii International Conference on System Sciences (HICSS), Hawaii, USA. Information Systems Track - Internet and the Digital Economy, vol. 4, p. 485 (1997)

    Google Scholar 

  23. Grosof, B.N.: Representing e-commerce rules via situated courteous logic programs in ruleml. Electronic Commerce Research and Applications 3(1), 2–20 (2004)

    Article  Google Scholar 

  24. Governatori, G.: Representing business contracts in ruleml. International Journal of Cooperative Information Systems 14(2-3), 181–216 (2005)

    Article  Google Scholar 

  25. Giannikis, G.K., Daskalopulu, A.: Defeasible reasoning with e-contracts. In: IEEE/WIC/ACM International Conference on Intelligent Agent Technology, pp. 690–694 (2006)

    Google Scholar 

  26. García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.: Norm-oriented programming of electronic institutions: A rule-based approach. In: Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol. 4386, pp. 177–193. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  27. Friedman-Hill, E.: Jess in Action. Manning Publications Co. (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIACC, DEI / Faculdade de Engenharia, Universidade do Porto, R. Dr. Roberto Frias, 4200-465, Porto, Portugal

    Henrique Lopes Cardoso & Eugénio Oliveira

Authors
  1. Henrique Lopes Cardoso
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eugénio Oliveira
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Multi-agent Systems Department, EMS Mines Saint-Etienne, 158 Cours Fauriel, 42023, Saint-Etienne Cedex 02, France

    Jomi Fred Hübner

  2. Purdue University, 70907, West Lafayette, IN, USA

    Eric Matson

  3. ENS Mines Saint-Etienne, 42023, Saint-Etienne, Cedex 02, France

    Olivier Boissier

  4. Dept. Information and Computing Sciences, Utrecht University, 3508TB, Utrecht, The Netherlands

    Virginia Dignum

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cardoso, H.L., Oliveira, E. (2009). A Context-Based Institutional Normative Environment. In: Hübner, J.F., Matson, E., Boissier, O., Dignum, V. (eds) Coordination, Organizations, Institutions and Norms in Agent Systems IV . COIN 2008. Lecture Notes in Computer Science(), vol 5428. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00443-8_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-00443-8_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-00442-1

  • Online ISBN: 978-3-642-00443-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation