On the Equivalence between Logic Programming Semantics and Argumentation Semantics

  • Martin Caminada
  • Samy Sá
  • João Alcântara
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7958)

Abstract

In this paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We note that one particular translation from logic programs to instantiated argumentation (the one described by Wu, Caminada and Gabbay) can serve as a basis for describing various equivalences between logic programming semantics and argumentation semantics. In particular, we are able to provide a formal connection between regular semantics for logic programming and preferred semantics for formal argumentation. We also show that there exist logic programming semantics (L-stable semantics) that cannot be captured by any abstract argumentation semantics.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Dung, P.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77, 321–357 (1995)MathSciNetMATHCrossRefGoogle Scholar
  2. 2.
    Wu, Y., Caminada, M., Gabbay, D.: Complete extensions in argumentation coincide with 3-valued stable models in logic programming. Studia Logica 93(1-2), 383–403 (2009); Special issue: new ideas in argumentation theoryGoogle Scholar
  3. 3.
    Caminada, M., Amgoud, L.: On the evaluation of argumentation formalisms. Artificial Intelligence 171(5-6), 286–310 (2007)MathSciNetMATHCrossRefGoogle Scholar
  4. 4.
    Prakken, H.: An abstract framework for argumentation with structured arguments. Argument and Computation 1(2), 93–124 (2010)CrossRefGoogle Scholar
  5. 5.
    Modgil, S., Prakken, H.: A general account of argumentation with preferences. Artificial Intellligence (in press, 2013)Google Scholar
  6. 6.
    Gorogiannis, N., Hunter, A.: Instantiating abstract argumentation with classical logic arguments: Postulates and properties. Artificial Intelligence 175(9-10), 1479–1497 (2011)MathSciNetMATHCrossRefGoogle Scholar
  7. 7.
    Caminada, M., Gabbay, D.: A logical account of formal argumentation. Studia Logica 93(2-3), 109–145 (2009); Special issue: new ideas in argumentation theoryGoogle Scholar
  8. 8.
    Przymusinski, T.: The well-founded semantics coincides with the three-valued stable semantics. Fundamenta Informaticae 13(4), 445–463 (1990)MathSciNetMATHGoogle Scholar
  9. 9.
    Eiter, T., Leone, N., Saccá, D.: On the partial semantics for disjunctive deductive databases. Ann. Math. Artif. Intell. 19(1-2), 59–96 (1997)MATHCrossRefGoogle Scholar
  10. 10.
    Caminada, M.: On the issue of reinstatement in argumentation. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 111–123. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  11. 11.
    Wu, Y., Caminada, M.: A labelling-based justification status of arguments. Studies in Logic 3(4), 12–29 (2010)Google Scholar
  12. 12.
    Caminada, M., Sá, S., Alcântara, J.: On the equivalence between logic programming semantics and argumentation semantics. Technical Report ABDN–CS–13–01, University of Aberdeen (2013)Google Scholar
  13. 13.
    Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowledge Engineering Review 26(4), 365–410 (2011)CrossRefGoogle Scholar
  14. 14.
    Pollock, J.: Cognitive Carpentry. A Blueprint for How to Build a Person. MIT Press, Cambridge (1995)Google Scholar
  15. 15.
    Jakobovits, H., Vermeir, D.: Robust semantics for argumentation frameworks. Journal of Logic and Computation 9(2), 215–261 (1999)MathSciNetMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Martin Caminada
    • 1
    • 2
  • Samy Sá
    • 3
  • João Alcântara
    • 3
  1. 1.Université du LuxembourgLuxembourg
  2. 2.University of AberdeenUK
  3. 3.Universidade Federal do CearáBrazil

Personalised recommendations