Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More

08/08/2020
by   Antonius Weinzierl, et al.
0

Answer-Set Programming (ASP) is a powerful and expressive knowledge representation paradigm with a significant number of applications in logic-based AI. The traditional ground-and-solve approach, however, requires ASP programs to be grounded upfront and thus suffers from the so-called grounding bottleneck (i.e., ASP programs easily exhaust all available memory and thus become unsolvable). As a remedy, lazy-grounding ASP solvers have been developed, but many state-of-the-art techniques for grounded ASP solving have not been available to them yet. In this work we present, for the first time, adaptions to the lazy-grounding setting for many important techniques, like restarts, phase saving, domain-independent heuristics, and learned-clause deletion. Furthermore, we investigate their effects and in general observe a large improvement in solving capabilities and also uncover negative effects in certain cases, indicating the need for portfolio solving as known from other solvers. Under consideration for acceptance in TPLP.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/29/2019

Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving

The traditional ground-and-solve approach to Answer Set Programming (ASP...
research
09/17/2021

Compilation of Aggregates in ASP

Answer Set Programming (ASP) is a well-known problem-solving formalism i...
research
08/07/2020

Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints

Generalising and re-using knowledge learned while solving one problem in...
research
05/14/2014

Bound Founded Answer Set Programming

Answer Set Programming (ASP) is a powerful modelling formalism that is v...
research
12/20/2013

Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP

Research on developing efficient and scalable ASP solvers can substantia...
research
09/18/2019

Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring

Answer Set Programming (ASP) is a famous logic language for knowledge re...
research
07/13/2017

Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis

Answer Set Programming (ASP) is a well-established declarative paradigm....

Please sign up or login with your details

Forgot password? Click here to reset