Abstract
In this paper we present the DAQAP, a Web platform for Defeasible Argumentation Query Answering, which offers a visual interface that facilitates the analysis of the argumentative process defined in the Defeasible Logic Programming (DeLP) formalism. The tool presents graphs that show the interaction of the arguments generated from a DeLP program; this is done in two different ways: the first focuses on the structures obtained from the DeLP program, while the second presents the defeat relationships from the point of view of abstract argumentation frameworks, with the possibility of calculating the extensions using Dung’s semantics. Using all this data, the platform provides support for answering queries regarding the states of literals of the input program.
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 subscriptionsReferences
Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowl. Eng. Rev. 26(4), 365–410 (2011)
Besnard, P., et al.: Introduction to structured argumentation. Arg. Comput. 5(1), 1–4 (2014)
Betz, G., Hamann, M., Mchedlidze, T., von Schmettow, S.: Applying argumentation to structure and visualize multi-dimensional opinion spaces. Arg. Comput. 1–18 (2018, preprint)
Van den Braak, S.W., Oostendorp, H.V., Prakken, H., Vreeswijk, G.A.: A critical review of argument visualization tools: do users become better reasoners? In: Proceedings of CMNA, pp. 67–75 (2008)
Cayrol, C., Doutre, S., Lagasquie-Schiex, M.C.: GRAFIX: a tool for abstract argumentation (2014)
Cerutti, F., Vallati, M., Giacomin, M.: jArgSemSAT: an efficient off-the-shelf solver for abstract argumentation frameworks. In: Proceedings of KR (2016)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–357 (1995)
García, A.J., Simari, G.R.: Defeasible logic programming: DeLP-servers, contextual queries, and explanations for answers. Arg. Comput. 5(1), 63–88 (2014)
García, A.J.: La programación en lógica rebatible: su definición teórica y computacional. Master’s thesis. Departamento de Ciencias de la Computación, Universidad Nacional del Sur (UNS) (1997)
Green, N.L., Branon, M., Roosje, L.: Argument schemes and visualization software for critical thinking about international politics. Arg. Comput. 10(1), 41–53 (2019)
Kirschner, P.A., Buckingham-Shum, S.J., Carr, C.S.: Visualizing Argumentation: Software Tools for Collaborative and Educational Sense-Making. Springer, London (2012)
Lawrence, J., Bex, F., Reed, C., Snaith, M.: AIFdb: infrastructure for the argument web. In: COMMA, pp. 515–516 (2012)
Magnusson, C., Rolf, B.: Developing the art of argumentation-a software approach. In: International Conference on Argumentation (2002)
Modgil, S., Rahawan, I., Reed, C., Chesñevar, C., McGinnis, J., et al.: Towards an argument interchange format. KER 21(4), 293–316 (2006)
Reed, C., Rowe, G.: Araucaria: software for argument analysis, diagramming and representation. Int. J. Artif. Intell. Tools 13(04), 961–979 (2004)
Janier, M., Lawrence, J., Reed, C.: OVA+: an argument analysis interface. In: Computational Models of Argument: Proceedings of COMMA, vol. 266, p. 463 (2014)
Schank, P., Ranney, M.: Improved reasoning with convince me. In: Conference Companion on Human Factors in Computing Systems, pp. 276–277. ACM (1995)
Stolzenburg, F., García, A.J., Chesnevar, C.I., Simari, G.R.: Computing generalized specificity. J. Appl. Non-Class. Log. 13(1), 87–113 (2003)
Suthers, D., Weiner, A., Connelly, J., Paolucci, M.: Belvedere: engaging students in critical discussion of science and public policy issues. In: Proceedings of WCAIE, Washington, DC, pp. 266–273 (1995)
Van Gelder, T.: Argument mapping with Reason!Able. Am. Philos. Assoc. Newsl. Philos. Comput. 2(1), 85–90 (2002)
Verheij, B.: Artificial argument assistants for defeasible argumentation. Artif. Intell. 150(1–2), 291–324 (2003)
Acknowledgments
This work was partially supported by funds provided by CONICET, Universidad Nacional del Sur (UNS), and by the EU H2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement 690974 for the project “MIREL: MIning and REasoning with Legal texts”.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Leiva, M.A., Simari, G.I., Gottifredi, S., García, A.J., Simari, G.R. (2019). DAQAP: Defeasible Argumentation Query Answering Platform. In: Cuzzocrea, A., Greco, S., Larsen, H., Saccà, D., Andreasen, T., Christiansen, H. (eds) Flexible Query Answering Systems. FQAS 2019. Lecture Notes in Computer Science(), vol 11529. Springer, Cham. https://doi.org/10.1007/978-3-030-27629-4_14
Download citation
DOI: https://doi.org/10.1007/978-3-030-27629-4_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-27628-7
Online ISBN: 978-3-030-27629-4
eBook Packages: Computer ScienceComputer Science (R0)