Skip to main content

Some Preliminary Steps Towards a Meta-theory for Formal Inter-agent Dialogues

  • Conference paper

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

Abstract

This paper investigates the properties of argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments, and examines how different classes of protocols for this kind of interaction can have profoundly different outcomes. Studying such classes of protocol, rather than individual protocols as has been done previously, allows us to start to develop a meta-theory of this class of interactions.

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   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. Amgoud, L., Cayrol, C.: On the acceptability of arguments in preference-based argumentation framework. In: Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence, pp. 1–7 (1998)

    Google Scholar 

  2. Amgoud, L., Maudet, N., Parsons, S.: Modelling dialogues using argumentation. In: Durfee, E. (ed.) Proceedings of the Fourth International Conference on Multi-Agent Systems, Boston, MA, USA, pp. 31–38. IEEE Press, Los Alamitos (2000)

    Chapter  Google Scholar 

  3. Chaib-Draa, B., Dignum, F.: Trends in agent communication language. Computational Intelligence 18(2), 89–101 (2002)

    Article  Google Scholar 

  4. Dignum, F., Dunin-Kȩplicz, B., Verbrugge, R.: Agent theory for team formation by dialogue. In: Castelfranchi, C., Lespérance, Y. (eds.) Seventh Workshop on Agent Theories, Architectures, and Languages, Boston, USA, pp. 141–156 (2000)

    Google Scholar 

  5. Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77, 321–357 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  6. Flores, R.A., Kremer, R.C.: To commit or not to commit. Computational Intelligence 18(2), 120–173 (2002)

    Article  Google Scholar 

  7. Gordon, T.F.: The pleadings game. Artificial Intelligence and Law 2, 239–292 (1993)

    Article  Google Scholar 

  8. Greaves, M., Holmback, H., Bradshaw, J.: What is a conversation policy? In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS (LNAI), vol. 1916, pp. 118–131. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  9. Grosz, B.J., Kraus, S.: The evolution of sharedplans. In: Wooldridge, M.J., Rao, A. (eds.) Foundations of Rational Agency. Applied Logic, vol. 14. Kluwer, The Netherlands (1999)

    Google Scholar 

  10. Grosz, B.J., Sidner, C.L.: Attention, intentions, and the structure of discourse. Computational Linguistics 12(3), 175–204 (1986)

    Google Scholar 

  11. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)

    MATH  Google Scholar 

  12. Jackson, M.O.: Mechanism theory. In: Devigs, U. (ed.) Optimization and Operations Research. The Encyclopedia of Life Support Science, EOLSS Publishers, Oxford (2003), The working paper version of this article includes a more comprehensive bibliography and some bibliographic notes

    Google Scholar 

  13. Kraus, S., Sycara, K., Evenchik, A.: Reaching agreements through argumentation: a logical model and implementation. Artificial Intelligence 104(1–2), 1–69 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  14. McBurney, P., Parsons, S.: A denotational semantics for deliberation dialogues. In: 3rd International Conference on Autonomous Agents and Multi-Agent Systems. IEEE Press, Los Alamitos (2004)

    Google Scholar 

  15. Parsons, S., McBurney, P., Wooldridge, M.: The mechanics of some formal inter-agent dialogue. In: Dignum, F. (ed.) Advances in Agent Communication. Springer, Berlin (2003)

    Google Scholar 

  16. Parsons, S., Wooldridge, M., Amgoud, L.: An analysis of formal inter-agent dialogues. In: 1st International Conference on Autonomous Agents and Multi-Agent Systems. ACM Press, New York (2002)

    Google Scholar 

  17. Parsons, S., Wooldridge, M., Amgoud, L.: On the outcomes of formal inter-agent dialogues. In: 2nd International Conference on Autonomous Agents and Multi-Agent Systems. ACM Press, New York (2003)

    Google Scholar 

  18. Parsons, S., Wooldridge, M., Amgoud, L.: Properties and complexity of formal inter-agent dialogues. Journal of Logic and Computation 13(3), 347–376 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  19. Prakken, H.: Relating protocols for dynamic dispute with logics for defeasible argumentation. Synthese 127, 187–219 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  20. Reed, C.: Dialogue frames in agent communications. In: Demazeau, Y. (ed.) Proceedings of the Third International Conference on Multi-Agent Systems, pp. 246–253. IEEE Press, Los Alamitos (1998)

    Google Scholar 

  21. Schroeder, M., Plewe, D.A., Raab, A.: Ultima ratio: should Hamlet kill Claudius. In: Proceedings of the 2nd International Conference on Autonomous Agents, pp. 467–468 (1998)

    Google Scholar 

  22. Sycara, K.: Argumentation: Planning other agents’ plans. In: Proceedings of the Eleventh Joint Conference on Artificial Intelligence, pp. 517–523 (1989)

    Google Scholar 

  23. Walton, D.N., Krabbe, E.C.W.: Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press, Albany (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Parsons, S., McBurney, P., Wooldridge, M. (2005). Some Preliminary Steps Towards a Meta-theory for Formal Inter-agent Dialogues. In: Rahwan, I., Moraïtis, P., Reed, C. (eds) Argumentation in Multi-Agent Systems. ArgMAS 2004. Lecture Notes in Computer Science(), vol 3366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32261-0_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-32261-0_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-24526-1

  • Online ISBN: 978-3-540-32261-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics