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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
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
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)
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)
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)
Estava, M., Rodriguez, J.A., Sierra, C., Garcia, P., Arcos, J.L.: On the formal specifications of electronic institutions. LNAI, 126–147 (2001)
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)
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)
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)
Prakken, H.: Coherence and flexibility in dialogue games for argumentation. Journal of logic and computation 15, 1009–1040 (2005)
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)
Robertson, D.: Multi-agent coordination as distributed logic programming. In: Proceedings for International Conference on Logic Programming (2004)
Rowe, G.W.A., Reed, C., Katzav, J.: Araucaria: Marking up argument. European Conference on Computing and Philosophy (2003)
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)
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)
Walton, D.N.: Argument Schemes for Presumptive Reasoning. Lawrence Erlbaum Associates, Mahwah (1996)
Author information
Authors and Affiliations
Editor information
Rights 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)