Skip to main content
SpringerLink
Log in

Introducing a Tool for Concurrent Argumentation

  • Conference paper
  • First Online:
Logics in Artificial Intelligence (JELIA 2021)

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

Included in the following conference series:

Abstract

Agent-based modelling languages naturally implement concurrency for handling complex interactions between communicating agents. On the other hand, the field of Argumentation Theory lacks of instruments to explicitly model concurrent behaviours. In this paper we introduce a tool for dealing with concurrent argumentation processes and that can be used, for instance, to model agents debating, negotiating and persuading. The tool implements operations as expansion, contraction and revision. We also provide a web interface exposing the functionalities of the tool and allowing for a more careful study of concurrent processes.

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 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 99.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

Notes

  1. 1.

    ANTLR website: https://www.antlr.org/.

  2. 2.

    Web interface available at http://dmi.unipg.it/conarg/lang/.

References

  1. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symb. Log. 50(2), 510–530 (1985)

    Article  MathSciNet  Google Scholar 

  2. Baumann, R.: What does it take to enforce an argument? Minimal change in abstract argumentation. In: ECAI. Frontiers in Artificial Intelligence and Applications, vol. 242, pp. 127–132. IOS Press (2012)

    Google Scholar 

  3. Bistarelli, S., Santini, F.: Conarg: a constraint-based computational framework for argumentation systems. In: ICTAI, pp. 605–612. IEEE Computer Society (2011)

    Google Scholar 

  4. Bistarelli, S., Taticchi, C.: A concurrent language for argumentation. In: AI\({^3}\)@AI*IA. CEUR Workshop Proceedings, vol. 2777, pp. 75–89. CEUR-WS.org (2020)

    Google Scholar 

  5. Boella, G., Kaci, S., van der Torre, L.: Dynamics in argumentation with single extensions: attack refinement and the grounded extension (extended version). In: McBurney, P., Rahwan, I., Parsons, S., Maudet, N. (eds.) ArgMAS 2009. LNCS (LNAI), vol. 6057, pp. 150–159. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-12805-9_9

    Chapter  Google Scholar 

  6. Cayrol, C., de Saint-Cyr, F.D., Lagasquie-Schiex, M.: Revision of an argumentation system. In: KR, pp. 124–134. AAAI Press (2008)

    Google Scholar 

  7. 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  Google Scholar 

  8. Dvorák, W., Dunne, P.E.: Computational problems in formal argumentation and their complexity. FLAP 4(8) (2017)

    Google Scholar 

  9. Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: KR, pp. 387–394. Morgan Kaufmann (1991)

    Google Scholar 

  10. Maudet, N., Parsons, S., Rahwan, I.: Argumentation in multi-agent systems: context and recent developments. In: Maudet, N., Parsons, S., Rahwan, I. (eds.) ArgMAS 2006. LNCS (LNAI), vol. 4766, pp. 1–16. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-75526-5_1

    Chapter  MATH  Google Scholar 

  11. Moguillansky, M.O., Rotstein, N.D., Falappa, M.A., García, A.J., Simari, G.R.: Dynamics of knowledge in DeLP through argument theory change. Theory Pract. Log. Program. 13(6), 893–957 (2013)

    Article  MathSciNet  Google Scholar 

  12. Prakken, H., Winter, M.D.: Abstraction in argumentation: necessary but dangerous. In: COMMA. Frontiers in Artificial Intelligence and Applications, vol. 305, pp. 85–96. IOS Press (2018)

    Google Scholar 

  13. de Saint-Cyr, F.D., Bisquert, P., Cayrol, C., Lagasquie-Schiex, M.: Argumentation update in YALLA (yet another logic language for argumentation). Int. J. Approx. Reason. 75, 57–92 (2016)

    Article  MathSciNet  Google Scholar 

  14. Saraswat, V.A., Rinard, M.C.: Concurrent constraint programming. In: POPL, pp. 232–245. ACM Press (1990)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Perugia, Perugia, Italy

    Stefano Bistarelli

  2. Gran Sasso Science Institute, L’Aquila, Italy

    Carlo Taticchi

Authors
  1. Stefano Bistarelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carlo Taticchi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Carlo Taticchi .

Editor information

Editors and Affiliations

  1. University of Klagenfurt, Klagenfurt, Austria

    Wolfgang Faber

  2. University of Klagenfurt, Klagenfurt, Austria

    Gerhard Friedrich

  3. University of Klagenfurt, Klagenfurt, Austria

    Martin Gebser

  4. University of Klagenfurt, Klagenfurt, Austria

    Michael Morak

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Bistarelli, S., Taticchi, C. (2021). Introducing a Tool for Concurrent Argumentation. In: Faber, W., Friedrich, G., Gebser, M., Morak, M. (eds) Logics in Artificial Intelligence. JELIA 2021. Lecture Notes in Computer Science(), vol 12678. Springer, Cham. https://doi.org/10.1007/978-3-030-75775-5_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-75775-5_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-75774-8

  • Online ISBN: 978-3-030-75775-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation