Argumentation-Based Semantics for Logic Programs with First-Order Formulae

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9862)


This paper studies different semantics of logic programs with first order formulae under the lens of argumentation framework. It defines the notion of an argumentation-based answer set and the notion of an argumentation-based well-founded model for programs with first order formulae. The main ideas underlying the new approach lie in the notion of a proof tree supporting a conclusion given a program and the observation that proof trees can be naturally employed as arguments in an argumentation framework whose stable extensions capture the program’s well-justified answer semantics recently introduced in [23]. The paper shows that the proposed approach to dealing with programs with first order formulae can be easily extended to a generalized class of logic programs, called programs with FOL-representable atoms, that covers various types of extensions of logic programming proposed in the literature such as weight constraint atoms, aggregates, and abstract constraint atoms. For example, it shows that argumentation-based well-founded model is equivalent to the well-founded model in [27] for programs with abstract constraint atoms. Finally, the paper relates the proposed approach to others and discusses possible extensions.


Logic Program Logic Programming Argumentation Framework Proof Tree Order Formula 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Balduccini, M., Gelfond, M., Watson, R., Nogueira, M.: The USA-Advisor: a case study in answer set planning. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 439–442. Springer, Heidelberg (2001)Google Scholar
  2. 2.
    Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving with Answer Sets. Cambridge University Press, Cambridge (2003)CrossRefMATHGoogle Scholar
  3. 3.
    Baral, C., Provetti, A., Son, T.C. (eds.): Theory and Practice of Logic Programming Special Issue on Answer Set Programming, vol. 3. Cambridge Univeristy Press, Cambridge (2003)Google Scholar
  4. 4.
    Bartholomew, M., Lee, J., Meng, Y.: First-order extension of the FLP stable model semantics via modified circumscription. In: IJCAI 2011, pp. 724–730. IJCAI/AAAI (2011)Google Scholar
  5. 5.
    Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artif. Intell. 93, 63–101 (1997)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Chisham, B., Pontelli, E., Son, T.C., Wright, B.: Cdaostore: a phylogenetic repository using logic programming and web services. In: Gallagher, J.P., Gelfond, M. (eds.) Technical Communications, ICLp 2011, pp. 209–219 (2011)Google Scholar
  7. 7.
    Cormen, T., Leiserson, C., Rivest, R., Stein, C.: Introduction to Algorithms, 2nd edn. MIT Press, Cambridge (2001)MATHGoogle Scholar
  8. 8.
    Dung, P.M.: An argumentation-theoretic foundations for logic programming. J. Log. Program. 22(2), 151–171 (1995)MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77, 321–357 (1995)MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: semantics and complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 200–212. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  11. 11.
    Gebser, M., Guziolowski, C., Ivanchev, M., Schaub, T., Siegel, A., Thiele, S., Veber, P.: Repair and prediction (under inconsistency) in large biological networks with answer set programming. In: KR 2010, pp. 497–507. AAAI Press (2010)Google Scholar
  12. 12.
    Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: LPICS, pp. 1070–1080 (1988)Google Scholar
  13. 13.
    Kakas, A., Mancarella, P.: Generalized stable models: a semantics for abduction. In: Proceedings of ECAI-90, pp. 385–391 (1990)Google Scholar
  14. 14.
    Lifschitz, V.: Answer set programming and plan generation. Artif. Intell. 138(1–2), 39–54 (2002)MathSciNetCrossRefMATHGoogle Scholar
  15. 15.
    Lloyd, J.: Foundations of Logic Programming. Springer, Berlin (1987). Second, extended editionCrossRefMATHGoogle Scholar
  16. 16.
    Marek, V., Truszczyński, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: A 25-Year Perspective, pp. 375–398 (1999)Google Scholar
  17. 17.
    Marek, V.W., Niemelä, I., Truszczynski, M.: Logic programs with monotone abstract constraint atoms. TPLP 8(2), 167–199 (2008)MathSciNetMATHGoogle Scholar
  18. 18.
    Niemelä, I.: Logic programming with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25(3,4), 241–273 (1999)CrossRefMATHGoogle Scholar
  19. 19.
    Niemelä, I., Simons, P., Soininen, T.: Stable model semantics for weight constraint rules. In: LPNMR, pp. 315–332 (1999)Google Scholar
  20. 20.
    Pelov, N., Denecker, M., Bruynooghe, M.: Partial stable models for logic programs with aggregates. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 207–219. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  21. 21.
    Przymusinski, T.: Stable semantics for disjunctive programs. New Gener. Comput. 9(3,4), 401–425 (1991)CrossRefMATHGoogle Scholar
  22. 22.
    Schulz, C., Toni, F.: Logic programming in assumption-based argumentation revisited - semantics and graphical representation. In: AAAI 2015, pp. 1569–1575. AAAI Press (2015)Google Scholar
  23. 23.
    Shen, Y., Wang, K., Eiter, T., Fink, M., Redl, C., Krennwallner, T., Deng, J.: FLP answer set semantics without circular justifications for general logic programs. Artif. Intell. 213, 1–41 (2014)MathSciNetCrossRefMATHGoogle Scholar
  24. 24.
    Son, T.C., Pontelli, E.: A constructive semantic characterization of aggregates in answer set programming. Theory Pract. Logic Program. 7(03), 355–375 (2007)MathSciNetCrossRefMATHGoogle Scholar
  25. 25.
    Son, T.C., Pontelli, E., Tu, P.H.: Answer sets for logic programs with arbitrary abstract constraint atoms. In: AAAI (2006)Google Scholar
  26. 26.
    Van Gelder, A., Ross, K., Schlipf, J.: The well-founded semantics for general logic programs. J. ACM 38(3), 620–650 (1991)MathSciNetMATHGoogle Scholar
  27. 27.
    Wang, Y., Lin, F., Zhang, M., You, J.: A well-founded semantics for basic logic programs with arbitrary abstract constraint atoms. In: AAAI (2012)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Phan Minh Dung
    • 1
  • Tran Cao Son
    • 2
  • Phan Minh Thang
    • 3
  1. 1.Department of Computer ScienceAsian Institute of TechnologyKlong LuangThailand
  2. 2.Department of Computer ScienceNew Mexico State UniversityLas CrucesUSA
  3. 3.Department of Computer ScienceBurapha University International CollegeBangsaenThailand

Personalised recommendations