Fixed point semantics for stream reasoning
From MaRDI portal
Publication:2046012
Abstract: Reasoning over streams of input data is an essential part of human intelligence. During the last decade {em 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 {em 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 {em window operators} for selecting relevant time points. Unfortunately, by preselecting {em fixed} intervals for the semantic evaluation of programs, the rigid semantics of LARS programs is not flexible enough to {em 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.
Recommendations
- LARS: a logic-based framework for analytic reasoning over streams (extended abstract)
- LARS: a logic-based framework for analytic reasoning over streams
- Weighted Lars for quantitative stream reasoning
- A distributed approach to LARS stream reasoning (system paper)
- Incremental reasoning on monadic second-order logics with logic programming
Cites work
- Answer set programming and plan generation
- Answer set programming based on propositional satisfiability
- Answer Set Programming: A Primer
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
- Combining answer set programming with description logics for the semantic web
- Conflict-driven answer set solving: from theory to practice
- Extending and implementing the stable model semantics
- Fixpoint semantics for logic programming a survey
- FLP answer set semantics without circular justifications for general logic programs
- Grounded fixpoints and their applications in knowledge representation
- Hex semantics via approximation fixpoint theory
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 1368933 (Why is no real title available?)
- scientific article; zbMATH DE number 1453071 (Why is no real title available?)
- Knowledge Representation, Reasoning and Declarative Problem Solving
- LARS: a logic-based framework for analytic reasoning over streams
- Logics in Artificial Intelligence
- Semantics and complexity of recursive aggregates in answer set programming
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach
- The DLV system for knowledge representation and reasoning
- The Semantics of Predicate Logic as a Programming Language
- The well-founded semantics for general logic programs
- Ultimate approximation and its application in nonmonotonic knowledge representation systems
- Uniform semantic treatment of default and autoepistemic logics
Cited in
(8)- LARS: a logic-based framework for analytic reasoning over streams
- Prediction and explanation over DL-Lite data streams
- Weighted Lars for quantitative stream reasoning
- Semantic Foundations for Deterministic Dataflow and Stream Processing
- A distributed approach to LARS stream reasoning (system paper)
- LARS: a logic-based framework for analytic reasoning over streams (extended abstract)
- Incremental reasoning on monadic second-order logics with logic programming
- Embedding justification theory in approximation fixpoint theory
This page was built for publication: Fixed point semantics for stream reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2046012)
