Skip to main content
SpringerLink
Log in

ArgueApply: A Mobile App for Argumentation

  • Conference paper
  • First Online:
Book cover Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)

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

Abstract

Formal models developed in the field of argumentation allow for analysing and evaluating problems that have previously been studied by philosophers on an informal level only. Importantly, they also give rise to the development of computational tools for argumentation. In this paper we report on ArgueApply, a mobile app for argumentation that is based on the Grappa framework, an extension of, e.g., abstract argumentation in the sense of Dung. With ArgueApply users can engage in online discussions and evaluate their semantics. Each of the resulting interpretations can be seen as a coherent view on a discussion in which some of the discussions statements are accepted and others rejected. Being a mobile tool, ArgueApply is intended to be more accessible than existing systems for computing argumentation semantics allowing, e.g., for spontaneous analysis of an ongoing discussion or collective preparation for an important debate. While having a practical system for these applications is the final goal of our work, an immediate objective is using the system for exploring which type of Grappa frameworks under which semantics are best suited for such applications.

This work was supported by the German Research Foundation (DFG) under grant BR 1817/7-2.

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

Access this chapter

Log in via an institution
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 EPUB and 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

References

  1. Brewka, G., Woltran, S.: GRAPPA: a semantical framework for graph-based argument processing. In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), Including Prestigious Applications of Intelligent Systems (PAIS 2014), Prague, Czech Republic, pp. 153–158, 18–22 August 2014

    Google Scholar 

  2. 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–358 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  3. Brewka, G., Strass, H., Ellmauthaler, S., Wallner, J.P., Woltran, S.: Abstract dialectical frameworks revisited. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China, pp. 803–809, 3–9 August 2013

    Google Scholar 

  4. Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowl. Eng. Rev. 26(4), 365–410 (2011)

    Article  Google Scholar 

  5. Rahwan, I., Madakkatel, M.I., Bonnefon, J., Awan, R.N., Abdallah, S.: Behavioral experiments for assessing the abstract argumentation semantics of reinstatement. Cogn. Sci. 34(8), 1483–1502 (2010)

    Article  Google Scholar 

  6. Gaggl, S.A., Rudolph, S., Thomazo, M.: What is a reasonable argumentation semantics? In: Eiter, T., Strass, H., Truszczyński, M., Woltran, S. (eds.) Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. LNCS, vol. 9060, pp. 309–324. Springer, Cham (2015). doi:10.1007/978-3-319-14726-0_21

    Chapter  Google Scholar 

  7. Al-Abdulkarim, L., Atkinson, K., Bench-Capon, T.J.M.: A methodology for designing systems to reason with legal cases using abstract dialectical frameworks. Artif. Intell. Law 24(1), 1–49 (2016)

    Article  Google Scholar 

  8. Brewka, G., Diller, M., Heissenberger, G., Linsbichler, T., Woltran, S.: Solving advanced argumentation problems with answer-set programming. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence, AAAI 2017 (2017)

    Google Scholar 

  9. Marek, V.W., Truszczyński, M.: Stable models and an alternative logic programming paradigm. In: Apt, K.R., Marek, V.W., Truszczynski, M., Warren, D.S. (eds.) The Logic Programming Paradigm. Artificial Intelligence, pp. 375–398. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  10. Niemelä, I.: Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25(3–4), 241–273 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  11. Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan and Claypool Publishers (2012)

    Google Scholar 

  12. Berthold, M.: Extending the DIAMOND system to work with GRAPPA. In: Proceedings of the 1st International Workshop on Systems and Algorithms for Formal Argumentation (SAFA), pp. 52–62 (2016)

    Google Scholar 

  13. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: the potsdam answer set solving collection. AI Commun. 24(2), 107–124 (2011)

    MathSciNet  MATH  Google Scholar 

  14. Gebser, M., Kaminski, R., Kaufmann, B., Romero, J., Schaub, T.: Progress in clasp series 3. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS, vol. 9345, pp. 368–383. Springer, Cham (2015). doi:10.1007/978-3-319-23264-5_31

    Chapter  Google Scholar 

  15. Firebase Platform (2017). https://firebase.google.com/

  16. Schneider, J., Groza, T., Passant, A.: A review of argumentation for the social semantic web. Semant. Web 4(2), 159–218 (2013)

    Google Scholar 

  17. Heissenberger, G., Woltran, S.: GrappaVis - a system for advanced graph-based argumentation. In: Baroni, P., Gordon, T.F., Scheffler, T., Stede, M. (eds.) Computational Models of Argument - Proceedings of COMMA 2016. Frontiers in Artificial Intelligence and Applications, vol. 287, Potsdam, Germany, pp. 473–474. IOS Press, 12–16 September 2016

    Google Scholar 

  18. Janier, M., Lawrence, J., Reed, C.: OVA+: an argument analysis interface. In: Parsons, S., Oren, N., Reed, C., Cerutti, F. (eds.) Computational Models of Argument - Proceedings of COMMA 2014. Frontiers in Artificial Intelligence and Applications, vol. 266, Atholl Palace Hotel, Scottish Highlands, UK, pp. 463–464. IOS Press, 9–12 September 2014

    Google Scholar 

  19. Prakken, H.: An abstract framework for argumentation with structured arguments. Argument Comput. 1(2), 93–124 (2010)

    Article  Google Scholar 

  20. Baroni, P., Romano, M., Toni, F., Aurisicchio, M., Bertanza, G.: Automatic evaluation of design alternatives with quantitative argumentation. Argument Comput. 6(1), 24–49 (2015)

    Article  MATH  Google Scholar 

  21. Kunz, W., Rittel, H.: Issues as elements of information systems. Working Paper 131, Institute of Urban and Regional Development. University of California, Berkeley, California (1970)

    Google Scholar 

  22. Baumann, R.: What does it take to enforce an argument? Minimal change in abstract argumentation. In: Raedt, L.D., Bessière, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P.J.F. (eds.) Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012). Including Prestigious Applications of Artificial Intelligence (PAIS 2012) System Demonstrations Track. Frontiers in Artificial Intelligence and Applications, vol. 242, Montpellier, France, pp. 127–132. IOS Press, 27–31 August 2012

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, Leipzig University, Leipzig, Germany

    Jörg Pührer

Authors
  1. Jörg Pührer
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jörg Pührer .

Editor information

Editors and Affiliations

  1. Drexel University, Philadelphia, Pennsylvania, USA

    Marcello Balduccini

  2. Aalto University, Espoo, Finland

    Tomi Janhunen

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Pührer, J. (2017). ArgueApply: A Mobile App for Argumentation. In: Balduccini, M., Janhunen, T. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2017. Lecture Notes in Computer Science(), vol 10377. Springer, Cham. https://doi.org/10.1007/978-3-319-61660-5_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-61660-5_23

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-61659-9

  • Online ISBN: 978-3-319-61660-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation