Skip to main content

2019 | OriginalPaper | Buchkapitel

DAQAP: Defeasible Argumentation Query Answering Platform

verfasst von : Mario A. Leiva, Gerardo I. Simari, Sebastian Gottifredi, Alejandro J. García, Guillermo R. Simari

Erschienen in: Flexible Query Answering Systems

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowl. Eng. Rev. 26(4), 365–410 (2011)CrossRef Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowl. Eng. Rev. 26(4), 365–410 (2011)CrossRef
2.
Zurück zum Zitat Besnard, P., et al.: Introduction to structured argumentation. Arg. Comput. 5(1), 1–4 (2014) Besnard, P., et al.: Introduction to structured argumentation. Arg. Comput. 5(1), 1–4 (2014)
3.
Zurück zum Zitat 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) 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)
4.
Zurück zum Zitat 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) 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)
5.
Zurück zum Zitat Cayrol, C., Doutre, S., Lagasquie-Schiex, M.C.: GRAFIX: a tool for abstract argumentation (2014) Cayrol, C., Doutre, S., Lagasquie-Schiex, M.C.: GRAFIX: a tool for abstract argumentation (2014)
6.
Zurück zum Zitat Cerutti, F., Vallati, M., Giacomin, M.: jArgSemSAT: an efficient off-the-shelf solver for abstract argumentation frameworks. In: Proceedings of KR (2016) Cerutti, F., Vallati, M., Giacomin, M.: jArgSemSAT: an efficient off-the-shelf solver for abstract argumentation frameworks. In: Proceedings of KR (2016)
7.
Zurück zum Zitat 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)MathSciNetMATHCrossRef 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)MathSciNetMATHCrossRef
8.
Zurück zum Zitat 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., Simari, G.R.: Defeasible logic programming: DeLP-servers, contextual queries, and explanations for answers. Arg. Comput. 5(1), 63–88 (2014)
9.
Zurück zum Zitat 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) 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)
10.
Zurück zum Zitat 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) 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)
11.
Zurück zum Zitat Kirschner, P.A., Buckingham-Shum, S.J., Carr, C.S.: Visualizing Argumentation: Software Tools for Collaborative and Educational Sense-Making. Springer, London (2012) Kirschner, P.A., Buckingham-Shum, S.J., Carr, C.S.: Visualizing Argumentation: Software Tools for Collaborative and Educational Sense-Making. Springer, London (2012)
12.
Zurück zum Zitat Lawrence, J., Bex, F., Reed, C., Snaith, M.: AIFdb: infrastructure for the argument web. In: COMMA, pp. 515–516 (2012) Lawrence, J., Bex, F., Reed, C., Snaith, M.: AIFdb: infrastructure for the argument web. In: COMMA, pp. 515–516 (2012)
13.
Zurück zum Zitat Magnusson, C., Rolf, B.: Developing the art of argumentation-a software approach. In: International Conference on Argumentation (2002) Magnusson, C., Rolf, B.: Developing the art of argumentation-a software approach. In: International Conference on Argumentation (2002)
14.
Zurück zum Zitat Modgil, S., Rahawan, I., Reed, C., Chesñevar, C., McGinnis, J., et al.: Towards an argument interchange format. KER 21(4), 293–316 (2006) Modgil, S., Rahawan, I., Reed, C., Chesñevar, C., McGinnis, J., et al.: Towards an argument interchange format. KER 21(4), 293–316 (2006)
15.
Zurück zum Zitat Reed, C., Rowe, G.: Araucaria: software for argument analysis, diagramming and representation. Int. J. Artif. Intell. Tools 13(04), 961–979 (2004)CrossRef Reed, C., Rowe, G.: Araucaria: software for argument analysis, diagramming and representation. Int. J. Artif. Intell. Tools 13(04), 961–979 (2004)CrossRef
16.
Zurück zum Zitat Janier, M., Lawrence, J., Reed, C.: OVA+: an argument analysis interface. In: Computational Models of Argument: Proceedings of COMMA, vol. 266, p. 463 (2014) Janier, M., Lawrence, J., Reed, C.: OVA+: an argument analysis interface. In: Computational Models of Argument: Proceedings of COMMA, vol. 266, p. 463 (2014)
17.
Zurück zum Zitat Schank, P., Ranney, M.: Improved reasoning with convince me. In: Conference Companion on Human Factors in Computing Systems, pp. 276–277. ACM (1995) Schank, P., Ranney, M.: Improved reasoning with convince me. In: Conference Companion on Human Factors in Computing Systems, pp. 276–277. ACM (1995)
18.
Zurück zum Zitat 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)MATHCrossRef 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)MATHCrossRef
19.
Zurück zum Zitat 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) 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)
20.
Zurück zum Zitat Van Gelder, T.: Argument mapping with Reason!Able. Am. Philos. Assoc. Newsl. Philos. Comput. 2(1), 85–90 (2002) Van Gelder, T.: Argument mapping with Reason!Able. Am. Philos. Assoc. Newsl. Philos. Comput. 2(1), 85–90 (2002)
21.
Zurück zum Zitat Verheij, B.: Artificial argument assistants for defeasible argumentation. Artif. Intell. 150(1–2), 291–324 (2003)CrossRef Verheij, B.: Artificial argument assistants for defeasible argumentation. Artif. Intell. 150(1–2), 291–324 (2003)CrossRef
Metadaten
Titel
DAQAP: Defeasible Argumentation Query Answering Platform
verfasst von
Mario A. Leiva
Gerardo I. Simari
Sebastian Gottifredi
Alejandro J. García
Guillermo R. Simari
Copyright-Jahr
2019
DOI
https://doi.org/10.1007/978-3-030-27629-4_14