Compilation of Aggregates in ASP Systems

Answer Set Programming (ASP) is a well-known declarative AI formalism for knowledge representation and reasoning. State-of-the-art ASP implementations employ the ground&solve approach, and they were successfully applied to industrial and academic problems. Nonetheless there are classes of ASP programs whose evaluation is not efficient (sometimes not feasible) due to the combinatorial blow-up of the program produced by the grounding step. Recent research suggests that compilation-based techniques can mitigate the grounding bottleneck problem. However, no compilationbased technique has been developed for ASP programs that contain aggregates, which are one of the most relevant and commonly-employed constructs of ASP. In this paper, we propose a compilation-based approach for ASP programs with aggregates. We implement it on top of a state-of-theart ASP system, and evaluate the performance on publiclyavailable benchmarks. Experiments show our approach is effective on ground-intensive ASP programs.

Authors

• Giuseppe Mazzotta
• Francesco Ricca
• Carmine Dodaro

Keywords

No keywords are indexed for this paper.