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

08/07/2020
by   Richard Taupe, et al.
0

Generalising and re-using knowledge learned while solving one problem instance has been neglected by state-of-the-art answer set solvers. We suggest a new approach that generalises learned nogoods for re-use to speed-up the solving of future problem instances. Our solution combines well-known ASP solving techniques with deductive logic-based machine learning. Solving performance can be improved by adding learned non-ground constraints to the original program. We demonstrate the effects of our method by means of realistic examples, showing that our approach requires low computational cost to learn constraints that yield significant performance benefits in our test cases. These benefits can be seen with ground-and-solve systems as well as lazy-grounding systems. However, ground-and-solve systems suffer from additional grounding overheads, induced by the additional constraints in some cases. By means of conflict minimization, non-minimal learned constraints can be reduced. This can result in significant reductions of grounding and solving efforts, as our experiments show. (Under consideration for acceptance in TPLP.)

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/08/2020

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

Answer-Set Programming (ASP) is a powerful and expressive knowledge repr...
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
07/13/2017

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

Answer Set Programming (ASP) is a well-established declarative paradigm....
research
07/24/2019

Partial Compilation of ASP Programs

Answer Set Programming (ASP) is a well-known declarative formalism in lo...
research
08/07/2020

Managing caching strategies for stream reasoning with reinforcement learning

Efficient decision-making over continuously changing data is essential f...
research
08/15/2020

How to build your own ASP-based system?!

Answer Set Programming (ASP) has become a popular and quite sophisticate...
research
09/18/2019

Encoding Selection for Solving Hamiltonian Cycle Problems with ASP

It is common for search and optimization problems to have alternative eq...

Please sign up or login with your details

Forgot password? Click here to reset