Skip to main content

Towards Characterising Argumentation Based Dialogue in the Argument Interchange Format

  • Conference paper
Argumentation in Multi-Agent Systems (ArgMAS 2007)

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

Included in the following conference series:

Abstract

To facilitate development and practical deployment of argumentation systems, a recent shared notation, or Argument Interchange Format (AIF), has been proposed for representation and communication of argumentation knowledge amongst agents. The AIF is described as an abstract model, or “ontology”, characterising the core concepts and their relationships. Concrete reifications or syntaxes instantiating these concepts have also been described. Thus far the focus has been on representation of argument entities and networks, i.e., arguments and sub-arguments and relations of inference, preference and attack amongst these entities. Requirements were envisaged for a separate core ontology for items relating to the interchange of arguments, such as locutions and protocols. In this paper we propose that the core argument entity and network ontology can be extended to characterise communication in argumentation based dialogues between agents. We also propose a declarative specification of these communicative concepts that is of sufficient generality to serve as an operational semantics. Specifically, we propose use of the Lightweight Coordination Calculus (LCC). We then illustrate our proposal with a use case multi-agent scenario. In presenting this work, our aim is to stimulate further discussion and work on development of the AIF in order to characterise communication in multi-agent dialogues.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Amgoud, L., Prade, H., Belabbes, S.: Towards a formal framework for the search of a consensus between autonomous agents. In: Dignum, F., Wooldridge, M., Koenig, S., Kraus, S. (eds.) Proc. 4th International joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2005, pp. 537–543. ACM Press, New York (2005)

    Chapter  Google Scholar 

  2. ASPIC. Deliverable d1.1 - review on argumentation technology: State of the art, technical and user requirements (June 2004), http://www.argumentation.org/Public_Deliverables.htm

  3. Bodenstaff, L., Prakken, H., Vreeswijk, G.: On formalising dialogue systems for argumentation in the event calculus. In: Proc. Eleventh International Workshop on Nonmonotonic Reasoning, Windermere (UK), pp. 374–382 (2006)

    Google Scholar 

  4. Chesnevar, C., McGinnis, J., Modgil, S., Rahwan, Reed, C., Simari, G., South, M., Vreeswijk, G., Willmott, S.: Towards an argument interchange format. The Knowledge Engineering Review 21(4), 293–316 (2007)

    Article  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. Estava, M., Rodriguez, J.A., Sierra, C., Garcia, P., Arcos, J.L.: On the formal specifications of electronic institutions. LNAI, 126–147 (2001)

    Google Scholar 

  7. McGinis, J., Robertson, D., Walton, C.: Protocol synthesis with dialogue structure theory. In: Parsons, S., Maudet, N., Moraitis, P., Rahwan, I. (eds.) ArgMAS 2005. LNCS (LNAI), vol. 4049, Springer, Heidelberg (2006)

    Google Scholar 

  8. Miller, T., McBurney, P.: Towards a lightweight formal language for first-class agent interaction protocols. In: O’Hare, G., Ricci, A., O’Grady, M., Dikenelli, O. (eds.) Workshop Notes of Engineering Societies in the Agents World, pp. 153–168 (2006)

    Google Scholar 

  9. Prakken, H.: On dialogue systems with speech acts, arguments, and counterarguments. In: Brewka, G., Moniz Pereira, L., Ojeda-Aciego, M., de Guzmán, I.P. (eds.) JELIA 2000. LNCS (LNAI), vol. 1919, pp. 224–238. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  10. Prakken, H.: Coherence and flexibility in dialogue games for argumentation. Journal of logic and computation 15, 1009–1040 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  11. Rahwan, I., Sakeer, P.V.: Towards representing and querying arguments on the semantic web. In: Proc. 1st International Conference on Computational Models of Argument, Liverpool, UK, pp. 3–14. IOS Press, Amsterdam (2006)

    Google Scholar 

  12. Robertson, D.: Multi-agent coordination as distributed logic programming. In: Proceedings for International Conference on Logic Programming (2004)

    Google Scholar 

  13. Rowe, G.W.A., Reed, C., Katzav, J.: Araucaria: Marking up argument. European Conference on Computing and Philosophy (2003)

    Google Scholar 

  14. Tolchinsky, P., Cortés, U., Modgil, S., Caballero, F., Lopez-Navidad, A.: Increasing the availability of human organs for transplantation through argumentation based deliberation among agents. IEEE Special Issue on Intelligent Agents in Healthcare 21(6), 30–37 (2006)

    Google Scholar 

  15. Vreeswijk, G.A.W.: An algorithm to compute minimally grounded and admissible defence sets in argument systems. In: Proc. 1st International Conference on Computational Models of Argument, Liverpool, UK, pp. 109–120. IOS Press, Amsterdam (2006)

    Google Scholar 

  16. Walton, D.N.: Argument Schemes for Presumptive Reasoning. Lawrence Erlbaum Associates, Mahwah (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Iyad Rahwan Simon Parsons Chris Reed

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Modgil, S., McGinnis, J. (2008). Towards Characterising Argumentation Based Dialogue in the Argument Interchange Format. In: Rahwan, I., Parsons, S., Reed, C. (eds) Argumentation in Multi-Agent Systems. ArgMAS 2007. Lecture Notes in Computer Science(), vol 4946. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78915-4_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-78915-4_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-78914-7

  • Online ISBN: 978-3-540-78915-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics