Abstract
We present a formal model for two-agent discovery dialogues. The model allows agents to collectively discover a realization for a shared goal, using argumentation dialogues to exchange information. This information is in the form of rules, assumptions, and contraries of assumptions as in Assumption-based Argumentation (ABA). With dialogues, agents jointly build arguments and construct shared ABA frameworks. We define successful discovery dialogues as those giving admissible arguments that realize the shared goal. The main novelty of this paper is the modelling of the buttom-up relation between utterances. This new relation helps building “higher level” arguments from existing “lower level” supports, which we deem essential for discovery.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Black, E., Hunter, A.: An inquiry dialogue system. JAAMAS 19, 173–209 (2009)
Bondarenko, A., Dung, P.M., Kowalski, R., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. AIJ 93(1-2), 63–101 (1997)
Dung, P.M., Kowalski, R.A., Toni, F.: Assumption-based argumentation. In: Argumentation in Artificial Intelligence, pp. 25–44. Springer, Heidelberg (2009)
Dung, P.M., Kowalski, R.A., Toni, F.: Dialectic proof procedures for assumption-based, admissible argumentation. AIJ 170, 114–159 (2006)
Fan, X., Toni, F.: Assumption-based argumentation dialogues. In: Proc. IJCAI (2011)
Fan, X., Toni, F.: Conflict resolution with argumentation dialogues – Extended abstract. In: Proc. AAMAS (2011)
Fisher, M.: An open approach to concurrent theorem-proving. In: Parallel Processing for Artificial Intelligence, pp. 209–230. Elsevier/North (1997)
McBurney, P., Parsons, S.: Chance Discovery Using Dialectical Argumentation. In: Terano, T., Nishida, T., Namatame, A., Tsumoto, S., Ohsawa, Y., Washio, T. (eds.) JSAI-WS 2001. LNCS (LNAI), vol. 2253, pp. 414–424. Springer, Heidelberg (2001)
McBurney, P., Parsons, S.: Dialogue games for agent argumentation. In: Argumentation in Artificial Intelligence, pp. 261–280. Springer, Heidelberg (2009)
Parsons, S., McBurney, P., Sklar, E., Wooldridge, M.: On the relevance of utterances in formal inter-agent dialogues. In: Proc. AAMAS, pp. 47–62 (2007)
Prakken, H.: Coherence and flexibility in dialogue games for argumentation. JLC 15, 1009–1040 (2005)
Prakken, H.: Formal systems for persuasion dialogue. Knowledge Eng. Review 21(2), 163–188 (2006)
Rybakov, V.: Logic of knowledge and discovery via interacting agents - decision algorithm for true and satisfiable statements. Inf. Science 179, 1608–1614 (2009)
Walton, D., Krabbe, E.: Commitment in Dialogue: Basic concept of interpersonal reasoning. State University of New York Press, Albany NY (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fan, X., Toni, F. (2012). A First Step towards Argumentation Dialogues for Discovery. In: Modgil, S., Oren, N., Toni, F. (eds) Theorie and Applications of Formal Argumentation. TAFA 2011. Lecture Notes in Computer Science(), vol 7132. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29184-5_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-29184-5_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29183-8
Online ISBN: 978-3-642-29184-5
eBook Packages: Computer ScienceComputer Science (R0)