Incremental Answer Set Programming with Overgrounding

07/22/2019
by   Francesco Calimeri, et al.
0

Repeated executions of reasoning tasks for varying inputs are necessary in many applicative settings, such as stream reasoning. In this context, we propose an incremental grounding approach for the answer set semantics. We focus on the possibility of generating incrementally larger ground logic programs equivalent to a given non-ground one; so called overgrounded programs can be reused in combination with deliberately many different sets of inputs. Updating overgrounded programs requires a small effort, thus making the instantiation of logic programs considerably faster when grounding is repeated on a series of inputs similar to each other. Notably, the proposed approach works "under the hood", relieving designers of logic programs from controlling technical aspects of grounding engines and answer set systems. In this work we present the theoretical basis of the proposed incremental grounding technique, we illustrate the consequent repeated evaluation strategy and report about our experiments. This paper is under consideration in Theory and Practice of Logic Programming (TPLP).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/06/2020

Incremental maintenance of overgrounded logic programs with tailored simplifications

The repeated execution of reasoning tasks is desirable in many applicati...
research
05/14/2014

Grounding Bound Founded Answer Set Programs

To appear in Theory and Practice of Logic Programming (TPLP) Bound Fou...
research
03/29/2023

System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics

Answer set programming is a declarative logic programming paradigm geare...
research
03/12/2016

Grounding Recursive Aggregates: Preliminary Report

Problem solving in Answer Set Programming consists of two steps, a first...
research
08/05/2021

I-DLV-sr: A Stream Reasoning System based on I-DLV

We introduce a novel logic-based system for reasoning over data streams,...
research
10/18/2012

Module Theorem for The General Theory of Stable Models

The module theorem by Janhunen et al. demonstrates how to provide a modu...
research
05/07/2019

Integrated Algorithms for HEX-Programs and Applications in Machine Learning

This paper summarizes my doctoral research on evaluation algorithms for ...

Please sign up or login with your details

Forgot password? Click here to reset