Agreeing on plans through iterated disputes

  • Authors:
  • Alexandros Belesiotis;Michael Rovatsos;Iyad Rahwan

  • Affiliations:
  • The University of Edinburgh, Edinburgh, UK;The University of Edinburgh, Edinburgh, UK;Masdar Institute of Science & Technology, Abu Dhabi, UAE and MIT and The University of Edinburgh, UK

  • Venue:
  • Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Autonomous agents transcend their individual capabilities by cooperating towards achieving shared goals. The different viewpoints agents have on the environment cause disagreements about the anticipated effects of plans. Reaching agreement requires the resolution of such inconsistencies and the alignment of the agents' viewpoints. We present a dialogue protocol that enables agents to discuss candidate plans and reach agreements. The dialogue is based on an argumentation process in the language of situation calculus. Agreement is reached through persuasion, thereby aligning the planning beliefs of the agents. We describe our abstract iterated dialogue protocol, and extend it for the specific problem of arguing about plans. We show that our method always terminates and produces sound results. Furthermore, we detail a set of extensions to simplify reasoning and reduce the exchanged information.