AAAI Publications, Twenty-Seventh AAAI Conference on Artificial Intelligence

Font Size: 
Domain-Specific Heuristics in Answer Set Programming
Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, Philipp Wanko

Last modified: 2013-06-30


We introduce a general declarative framework for incorporating domain-specific heuristics into ASP solving. We accomplish this by extending the first-order modeling language of ASP by a distinguished heuristic predicate. The resulting heuristic information is processed as an equitable part of the logic program and subsequently exploited by the solver when it comes to non-deterministically assigning a truth value to an atom. We implemented our approach as a dedicated heuristic in the ASP solver clasp and show its great prospect by an empirical evaluation.


answer set programming; answer set solving; heuristics; conflict-driven clause learning

Full Text: PDF