Ticker: a system for incremental ASP-based stream reasoning

DOI10.1017/S1471068417000370MaRDI QIDQ4592708zbMATH OpenFDO

Authors Harald Beck, Thomas Eiter, Christian Folie

Publication date 8 November 2017

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1707.05304

zbMATH Keywords

answer set programmingnonmonotonic reasoningstream reasoning

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Abstract: In complex reasoning tasks, as expressible by Answer Set Programming (ASP), problems often permit for multiple solutions. In dynamic environments, where knowledge is continuously changing, the question arises how a given model can be incrementally adjusted relative to new and outdated information. This paper introduces Ticker, a prototypical engine for well-defined logical reasoning over streaming data. Ticker builds on a practical fragment of the recent rule-based language LARS which extends Answer Set Programming for streams by providing flexible expiration control and temporal modalities. We discuss Ticker's reasoning strategies: First, the repeated one-shot solving mode calls Clingo on an ASP encoding. We show how this translation can be incrementally updated when new data is streaming in or time passes by. Based on this, we build on Doyle's classic justification-based truth maintenance system (TMS) to update models of non-stratified programs. Finally, we empirically compare the obtained evaluation mechanisms. This paper is under consideration for acceptance in TPLP.

Recommendations

• Incremental answer set programming with overgrounding
• Incremental reasoning on monadic second-order logics with logic programming
• ASP solving for expanding universes
• A distributed approach to LARS stream reasoning (system paper)
• Managing caching strategies for stream reasoning with reinforcement learning

Cites work

• A rational reconstruction of nonmonotonic truth maintenance systems
• Anytime computation of cautious consequences in answer set programming
• Ricochet Robots reloaded: a case-study in multi-shot ASP solving

Cited in

(12)

• LARS: a logic-based framework for analytic reasoning over streams
• Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt}
• The delay and window size problems in rule-based stream reasoning
• scientific article; zbMATH DE number 1670756 (Why is no real title available?)
• scientific article; zbMATH DE number 7453147 (Why is no real title available?)
• Incremental answer set programming with overgrounding
• A distributed approach to LARS stream reasoning (system paper)
• Managing caching strategies for stream reasoning with reinforcement learning
• Incremental maintenance of overgrounded logic programs with tailored simplifications
• Incremental reasoning on monadic second-order logics with logic programming
• Reasoning over streams of events with delayed effects
• Composite event recognition with arbitrary specifications

This page was built for publication: Ticker: a system for incremental ASP-based stream reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4592708)