Agreement Technologies: A Computing Perspective

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.

[1]  Yannis Kalfoglou,et al.  Centre for Intelligent Systems and Their Applications , 2006 .

[2]  Sascha Ossowski,et al.  A Multiagent Approach to the Dynamic Enactment of Semantic Transportation Services , 2011, IEEE Transactions on Intelligent Transportation Systems.

[3]  Andrea Omicini,et al.  Coordination Infrastructures in the Engineering of Multiagent Systems , 2004 .

[4]  Sascha Ossowski,et al.  A proportional share allocation mechanism for coordination of plug-in electric vehiclecharging , 2013, Eng. Appl. Artif. Intell..

[5]  Vicent J. Botti,et al.  Infrastructures and tools for multiagent systems for the new generation of distributed systems , 2011, Eng. Appl. Artif. Intell..

[6]  Carles Sierra,et al.  Trust and honour in information-based agency , 2006, AAMAS '06.

[7]  Michael Wooldridge,et al.  Agents as a Rorschach Test: A Response to Franklin and Graesser , 1996, ATAL.

[8]  Sascha Ossowski,et al.  A Computational Monetary Market for Plug-In Electric Vehicle Charging , 2011, AMMA.

[9]  Sascha Ossowski,et al.  A Market-Inspired Approach for Intersection Management in Urban Road Traffic Networks , 2014, J. Artif. Intell. Res..

[10]  Eng Wah Lee,et al.  Business process management (BPM) standards: a survey , 2009, Bus. Process. Manag. J..

[11]  Pablo Noriega,et al.  Engineering open environments with electronic institutions , 2005, Eng. Appl. Artif. Intell..

[12]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[13]  Sarvapali D. Ramchurn,et al.  Putting the 'smarts' into the smart grid , 2012, Commun. ACM.

[14]  George C. Necula,et al.  Proof-carrying code , 1997, POPL '97.

[15]  Manuel V. Hermenegildo,et al.  Abstraction carrying code and resource-awareness , 2005, PPDP.

[16]  N. R. Jennings,et al.  To appear in: Int Journal of Group Decision and Negotiation GDN2000 Keynote Paper Automated Negotiation: Prospects, Methods and Challenges , 2022 .

[17]  Sarit Kraus,et al.  Negotiation and Cooperation in Multi-Agent Environments , 1997, Artif. Intell..

[18]  Sascha Ossowski,et al.  On coordination and its significance to distributed and multi‐agent systems , 2006, Concurr. Comput. Pract. Exp..

[19]  Arthur C. Graesser,et al.  Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents , 1996, ATAL.

[20]  Audun Jøsang,et al.  A survey of trust and reputation systems for online service provision , 2007, Decis. Support Syst..

[21]  Sascha Ossowski.  Coordination in Multi-Agent Systems: Towards a Technology of Agreement , 2008, MATES.