Skip to main content
SpringerLink
Log in

An Application of Model Checking Games to Abstract Argumentation

  • Conference paper
Logic, Rationality, and Interaction (LORI 2011)

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

Included in the following conference series:

Abstract

The paper presents a logical study of abstract argumentation theory. It introduces a second-order modal logic, within which all main known semantics for abstract argumentation can be formalized, and studies the model checking game of this logic. The application of the game to the formalized semantics yields adequate game-theoretic proof procedures for all known extension-based semantics, in both their skeptical and credulous versions.

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 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77(2), 321–358 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  2. Baroni, P., Giacomin, M.: Semantics of abstract argument systems. In: Rahwan, I., Simari, G.R. (eds.) Argumentation in Artifical Intelligence. Springer, Heidelberg (2009)

    Google Scholar 

  3. Modgil, S., Caminada, M.: Proof theories and algorithms for abstract argumentation frameworks. In: Rahwan, I., Simari, G. (eds.) Argumentation in AI, pp. 105–132. Springer, Heidelberg (2009)

    Google Scholar 

  4. Grädel, E.: Model checking games. In: de Queiroz, R., Pereira, L.C., Haeusler, E.H. (eds.) Proceedings of WOLLIC 2002. Electronic Notes in Theoretical Computer Science, vol. 67, pp. 15–34. Elsevier, Amsterdam (2002)

    Google Scholar 

  5. Grossi, D.: On the logic of argumentation theory. In: van der Hoek, W., Kaminka, G., Lespérance, Y., Sen, S. (eds.) Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), IFAAMAS, pp. 409–416 (2010)

    Google Scholar 

  6. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)

    Book  MATH  Google Scholar 

  7. Fine, K.: Propositional quantifiers in modal logic. Theoria 36, 336–346 (1970)

    Article  MathSciNet  MATH  Google Scholar 

  8. Venema, Y.: Lectures on the modal μ-calculus. Renmin University in Beijing, China (2008)

    Google Scholar 

  9. Dung, P.M., Mancarella, P., Toni, F.: A dialectic procedure for sceptical assumption-based argumentation. In: Proceedings of the 1st International Conference on Computational Models of Argument (COMMA 2006), pp. 145–156. IOS Press, Amsterdam (2006)

    Google Scholar 

  10. Dung, P.M., Thang, P.M.: A unified framework for representation and development of dialectical proof procedures in argumentation. In: Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-2009), pp. 746–751 (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ILLC, University of Amsterdam, Amsterdam, The Netherlands

    Davide Grossi

Authors
  1. Davide Grossi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Sevilla, Camilo José Cela s/n, 41018, Sevilla, Spain

    Hans van Ditmarsch

  2. Université Paul Sabatier, IRIT, 118 Route de Narbonne, 31062, Toulouse Cedex 04, France

    Jérôme Lang

  3. Institute of Logic and Cognition, Department of Philosophy, Sun Yat-sen University, 510275, Guangzhou, China

    Shier Ju

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Grossi, D. (2011). An Application of Model Checking Games to Abstract Argumentation. In: van Ditmarsch, H., Lang, J., Ju, S. (eds) Logic, Rationality, and Interaction. LORI 2011. Lecture Notes in Computer Science(), vol 6953. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24130-7_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24130-7_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24129-1

  • Online ISBN: 978-3-642-24130-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation