Skip to main content

Agreement Technologies: A Computing Perspective

  • Chapter
  • First Online:

Part of the book series: Law, Governance and Technology Series ((LGTS,volume 8))

Abstract

In this chapter we analyse the concept of agreement from a Computing perspective. In particular, we argue that the capability of software components to dynamically forge and execute agreements at run-time will become increasingly important, and identify key areas and challenges that need to be addressed in order to advance in this direction. Finally, we introduce the emerging field of Agreement Technologies for the construction of large-scale open distributed software systems, and identify technologies that are in the sandbox to define, specify and verify such systems.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover 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

Notes

  1. 1.

    http://www.acm.org/education/curric_vols/CC2005-March06Final.pdf

References

  • Andrighetto, G., G. Governatori, P. Noriega, and L. van der Torre. 2012. Dagstuhl Seminar Proceedings 12111: Normative Multi-Agent Systems. http://www.dagstuhl.de/12111.

  • Arcos, J.L., M. Esteva, P. Noriega, J.A. Rodríguez, and C. Sierra. 2005. Engineering open environments with electronic institutions. Journal on Engineering Applications of Artificial Intelligence 18(2): 191–204.

    Article  Google Scholar 

  • Fernández, A., and S. Ossowski. 2011. A multiagent approach to the dynamic enactment of semantic transportation services. IEEE Transactions on Intelligent Transportation Systems 12(2): 333–342.

    Article  Google Scholar 

  • Franklin, S., and A. Graesser. 1997. Is it an agent, or just a program? A taxonomy for autonomous agents. In Intelligent agents III, agent theories, architectures, and languages. Lecture Notes in Computer Science, vol. 1193, 21–35. Heidelberg: Springer.

    Google Scholar 

  • García-Fornes, A., J. Hübner, A. Omicini, J.A. Rodríguez-Aguilar, and V. Botti. 2011. Infrastructures and tools for multiagent systems for the new generation of distributed systems. Engineering Applications of AI 24(7): 1095–1097.

    Google Scholar 

  • Hermenegildo, M., E. Albert, P. López-García, and G. Puebla. 2005. Abstraction carrying code and resource-awareness. In Principle and practice of declarative programming (PPDP-2005), 1–11. New York: ACM.

    Google Scholar 

  • Jennings, N., P. Faratin, A. Lomuscio, S. Parsons, C. Sierra, and M. Wooldridge. 2001. Automated negotiation: prospects, methods and challenges. International Journal of Group Decision and Negotiation 10(2): 199–215.

    Article  Google Scholar 

  • Jøsang, A., R. Ismail, and C. Boyd. 2007. A survey of trust and reputation systems for online service provision. Decision Support Systems 43(2): 618–644.

    Article  Google Scholar 

  • Kalfoglou, Y., and M. Schorlemmer. 2003. IF-Map – an ontology-mapping method based on information-flow theory. In Journal on Data Semantics I. Lecture Notes in Computer Science, ed. S. Spaccapietra, S. March, and K. Aberer, vol. 2800, 98–127. Heidelberg: Springer.

    Google Scholar 

  • Ko, R.K.L., S.S.G. Lee, and E.W. Lee. 2009. Business process management (bpm) standards: A survey. Business Process Management Journal 15(5): 744–791.

    Article  MathSciNet  Google Scholar 

  • Kraus, S. 1997. Negotiation and cooperation in multi-agent environments. Artificial Intelligence 94(1–2): 79–97.

    Article  MATH  Google Scholar 

  • Necula, G.C., and P. Lee. 1997. Proof-carrying code. In 24th symposium on principles of programming languages (POPL-1997), 106–109, New York: ACM.

    Google Scholar 

  • Omicini, A., S. Ossowski, and A. Ricci. 2004. Coordination infrastructures in the engineering of multiagent systems. In Methodologies and software engineering for agent systems – the agent-oriented software engineering handbook, 273–296. Boston/London: Kluwer.

    Google Scholar 

  • Ossowski, S., and R. Menezes. 2006. On coordination and its significance to distributed and multi-agent systems. Concurrency and Computation: Practice and Experience 18(4): 359–370.

    Article  Google Scholar 

  • Ossowski, S. 2008. Coordination in multi-agent systems – towards a technology of agreement. In Multiagent system technologies (MATES-2008). Lecture Notes in Computer Science, vol. 5244, 2–12. Heidelberg: Springer.

    Google Scholar 

  • Ramchurn, S., P. Vytelingum, A. Rogers, and N. Jennings. 2012. Putting the “Smarts” into the smart grid: A grand challenge for artificial intelligence. Communications of the ACM 55(4), 86–97.

    Article  Google Scholar 

  • Sierra, C., and J. Debenham. 2006. Trust and honour in information-based agency. In Proceedings of the 5th international conference on autonomous agents and multi agent systems, 1225–1232. New York: ACM.

    Google Scholar 

  • Sierra, C., V. Botti, and S. Ossowski. 2011. Agreement computing. Künstliche Intelligenz 25(1): 57–61.

    Article  Google Scholar 

  • Vasirani, M., and S. Ossowski. 2012. A market-inspired approach for intersection management in urban road traffic networks. Journal of Artificial Intelligence Research (JAIR) 43: 621–659.

    MATH  Google Scholar 

  • Vasirani, M., and S. Ossowski. 2013. A proportional share allocation mechanism for coordination of plug-in electric vehicle charging. Journal on Engineering Applications of Artificial Intelligence. http://dx.doi.org/10.1016/j.engappai.2012.10.008.

  • Wooldridge, M., and N. Jennings. 1995. Intelligent agents – theory and practice. Knowledge Engineering Review 10(2): 115–152.

    Article  Google Scholar 

  • Wooldridge, M. 1997. Agents as a rorschach test: A response to franklin and graesser. In Intelligent agents III, agent theories, architectures, and languages. Lecture Notes in Computer Science, vol. 1193, 47–48. Heidelberg: Springer.

    Google Scholar 

Download references

Acknowledgements

The term “Agreement Technologies” was introduced by Michael Wooldridge in conversations at the AAMAS conference in 2004. It was also used by Nicholas R.Jennings as title for a keynote talk given in 2005. Carles Sierra was among the first to give shape to the field by defining five key areas as technological building blocks for AT in 2007.

This work was partially supported by the Spanish Ministry of Science and Innovation through the project “Agreement Technologies” (CONSOLIDER CSD2007-0022, INGENIO 2010). The authors would like to thank Matteo Vasirani for inspiring discussions on the challenges of extending Agreement Technologies to mixed societies of human and software agents.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Sascha Ossowski .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer Science+Business Media Dordrecht.

About this chapter

Cite this chapter

Ossowski, S., Sierra, C., Botti, V. (2013). Agreement Technologies: A Computing Perspective. In: Ossowski, S. (eds) Agreement Technologies. Law, Governance and Technology Series, vol 8. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-5583-3_1

Download citation

  • DOI: https://doi.org/10.1007/978-94-007-5583-3_1

  • Published:

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-007-5582-6

  • Online ISBN: 978-94-007-5583-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics