Learning Domain-Specific Heuristics for Answer Set Solvers

In spite of the recent improvements in the performance of Answer Set Programming (ASP) solvers, when the search space is sufficiently large, it is still possible for the search algorithm to mistakenly focus on areas of the search space that contain no solutions or very few. When that happens, performance degrades substantially, even to the point that the solver may need to be terminated before returning an answer. This prospect is a concern when one is considering using such a solver in an industrial setting, where users typically expect consistent performance. To overcome this problem, in this paper we propose a technique that allows learning domain-specific heuristics for ASP solvers. The learning is done off-line, on representative instances from the target domain, and

• Type: Conference
• Year: 2010
• Where: ICLP
• Authors: Marcello Balduccini
• Keywords: Answer Set Programming, Automated Reasoning, ICLP 2010, Performance Degrades, Search Space