Optimizing Answer Set Computation via Heuristic-Based Decomposition

12/23/2018
by   Francesco Calimeri, et al.
0

Answer Set Programming (ASP) is a purely declarative formalism developed in the field of logic programming and nonmonotonic reasoning: computational problems are encoded by logic programs whose answer sets, corresponding to solutions, are computed by an ASP system. Different, semantically equivalent, programs can be defined for the same problem; however, performance of systems evaluating them might significantly vary. We propose an approach for automatically transforming an input logic program into an equivalent one that can be evaluated more efficiently. One can make use of existing tree-decomposition techniques for rewriting selected rules into a set of multiple ones; the idea is to guide and adaptively apply them on the basis of proper new heuristics, to obtain a smart rewriting algorithm to be integrated into an ASP system. The method is rather general: it can be adapted to any system and implement different preference policies. Furthermore, we define a set of new heuristics tailored at optimizing grounding, one of the main phases of the ASP computation; we use them in order to implement the approach into the ASP system DLV, in particular into its grounding subsystem I-DLV, and carry out an extensive experimental activity for assessing the impact of the proposal. Under consideration in Theory and Practice of Logic Programming (TPLP).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/22/2020

A Machine Learning guided Rewriting Approach for ASP Logic Programs

Answer Set Programming (ASP) is a declarative logic formalism that allow...
research
05/14/2014

Grounding Bound Founded Answer Set Programs

To appear in Theory and Practice of Logic Programming (TPLP) Bound Fou...
research
08/01/2018

Debugging Non-Ground ASP Programs: Technique and Graphical Tools

Answer Set Programming (ASP) is one of the major declarative programming...
research
10/02/2012

Revisiting the Training of Logic Models of Protein Signaling Networks with a Formal Approach based on Answer Set Programming

A fundamental question in systems biology is the construction and traini...
research
08/30/2023

A Logic Programming Approach to Global Logistics in a Co-Design Environment

In a co-design environment changes need to be integrated quickly and in ...
research
06/12/2023

Towards end-to-end ASP computation

We propose an end-to-end approach for answer set programming (ASP) and l...
research
07/26/2016

Technical Report: Giving Hints for Logic Programming Examples without Revealing Solutions

We introduce a framework for supporting learning to program in the parad...

Please sign up or login with your details

Forgot password? Click here to reset