Fixed Point Semantics for Stream Reasoning

by   Christian Antic, et al.

Reasoning over streams of input data is an essential part of human intelligence. During the last decade stream reasoning has emerged as a research area within the AI-community with many potential applications. In fact, the increased availability of streaming data via services like Google and Facebook has raised the need for reasoning engines coping with data that changes at high rate. Recently, the rule-based formalism LARS for non-monotonic stream reasoning under the answer set semantics has been introduced. Syntactically, LARS programs are logic programs with negation incorporating operators for temporal reasoning, most notably window operators for selecting relevant time points. Unfortunately, by preselecting fixed intervals for the semantic evaluation of programs, the rigid semantics of LARS programs is not flexible enough to constructively cope with rapidly changing data dependencies. Moreover, we show that defining the answer set semantics of LARS in terms of FLP reducts leads to undesirable circular justifications similar to other ASP extensions. This paper fixes all of the aforementioned shortcomings of LARS. More precisely, we contribute to the foundations of stream reasoning by providing an operational fixed point semantics for a fully flexible variant of LARS and we show that our semantics is sound and constructive in the sense that answer sets are derivable bottom-up and free of circular justifications.


page 1

page 2

page 3

page 4


Sequential composition of answer set programs

Non-monotonic reasoning is an essential part of human intelligence promi...

The Stable Model Semantics of Datalog with Metric Temporal Operators

We introduce negation under the stable model semantics in DatalogMTL - a...

Towards Ideal Semantics for Analyzing Stream Reasoning

The rise of smart applications has drawn interest to logical reasoning o...

The Window Validity Problem in Rule-Based Stream Reasoning

Rule-based temporal query languages provide the expressive power and fle...

A uniform approach to logic programming semantics

Part of the theory of logic programming and nonmonotonic reasoning conce...

Inductive Learning of Answer Set Programs from Noisy Examples

In recent years, non-monotonic Inductive Logic Programming has received ...

Probabilistic relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving

Probabilistic programming combines general computer programming, statist...

Please sign up or login with your details

Forgot password? Click here to reset