Answer Set Programming (ASP) is a well-known declarative AI formalism developed in the area of logic programming and nonmonotonic reasoning. Modern ASP systems are based on the ground&solve approach. Although effective in industrial and academic applications ground&solve ASP systems are still unable to handle some classes of programs because of the so-called grounding bottleneck problem. Compilation of ASP programs demonstrated to be an effective technique for overcoming the grounding bottleneck. In the paper titled "Compilation of Aggregates in ASP Systems", which we presented in the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2022), the first compilation-based approach for ASP programs that contain aggregates has been presented. In this paper, we outline the benefits of compiling ASP programs and mention possible developments in this line of research.
Compilation of ASP programs: Recent developments
Dodaro C.;Mazzotta G.;Ricca F.
2023-01-01
Abstract
Answer Set Programming (ASP) is a well-known declarative AI formalism developed in the area of logic programming and nonmonotonic reasoning. Modern ASP systems are based on the ground&solve approach. Although effective in industrial and academic applications ground&solve ASP systems are still unable to handle some classes of programs because of the so-called grounding bottleneck problem. Compilation of ASP programs demonstrated to be an effective technique for overcoming the grounding bottleneck. In the paper titled "Compilation of Aggregates in ASP Systems", which we presented in the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2022), the first compilation-based approach for ASP programs that contain aggregates has been presented. In this paper, we outline the benefits of compiling ASP programs and mention possible developments in this line of research.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
