Ticker: A system for incremental ASP-based stream reasoning

作     者：Beck, Harald Eiter, Thomas Folie, Christian 

作者机构：Vienna Univ Technol Inst Informat Syst Favoritenstr 9-11 A-1040 Vienna Austria 

出 版 物：《THEORY AND PRACTICE OF LOGIC PROGRAMMING》 (逻辑程序设计理论与实践)

年 卷 期：2017年第17卷第5-6期

页      面：744-763页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0701[理学-数学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：Austrian Science Fund (FWF) [P26471, W1255-N23] Austrian Science Fund (FWF) [P26471] Funding Source: Austrian Science Fund (FWF) 

主　　题：Stream reasoning Answer set programming Non-monotonic reasoning 

摘      要：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 ASP 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 to update models of non-stratified programs. Finally, we empirically compare the obtained evaluation mechanisms.