Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies

  • Md. Solimul ChowdhuryEmail author
  • Fangfang Liu
  • Wu Chen
  • Arash Karimi
  • Jia-Huai You
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8981)


The well-founded semantics of normal logic programs has two main utilities, one being an efficiently computable semantics with a unique intended model, and the other serving as polynomial time constraint propagation for the computation of answer sets of the same program. When logic programs are generalized to support constraints of various kinds, the semantics is no longer tractable, which makes the second utility doubtful. This paper considers the possibility of tractable but incomplete methods, which in general may miss information in the computed result, but never generates wrong conclusions. For this goal, we first formulate a well-founded semantics for logic programs with generalized atoms, which generalizes logic programs with arbitrary aggregates/constraints/dl-atoms. As a case study, we show that the method of removing non-monotone dl-atoms for the well-founded semantics by Eiter et al. actually falls into this category. We also present a case study for logic programs with standard aggregates.


Polynomial approximation Well-founded semantics Generalized atoms 


  1. 1.
    Alviano, M., Calimeri, F., Faber, W., Leone, N., Perri, S.: Unfounded sets and well-founded semantics of answer set programs with aggregates. J. Artif. Intell. Res. 42, 487–527 (2011)zbMATHMathSciNetGoogle Scholar
  2. 2.
    Alviano, M., Faber, W.: The complexity boundary of answer set programming with generalized atoms under the FLP semantics. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol. 8148, pp. 67–72. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  3. 3.
    Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. Artif. Intell. Res. 36, 1–69 (2009)zbMATHMathSciNetGoogle Scholar
  4. 4.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)Google Scholar
  5. 5.
    Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, New York (2003) CrossRefzbMATHGoogle Scholar
  6. 6.
    Bordeaux, L., Hamadi, Y., Zhang, L.: Propositional satisfiability and constraint programming: a comparative survey. ACM Comput. Surv. 38(4), 1–54 (2006)CrossRefGoogle Scholar
  7. 7.
    Eiter, T., Fink, M., Krennwallner, T., Redl, C., Schüller, P.: Efficient hex-program evaluation based on unfounded sets. J. Artif. Intell. Res. (JAIR) 49, 269–321 (2014)zbMATHGoogle Scholar
  8. 8.
    Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell. 172(12–13), 1495–1539 (2008)CrossRefzbMATHMathSciNetGoogle Scholar
  9. 9.
    Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: IJCAI, pp. 90–96 (2005)Google Scholar
  10. 10.
    Eiter, T., Lukasiewicz, T., Ianni, G., Schindlauer, R.: Well-founded semantics for description logic programs in the semantic web. ACM Trans. Comput. Log. 12(2) (2011), Article 3Google Scholar
  11. 11.
    Faber, W.: Unfounded sets for disjunctive logic programs with arbitrary aggregates. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 40–52. Springer, Heidelberg (2005) CrossRefGoogle Scholar
  12. 12.
    Faber, W., Pfeifer, G., Leone, N., Dell’Armi, T., Ielpa, G.: Design and implementation of aggregate functions in the DLV system. TPLP 8(5–6), 545–580 (2008)zbMATHMathSciNetGoogle Scholar
  13. 13.
    Knorr, M., Júlio Alferes, J., Hitzler, P.: Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell. 175(9–10), 1528–1554 (2011)CrossRefzbMATHGoogle Scholar
  14. 14.
    Liu, G., Goebel, R., Janhunen, T., Niemelä, I., You, J.-H.: Strong equivalence of logic programs with abstract constraint atoms. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 161–173. Springer, Heidelberg (2011) CrossRefGoogle Scholar
  15. 15.
    Liu, G., You, J.-H.: Lparse programs revisited: semantics and representation of aggregates. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 347–361. Springer, Heidelberg (2008) CrossRefGoogle Scholar
  16. 16.
    Liu, L., Pontelli, E., Cao Son, T., Truszczyński, M.: Logic programs with abstract constraint atoms. Artif. Intell. 174, 295–315 (2010)CrossRefzbMATHGoogle Scholar
  17. 17.
    Marek, V.W., Truszczynski, M: Logic programs with abstract constraint atoms. In: Proceedings of AAAI-04, pp. 86–91 (2004)Google Scholar
  18. 18.
    Pelov, N., Denecker, M., Bruynooghe, M.: Well-founded and stable semantics of logic programs with aggregates. Theory Pract. Log. Program. 7, 301–353 (2007)CrossRefzbMATHMathSciNetGoogle Scholar
  19. 19.
    Rossi, F., Van Beek, P., Walsh, T. (eds.): Global constraints. Handbook of Constraint Programming. Elsevier, New York (2006)Google Scholar
  20. 20.
    Simons, P., Niemel\(\ddot{a}\), I., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intell. 138(1–2), 181–234 (2002)Google Scholar
  21. 21.
    Cao Son, T., Pontelli, E.: A constructive semantic characterization of aggregates in answer set programming. TPLP 7(3), 355–375 (2007)zbMATHGoogle Scholar
  22. 22.
    Pontelli, E., Huy Tu, P.: Answer sets for logic programs with arbitrary abstract constraint atoms. J. Artif. Intell. Res. 29, 353–389 (2007)zbMATHGoogle Scholar
  23. 23.
    Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pac. J. Math. 5(2), 285–309 (1955)CrossRefzbMATHMathSciNetGoogle Scholar
  24. 24.
    Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620–650 (1991)zbMATHGoogle Scholar
  25. 25.
    Wang, Y., Lin, F., Zhang, M., You, J.-H.: A well-founded semantics for basic logic programs with arbitrary abstract constraint atoms. In: AAAI (2012)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Md. Solimul Chowdhury
    • 1
    Email author
  • Fangfang Liu
    • 2
  • Wu Chen
    • 3
  • Arash Karimi
    • 1
  • Jia-Huai You
    • 1
  1. 1.Department of Computing ScienceUniversity of AlbertaEdmontonCanada
  2. 2.College of Computer and Information ScienceShanghai UniversityBaoshanChina
  3. 3.College of Computer and Information ScienceSouthwest UniversityChongqingChina

Personalised recommendations