SmodelsA — A System for Computing Answer Sets of Logic Programs with Aggregates

  • Islam Elkabani
  • Enrico Pontelli
  • Tran Cao Son
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3662)

Abstract

In [2], we presented a system called \(\mathbb{ASP}\)-\(\mathbb{CLP}\) for computing answer sets of logic programs with aggregates. The implementation of \(\mathbb{ASP}\)-\(\mathbb{CLP}\) relies on the use of an external constraint solver (ECLiPSe) to deal with aggregate literals and requires some modifications to the answer set solver used in the experiment (Smodels). In general, the system is capable of computing answer sets of arbitrary programs with aggregates, i.e., there is no syntactical restrictions imposed on the inputs to the system. This makes \(\mathbb{ASP}\)-\(\mathbb{CLP}\) different from dlv A (built BEN/5/23/04) [1], which deals with stratified programs only. \(\mathbb{ASP}\)-\(\mathbb{CLP}\), however, is based on a semantics that does not guarantee minimality of answer sets. Furthermore, our experiments with \(\mathbb{ASP}\)-\(\mathbb{CLP}\) indicate that the cost of communication between the constraint solver and the answer set solver proves to be significant in large instances.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Dell’Armi, T., Faber, W., Ielpa, G., Leone, N., Pfeifer, G.: Aggregate Functions in Disjunctive Logic Programming: Semantics,Complexity,and Implementation in DLV. In: IJCAI (2003)Google Scholar
  2. 2.
    Elkabani, I., Pontelli, E., Son, T.C.: Smodels with clp and its applications: A simple and effective approach to aggregates in asp. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 73–89. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  3. 3.
    Son, T.C., Pontelli, E., Elkabani, I.: A Translational Semantics for Aggregates in Logic Programming. Technical Report NMSU-CS-2005-005, New Mexico State University (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Islam Elkabani
    • 1
  • Enrico Pontelli
    • 1
  • Tran Cao Son
    • 1
  1. 1.New Mexico State UniversityLas CrucesUSA

Personalised recommendations