Hostname: page-component-74656f9884-2dmjx Total loading time: 0 Render date: 2026-11-10T00:55:48.843Z Has data issue: false hasContentIssue false

Incremental maintenance of overgrounded logic programs with tailored simplifications

Published online by Cambridge University Press:  21 September 2020

Giovambattista Ianni
Affiliation:
Department of Mathematics and Computer Science, University of Calabria, Rende, Italy (e-mail: lastname@mat.unical.it) - https://www.mat.unical.it
Francesco Pacenza
Affiliation:
Department of Mathematics and Computer Science, University of Calabria, Rende, Italy (e-mail: lastname@mat.unical.it) - https://www.mat.unical.it
Jessica Zangari
Affiliation:
Department of Mathematics and Computer Science, University of Calabria, Rende, Italy (e-mail: lastname@mat.unical.it) - https://www.mat.unical.it
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

The repeated execution of reasoning tasks is desirable in many applicative scenarios, such as stream reasoning and event processing. When using answer set programming in such contexts, one can avoid the iterative generation of ground programs thus achieving a significant payoff in terms of computing time. However, this may require some additional amount of memory and/or the manual addition of operational directives in the declarative knowledge base at hand. We introduce a new strategy for generating series of monotonically growing propositional programs. The proposed overgrounded programs with tailoring (OPTs) can be updated and reused in combination with consecutive inputs. With respect to earlier approaches, our tailored simplification technique reduces the size of instantiated programs. A maintained OPT slowly grows in size from an iteration to another while the update cost decreases, especially in later iterations. In this paper we formally introduce tailored embeddings, a family of equivalence-preserving ground programs which are at the theoretical basis of OPTs and we describe their properties. We then illustrate an OPT update algorithm and report about our implementation and its performance.

Information

Type
Original Article
Copyright
© The Author(s), 2020. Published by Cambridge University Press
Supplementary material: PDF

Ianni et al. supplementary material

Ianni et al. supplementary material 1

Download Ianni et al. supplementary material(PDF)
PDF 146.5 KB
Supplementary material: File

Ianni et al. supplementary material

Ianni et al. supplementary material 2

Download Ianni et al. supplementary material(File)
File 125.7 KB