{"type":"ScholarlyArticle","title":"Answer Update for Rule-Based Stream Reasoning","authors":[{"name":"Harald Beck","slug":"harald-beck","given":"Harald","family":"Beck","affiliation":""},{"name":"Minh Dao-Tran","slug":"minh-dao-tran","given":"Minh","family":"Dao-Tran","affiliation":""},{"name":"Thomas Eiter","slug":"thomas-eiter","given":"Thomas","family":"Eiter","affiliation":""}],"abstract":"Stream reasoning is the task of continuously deriving conclusions on streaming data. To get results instantly one evaluates a query repeatedly on recent data chunks selected by window operators. However, simply recomputing results from scratch is impractical for rule-based reasoning with semantics similar to Answer Set Programming, due to the trade-off between complexity and data throughput. To address this problem, we present a method to efficiently update models of a rule set. In particular, we show how an answer stream (model) of a LARS program can be incrementally adjusted to new or outdated input by extending truth maintenance techniques. We obtain in this way a means towards practical rule-based stream reasoning with nonmonotonic negation, various window operators and different forms of temporal reference.","doi":null,"url":"https://ijcai.org/proceedings/2015/388","pdf":"https://ijcai.org/proceedings/2015/0388.pdf","markdown":"https://ijcai.org/proceedings/2015/388.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/388","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":388,"pages":{"first":2741,"last":2746},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}