Answer Set Programming (ASP) is a declarative formalism, developed in the field of nonmonotonic reasoning and recognized as a powerful tool for Knowledge Representation and Reasoning. ASP features show potential also in the Stream Reasoning realm. Nevertheless, such a scenario demands for repeated executions and requires reactive reasoning over rapidly changing data streams. Evaluating ASP programs from scratch at each time point represents a bottleneck. To overcome such limits, incremental reasoning techniques have been proposed. Overgrounding is an incremental grounding technique working under the answer set semantics that fully endorses the ASP declarative nature. Given a non-ground program to be repeatedly evaluated in consecutive time points over possibly differing sets of input facts, overgrounding maintains and enriches an overgrounded program, which eventually converges to a propositional theory general enough to be reused together with possible future inputs. In this work, we focus on developments and extensions of overgrounding that could be beneficial in Stream Reasoning applications. In particular, we present forms of forgetting and regeneration strategies purposely intended to mitigate the typical accumulation-oriented behavior of overgrounding by properly dropping accumulated atoms and/or rules.

Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning

Calimeri F.;Ianni G.;Pacenza F.;Perri S.;Zangari J.
2024-01-01

Abstract

Answer Set Programming (ASP) is a declarative formalism, developed in the field of nonmonotonic reasoning and recognized as a powerful tool for Knowledge Representation and Reasoning. ASP features show potential also in the Stream Reasoning realm. Nevertheless, such a scenario demands for repeated executions and requires reactive reasoning over rapidly changing data streams. Evaluating ASP programs from scratch at each time point represents a bottleneck. To overcome such limits, incremental reasoning techniques have been proposed. Overgrounding is an incremental grounding technique working under the answer set semantics that fully endorses the ASP declarative nature. Given a non-ground program to be repeatedly evaluated in consecutive time points over possibly differing sets of input facts, overgrounding maintains and enriches an overgrounded program, which eventually converges to a propositional theory general enough to be reused together with possible future inputs. In this work, we focus on developments and extensions of overgrounding that could be beneficial in Stream Reasoning applications. In particular, we present forms of forgetting and regeneration strategies purposely intended to mitigate the typical accumulation-oriented behavior of overgrounding by properly dropping accumulated atoms and/or rules.
2024
978-3-031-52037-2
978-3-031-52038-9
Answer Set Programming
Knowledge Representation and Reasoning
Overgrounding
Stream Reasoning
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11770/362779
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact