Aggregates in Answer Set Optimization

  • Emad Saad
  • Gerhard Brewka
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6645)

Abstract

Answer set optimization (ASO) is a flexible framework for qualitative optimization in answer set programming (ASP). The approach uses a generating program to construct the space of problem solutions, and a preference program to assess the quality of solutions. In this short paper we generalize the approach by introducing aggregates in preference programs. This allows the user to express preferences which are based on minimization or maximization of some numerical criteria. We introduce the new language of preference programs, define its semantics and give an example illustrating its use.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Brewka, G., Niemelä, I., Truszczynski, M.: Answer set optimization. In: Proc. IJCAI, pp. 867–872 (2003)Google Scholar
  2. 2.
    Brewka, G.: Logic programming with ordered disjunction. In: Proc. AAAI, pp. 100-105 (2002)Google Scholar
  3. 3.
    Faber, W., Leone, N., Pfeifer, G.: Semantics and complexity of recursive aggregates in answer set programming. Artificial Intelligence 175(1), 278–298 (2010)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    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
  5. 5.
    Foo, N., Meyer, T., Brewka, G.: LPOD answer sets and nash equilibria. In: Maher, M.J. (ed.) ASIAN 2004. LNCS, vol. 3321, pp. 343–351. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  6. 6.
    Pelov, N., Denecker, M., Bruynooghe, M.: Well-founded and stable semantics of logic programs with aggregates. TPLP 7, 355–375 (2007)MathSciNetMATHGoogle Scholar
  7. 7.
    Sakama, C., Inoue, K.: Prioritized logic programming and its application to common-sense reasoning. Artificial Intelligence 123(1-2), 185–222 (2000)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Schaub, T., Wang, K.: A comparative study of logic programming with preference. In: Proc. IJCAI, pp. 597-602 (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Emad Saad
    • 1
  • Gerhard Brewka
    • 2
  1. 1.Gulf University for Science and TechnologyMishrefKuwait
  2. 2.University of LeipzigLeipzigGermany

Personalised recommendations