Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
SLD stands for “selective linear definite” (see, e.g., [15]).
- 2.
Intuitively, a tree T belongs to the kernel of S if T belongs to S and the level of T is minimal wrt trees in S supporting the same conclusion.
- 3.
Precise formula for computing W(C) is not really important for the discussion. It can be found in [19].
References
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)
Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving with Answer Sets. Cambridge University Press, Cambridge (2003)
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)
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)
Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artif. Intell. 93, 63–101 (1997)
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)
Cormen, T., Leiserson, C., Rivest, R., Stein, C.: Introduction to Algorithms, 2nd edn. MIT Press, Cambridge (2001)
Dung, P.M.: An argumentation-theoretic foundations for logic programming. J. Log. Program. 22(2), 151–171 (1995)
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)
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)
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)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: LPICS, pp. 1070–1080 (1988)
Kakas, A., Mancarella, P.: Generalized stable models: a semantics for abduction. In: Proceedings of ECAI-90, pp. 385–391 (1990)
Lifschitz, V.: Answer set programming and plan generation. Artif. Intell. 138(1–2), 39–54 (2002)
Lloyd, J.: Foundations of Logic Programming. Springer, Berlin (1987). Second, extended edition
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)
Marek, V.W., Niemelä, I., Truszczynski, M.: Logic programs with monotone abstract constraint atoms. TPLP 8(2), 167–199 (2008)
Niemelä, I.: Logic programming with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25(3,4), 241–273 (1999)
Niemelä, I., Simons, P., Soininen, T.: Stable model semantics for weight constraint rules. In: LPNMR, pp. 315–332 (1999)
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)
Przymusinski, T.: Stable semantics for disjunctive programs. New Gener. Comput. 9(3,4), 401–425 (1991)
Schulz, C., Toni, F.: Logic programming in assumption-based argumentation revisited - semantics and graphical representation. In: AAAI 2015, pp. 1569–1575. AAAI Press (2015)
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)
Son, T.C., Pontelli, E.: A constructive semantic characterization of aggregates in answer set programming. Theory Pract. Logic Program. 7(03), 355–375 (2007)
Son, T.C., Pontelli, E., Tu, P.H.: Answer sets for logic programs with arbitrary abstract constraint atoms. In: AAAI (2006)
Van Gelder, A., Ross, K., Schlipf, J.: The well-founded semantics for general logic programs. J. ACM 38(3), 620–650 (1991)
Wang, Y., Lin, F., Zhang, M., You, J.: A well-founded semantics for basic logic programs with arbitrary abstract constraint atoms. In: AAAI (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Dung, P.M., Son, T.C., Thang, P.M. (2016). Argumentation-Based Semantics for Logic Programs with First-Order Formulae. In: Baldoni, M., Chopra, A., Son, T., Hirayama, K., Torroni, P. (eds) PRIMA 2016: Principles and Practice of Multi-Agent Systems. PRIMA 2016. Lecture Notes in Computer Science(), vol 9862. Springer, Cham. https://doi.org/10.1007/978-3-319-44832-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-44832-9_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-44831-2
Online ISBN: 978-3-319-44832-9
eBook Packages: Computer ScienceComputer Science (R0)