An Infrastructure for Multi-shot Reasoning with Incremental Grounding

Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2019 Italian Conference on Computational Logic  
In the context of multiple, repeated, execution of reasoning tasks, typical of stream reasoning and other applicative settings, we propose an incremental reasoning infrastructure, based on the answer set semantics. We focus particularly on the possibility of caching and re-using ground programs, thus knocking down the time necessary for performing this demanding task when it has to be repeated on similar knowledge bases. We present the outline of our incremental caching technique and report about our preliminary experiments.
dblp:conf/cilc/IanniPZ19 fatcat:qkqqyev6zzgjlesls73oaq4zra