AAAI Publications, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning

Font Size: 
Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming — Extended Abstract
Jori Bomanson, Tomi Janhunen, Antonius Weinzierl

Last modified: 2018-09-24

Abstract


Answer-Set Programming (ASP) is an expressive rule-based knowledge-representation formalism supported by efficient solver technology. Traditional evaluation of answer-set programs takes place in two phases: grounding and solving. Grounding incurs an up-to exponential increase in space, termed the grounding bottleneck of ASP, which is often encountered in practice. Lazy grounding avoids this bottleneck but is restricted to normal rules, significantly limiting the expressive power of this approach. We propose a framework to handle aggregates by normalizing them on demand during the lazy grounding process; we call this approach lazy normalization. It is feasible for different types of aggregates and can bring about up-to exponential gains in space and time.

Keywords


Knowledge Representation; Nonmonotonic Reasoning; Answer-Set Programming; Lazy Grounding; Normalization

Full Text: PDF