Skip to main content
SpringerLink
Log in

An AIF-Based Labeled Argumentation Framework

  • Conference paper
Foundations of Information and Knowledge Systems (FoIKS 2014)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 8367))

Abstract

Adding meta-level information to the arguments in the form of labels extends the representational capabilities of an argumentation formalism, expanding its capabilities. Labels allow the representation of different features: skill, reliability, strength, time availability, or any other that might be related to arguments; then, this information can be used to determine the strength of an argument and assist in the process of determining argument’s acceptability.

We have developed a framework called Labeled Argumentation Framework (LAF) based in the Argument Interchange Format (AIF), integrating the handling of labels; thus, labels associated with arguments will be combined and propagated according to argument interactions, such as support, conflict, and aggregation. Through this process, we will establish argument acceptability, where the final labels propagated to the acceptable arguments provide additional acceptability information, such as degree of justification, or explanation, among others.

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. Amgoud, L., Cayrol, C.: A reasoning model based on the production of acceptable arguments. Annals of Mathematics and Artificial Intelligence 34(1-3), 197–215 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  2. Amgoud, L., Prade, H.: Using arguments for making and explaining decisions. Artificial Intelligence 173(3-4), 413–436 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  3. Bench-Capon, T.J.M.: Value-based argumentation frameworks. In: Benferhat, S., Giunchiglia, E. (eds.) NMR, pp. 443–454 (2002)

    Google Scholar 

  4. Bench-Capon, T.J.M., Dunne, P.E.: Argumentation in artificial intelligence. Artificial Intelligence 171(10-15), 619–641 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  5. Besnard, P., Hunter, A.: Elements of Argumentation. MIT Press (2008)

    Google Scholar 

  6. Briguez, C.E., Budán, M.C., Deagustini, C.A.D., Maguitman, A.G., Capobianco, M., Simari, G.R.: Towards an argument-based music recommender system. In: COMMA, pp. 83–90 (2012)

    Google Scholar 

  7. Budán, M.C.D., Lucero, M.G., Chesñevar, C.I., Simari, G.R.: An approach to argumentation considering attacks through time. In: Hüllermeier, E., Link, S., Fober, T., Seeger, B. (eds.) SUM 2012. LNCS, vol. 7520, pp. 99–112. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  8. Budán, M.C., Lucero, M.J.G., Chesñevar, C.I., Simari, G.R.: Modelling time and reliability in structured argumentation frameworks. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) KR. AAAI Press (2012)

    Google Scholar 

  9. Cayrol, C., Lagasquie-Schiex, M.-C.: Graduality in argumentation. J. Artif. Intell. Res(JAIR) 23, 245–297 (2005)

    MATH  MathSciNet  Google Scholar 

  10. Chesñevar, C.I., Maguitman, A.G., Simari, G.R.: Recommender system technologies based on argumentation 1. In: Emerging Artificial Intelligence Applications in Computer Engineering, pp. 50–73 (2007)

    Google Scholar 

  11. Chesñevar, C.I., Maguitman, A.G., Simari, G.R.: A first approach to argument-based recommender systems based on defeasible logic programming. In: NMR, pp. 109–117 (2004)

    Google Scholar 

  12. Chesñevar, C.I., Simari, G.R.: Modelling inference in argumentation through labelled deduction: Formalization and logical properties. Logica Universalis 1(1), 93–124 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  13. Chesñevar, C.I., Simari, G.R., Alsinet, T., Godo, L.: A logic programming framework for possibilistic argumentation with vague knowledge. In: Proceedings of the 20th Conference on Uncertainty in Artificial Intelligence, pp. 76–84. AUAI Press (2004)

    Google Scholar 

  14. Chesñevar, C.I., McGinnis, J., Modgil, S., Rahwan, I., Reed, C., Simari, G.R., South, M., Vreeswijk, G., Willmott, S.: Towards an argument interchange format. Knowledge Eng. Review 21(4), 293–316 (2006)

    Article  Google Scholar 

  15. Gabbay, D.: Labelling Deductive Systems (vol. 1). Oxford Logic Guides, vol. 33. Oxford University Press (1996)

    Google Scholar 

  16. Gabbay, D.: Labelled deductive systems: a position paper. In: Oikkonen, J., Vaananen, J. (eds.) Proceedings of Logic Colloquium 1990. Lecture Notes in Logic, vol. 2, pp. 66–88. Springer-Verlag (1993)

    Google Scholar 

  17. García, A.J., Simari, G.R.: Strong and default negation in defeasible logic programming. In: 4th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and Their Applications, Institute for Logic, Language and Computation. University of Amsterdam (March 1999)

    Google Scholar 

  18. García, A.J., Simari, G.R.: Defeasible logic programming: An argumentative approach. Theory Practice of Logic Programming 4(1), 95–138 (2004)

    Article  MATH  Google Scholar 

  19. Kaci, S., van der Torre, L.: Preference-based argumentation: Arguments supporting multiple values. International Journal of Approximate Reasoning 48(3), 730–751 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  20. Lucero, M.J.G., Chesñevar, C.I., Simari, G.R.: Modelling argument accrual with possibilistic uncertainty in a logic programming setting. Inf. Sci. 228, 1–25 (2013)

    Article  Google Scholar 

  21. Gómez Lucero, M.J., Chesñevar, C.I., Simari, G.R.: Modelling argument accrual in possibilistic defeasible logic programming. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol. 5590, pp. 131–143. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  22. Lucero, M.J.G., Chesñevar, C.I., Simari, G.R.: Modelling argument accrual with possibilistic uncertainty in a logic programming setting. Inf. Sci. 228, 1–25 (2013)

    Article  Google Scholar 

  23. Nelson, D.: Constructible falsity. The Journal of Symbolic Logic 14(1), 16–26 (1949)

    Article  MATH  MathSciNet  Google Scholar 

  24. Pasquier, P., Hollands, R., Rahwan, I., Dignum, F., Sonenberg, L.: An empirical study of interest-based negotiation. Autonomous Agents and Multi-Agent Systems 22(2), 249–288 (2011)

    Article  Google Scholar 

  25. Perelman, C.: Justice, Law and Argument, Reidel, Dordrecht, Holland. Synthese Library, vol. 142 (1980)

    Google Scholar 

  26. Pollock, J.L.: Defeasible reasoning and degrees of justification. Argument & Computation 1(1), 7–22 (2010)

    Article  Google Scholar 

  27. Prakken, H.: A study of accrual of arguments, with applications to evidential reasoning. In: ICAIL 20 05: Proc. of the 10th Int. Conf. on Artificial Intelligence and Law, pp. 85–94. ACM, New York (2005)

    Chapter  Google Scholar 

  28. Rahwan, I., Reed, C.: The argument interchange format. In: Rahwan, I., Simari, G.R. (eds.) Argumentation in Artificial Intelligence, pp. 383–402. Springer (2009)

    Google Scholar 

  29. Rahwan, I., Simari, G.R.: Argumentation in Artificial Intelligence. Springer Verlag (2009)

    Google Scholar 

  30. Rahwan, I., Zablith, F., Reed, C.: Laying the foundations for a world wide argument web. Artif. Intell. 171(10-15), 897–921 (2007)

    Article  Google Scholar 

  31. Simari, G.R., Loui, R.P.: A Mathematical Treatment of Defeasible Reasoning and its Implementation. Artificial Intelligence 53, 125–157 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  32. Simari, G.R., Loui, R.P.: A mathematical treatment of defeasible reasoning and its implementation. Artificial intelligence 53(2), 125–157 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  33. Simari, G.R.: A brief overview of research in argumentation systems. In: Benferhat, S., Grant, J. (eds.) SUM 2011. LNCS, vol. 6929, pp. 81–95. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  34. Stolzenburg, F., García, A.J., Chesñevar, C.I., Simari, G.R.: Computing generalized specificity. Journal of Applied Non-Classical Logics 13(1), 87–113 (2003)

    Article  MATH  Google Scholar 

  35. van der Weide, T.L., Dignum, F., Meyer, J.-J.C., Prakken, H., Vreeswijk, G.A.W.: Multi-criteria argument selection in persuasion dialogues. In: AAMAS 2011, vol. 3, pp. 921–928 (2011)

    Google Scholar 

  36. Verheij, B.: Accrual of arguments in defeasible argumentation. In: Proceedings of the 2nd Dutch/German Workshop on Nonmonotonic Reasoning, pp. 217–224, Utrecht (1995)

    Google Scholar 

  37. Vorob’ev, N.N.: A constructive propositional calculus with strong negation. Doklady Akademii Nauk SSR 85, 465–468 (1952)

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET), Argentina

    Maximiliano C. D. Budán

  2. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial (LIDIA), Universidad Nacional del Sur, Argentina

    Maximiliano C. D. Budán, Mauro J. Gómez Lucero & Guillermo Ricardo Simari

  3. Departamento de Matemática, Universidad Nacional de Santiago del Estero, Argentina

    Maximiliano C. D. Budán

Authors
  1. Maximiliano C. D. Budán
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mauro J. Gómez Lucero
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Guillermo Ricardo Simari
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fakultät für Mathematik und Informatik, FernUniversität in Hagen, Universitätstrasse 1, 58084, Hagen, Germany

    Christoph Beierle

  2. Istituto di Scienza e Tecnologie della Informazione, Consiglio Nazionale delle Ricerche, Via G. Moruzzi 1, 56124, Pisa, Italy

    Carlo Meghini

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Budán, M.C.D., Lucero, M.J.G., Simari, G.R. (2014). An AIF-Based Labeled Argumentation Framework. In: Beierle, C., Meghini, C. (eds) Foundations of Information and Knowledge Systems. FoIKS 2014. Lecture Notes in Computer Science, vol 8367. Springer, Cham. https://doi.org/10.1007/978-3-319-04939-7_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-04939-7_5

  • Publisher Name: Springer, Cham

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation