Skip to main content
SpringerLink
Log in

Dialogue Games for Argumentation Frameworks with Necessities

  • Conference paper
  • First Online:
Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2015)

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

  • 755 Accesses

Abstract

In this paper, we present a generalization of dialectical proof procedures to argumentation frameworks with necessities, a bipolar generalization of Dung argumentation framework where the support relation has the meaning of necessity (an argument is necessary for another one). We show how to extend the existing approach by accommodating the new support relation. We consider in this paper dialectical proof procedures for acceptability under grounded semantics and credulous acceptability under preferred semantics.

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

Notes

  1. 1.

    A sub-dispute of d is any subsequence of d starting with the same initial argument as d.

  2. 2.

    If d is a dispute and x is an argument or a subset of arguments, then \(d-x\) denotes the dispute which results from the continuation of d by x.

References

  1. Bench-Capon, T., Dunne, P.: Argumentation in artificial intelligence. Artif. Intell. J. 171(10–15) (2007)

    Google Scholar 

  2. Amgoud, L., Besnard, P.: Logical limits of abstract argumentation frameworks. J. Appl. Non-Class. Logics 23(3), 229–267 (2013)

    Article  MathSciNet  Google Scholar 

  3. Boella, G., Gabbay, D.M., Van Der Torre, L., Villata, S.: Support in abstract argumentation. In: COMMA 2010, pp. 40–51. IOS Press (2010)

    Google Scholar 

  4. Boudhar, I., Nouioua, F., Risch, V.: Handling preferences in argumentation frameworks with necessities. In: ICAART 2012, pp. 340–345 (2012)

    Google Scholar 

  5. Brewka, G., Woltran, S.: Abstract dialectical frameworks. In: KR 2010, pp. 102–111 (2010)

    Google Scholar 

  6. Caminada, M.W.A., Wu, Y.: Towards an argument game for stable semantics. In: 8th CMNA Workshop (2008)

    Google Scholar 

  7. Caminada, M., Sá, S., Alcântara, J.: On the equivalence between logic programming semantics and argumentation semantics. In: van der Gaag, L.C. (ed.) ECSQARU 2013. LNCS, vol. 7958, pp. 97–108. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  8. Cayrol, C., Devred, C., Lagasquie-Schiex, M.C.: Dialectical proofs accounting for strength of attacks in argumentation systems. In: ICTAI 2010, pp. 207–214 (2010)

    Google Scholar 

  9. Cayrol, C., Lagasquie-Schiex, M.C.: On the acceptability of arguments in bipolar argumentation frameworks. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol. 3571, pp. 378–389. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  10. Cayrol, C., Lagasquie-Schiex, M.-C.: Coalitions of arguments: a tool for handling bipolar argumentation frameworks. Int. J. Intell. Syst. 25(1), 83–109 (2010)

    Article  MATH  Google Scholar 

  11. Devred, C., Doutre, S., Lefèvre, C., Nicolas, P.: Dialectical proofs for constrained argumentation. In: COMMA 2010, pp. 159–170 (2010)

    Google Scholar 

  12. 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)

    Article  MathSciNet  MATH  Google Scholar 

  13. Gorogiannis, N., Hunter, A.: Instantiating abstract argumentation with classical logic arguments: postulates and properties. Artif. Intell. 175(9–10), 1479–1497 (2011)

    Article  MathSciNet  MATH  Google Scholar 

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

    Chapter  Google Scholar 

  15. Nouioua, F., Risch, V.: Argumentation frameworks with necessities. In: Benferhat, S., Grant, J. (eds.) SUM 2011. LNCS, vol. 6929, pp. 163–176. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  16. Nouioua, F.: Generalizing naive and stable semantics in argumentation frameworks with necessities and preferences. In: Hüllermeier, E., Link, S., Fober, T., Seeger, B. (eds.) SUM 2012. LNCS, vol. 7520, pp. 44–57. Springer, Heidelberg (2012)

    Google Scholar 

  17. Nouioua, F.: AFs with necessities: further semantics and labelling characterization. In: Liu, W., Subrahmanian, V.S., Wijsen, J. (eds.) SUM 2013. LNCS, vol. 8078, pp. 120–133. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  18. Oren, N., Norman, T.J.: Semantics for evidence-based argumentation. In: COMMA 2008, pp. 276–284 (2008)

    Google Scholar 

  19. Rahwan, I., Simari, G. (eds.): Argumentation in Artificial Intelligence, pp. 105–129. Springer, Heidelberg (2009)

    Book  Google Scholar 

Download references

Acknowledgments

This work has received support from the french Agence Nationale de la Recherche, ASPIQ project reference ANR-12-BS02-0003.

Author information

Authors and Affiliations

  1. LSIS - UMR CNRS 6168, Aix-Marseille University, Marseille, France

    Farid Nouioua

  2. RIIMA Lab, USTHB, Bab Ezzouar, Algeria

    Sara Boutouhami

Authors
  1. Farid Nouioua
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sara Boutouhami
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Farid Nouioua .

Editor information

Editors and Affiliations

  1. Université de Technologie de Compiègne, Compiègne, France

    Sébastien Destercke

  2. Centre de Recherches de Royallieu, Université de Technologie de Compiègne, Compiègne, France

    Thierry Denoeux

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Nouioua, F., Boutouhami, S. (2015). Dialogue Games for Argumentation Frameworks with Necessities. In: Destercke, S., Denoeux, T. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2015. Lecture Notes in Computer Science(), vol 9161. Springer, Cham. https://doi.org/10.1007/978-3-319-20807-7_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-20807-7_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-20806-0

  • Online ISBN: 978-3-319-20807-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation