Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints
- Cite this paper as:
- Polleres A., Frühstück M., Schenner G., Friedrich G. (2013) Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints. In: Cabalar P., Son T.C. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2013. Lecture Notes in Computer Science, vol 8148. Springer, Berlin, Heidelberg
When deploying Answer Set Programming (ASP) in an industrial context, for instance for (re-)configuration , knowledge engineers need debugging support on non-ground programs. Current approaches to ASP debugging, however, do not cover extended modeling features of ASP, such as choice rules, conditional literals, cardinality and weight constraints . To this end, we encode non-ground ASP programs using extended modeling features into normal logic progams; this encoding extends existing encodings for the case of ground programs [4,10,11] to the non-ground case. We subsequently deploy this translation on top of an existing ASP debugging approach for non-ground normal logic programs . We have implemented and tested the approach and provide evaluation results.
Unable to display preview. Download preview PDF.