Advertisement

Towards a Formal Framework for the Search of a Consensus Between Autonomous Agents

  • Leila Amgoud
  • Sihem Belabbes
  • Henri Prade
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4049)

Abstract

This paper aims at proposing a general formal framework for dialogue between autonomous agents which are looking for a common agreement about a collective choice. The proposed setting has three main components: the agents, their reasoning capabilities, and a protocol. The agents are supposed to maintain beliefs about the environment and the other agents, together with their own goals. The beliefs are more or less certain and the goals may not have equal priority. These agents are supposed to be able to make decisions, to revise their beliefs and to support their points of view by arguments. A general protocol is also proposed. It governs the high-level behaviour of interacting agents. Particularly, it specifies the legal moves in the dialogue. Properties of the framework are studied. This setting is illustrated on an example involving three agents discussing the place and date of their next meeting.

Keywords

Argumentation Negotiation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Amgoud, L., Maudet, N., Parsons, S.: Modelling dialogues using argumentation. In: Proc. 4th Intl. Conf. on Multi-Agent Systems (ICMAS 2000), Boston, pp. 31–38 (2000)Google Scholar
  2. 2.
    Amgoud, L., Maudet, N., Parsons, S.: An argumentation-based semantics for agent communication languages. In: Proc. 15th Eur. Conf. on Artificial Intelligence (ECAI 2002), Lyon, pp. 38–42 (2002)Google Scholar
  3. 3.
    Amgoud, L., Parsons, S., Maudet, N.: Arguments, dialogue, and negotiation. In: Proc. 14th Eur. Conf. on Artificial Intelligence (ECAI 2000), Berlin, pp. 338–342 (2000)Google Scholar
  4. 4.
    Amgoud, L., Prade, H.: Reaching agreement through argumentation: A possibilistic approach. In: Proc. 9th Intl. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2004), Whistler, pp. 175–182 (2004)Google Scholar
  5. 5.
    Amgoud, L., Prade, H.: Using arguments for making decisions: A possibilistic logic approach. In: Proc. 20th Conf. on Uncertainty in Artificial Intelligence (UAI 2004), Banff, pp. 10–17 (2004)Google Scholar
  6. 6.
    Fatima, S., Wooldridge, M., Jennings, N.R.: An agenda based framework for multi-issues negotiation. Artificial Intelligence 152, 1–45 (2004)zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Kakas, A., Moraitis, P.: Argumentation based decision making for autonomous agents. In: Rosenschein, J.S., Sandholm, T., Wooldridge, M., Yokoo, M. (eds.) Proc. 2nd Intl. Joint Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS 2003), Melbourne, pp. 883–890. ACM Press, New York (2003)CrossRefGoogle Scholar
  8. 8.
    Kraus, S., Sycara, K., Evenchik, A.: Reaching agreements through argumentation: a logical model and implementation. Artificial Intelligence 104(1–2), 1–69 (1998)zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    MacKenzie, J.: Question-begging in non-cumulative systems. Journal of philosophical logic 8, 117–133 (1979)zbMATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Parsons, S., Sierra, C., Jennings, N.R.: Agents that reason and negotiate by arguing. Journal of Logic and Computation 8(3), 261–292 (1998)zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Rahwan, I., Ramchurn, S.D., Jennings, N.R., McBurney, P., Parsons, S., Sonenberg, L.: Argumentation-based negotiation. The Knowledge Engineering Review 18(4), 343–375 (2003)CrossRefGoogle Scholar
  12. 12.
    Sierra, C., Jennings, N.R., Noriega, P., Parsons, S.: A framework for argumentation-based negotiation. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 167–182. Springer, Heidelberg (1998)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Leila Amgoud
    • 1
  • Sihem Belabbes
    • 1
  • Henri Prade
    • 1
  1. 1.IRIT – CNRSToulouseFrance

Personalised recommendations