Answer Set Programming for Stream Reasoning

The advance of Internet and Sensor technology has brought about new challenges evoked by the emergence of continuous data streams. Beyond rapid data processing, application areas like ambient assisted living, robotics, or dynamic scheduling involve complex reasoning tasks. We address such scenarios and elaborate upon approaches to knowledge-intense stream reasoning, based on Answer Set Programming (ASP). While traditional ASP methods are devised for singular problem solving, we develop new techniques to formulate and process problems dealing with emerging as well as expiring data in a seamless way.

[1]  Vladimir Lifschitz,et al.  Answer set programming and plan generation , 2002, Artif. Intell..

[2]  Frank van Harmelen,et al.  Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.

[3]  Martin Gebser,et al.  Advances in gringo Series 3 , 2011, LPNMR.

[4]  Robert A. Kowalski,et al.  Algorithm = logic + control , 1979, CACM.

[5]  Enrico Giunchiglia,et al.  Nonmonotonic causal theories , 2004, Artif. Intell..

[6]  Cesare Tinelli,et al.  Handbook of Satisfiability , 2021, Handbook of Satisfiability.

[7]  Martin Gebser,et al.  Conflict-Driven Answer Set Solving , 2007, IJCAI.

[8]  D. Atkin.  OR scheduling algorithms. , 2000, Anesthesiology.

[9]  Stefan Edelkamp,et al.  Automated Planning: Theory and Practice , 2007, Künstliche Intell..

[10]  Martin Gebser,et al.  An incremental answer set programming based system for finite model computation , 2011, AI Commun..

[11]  Toby Walsh,et al.  Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications , 2009 .

[12]  Martin Gebser,et al.  Engineering an Incremental ASP Solver , 2008, ICLP.

[13]  Dieter Fensel,et al.  It's a Streaming World! Reasoning upon Rapidly Changing Information , 2009, IEEE Intelligent Systems.

[14]  Martin Gebser,et al.  Reactive Answer Set Programming , 2011, LPNMR.

[15]  Lukasz Golab,et al.  Data Stream Management , 2017, Data Stream Management.

[16]  Martin Gebser,et al.  Stream Reasoning with Answer Set Programming: Preliminary Report , 2012, KR.

[17]  Paolo Traverso,et al.  Automated planning - theory and practice , 2004 .

[18]  Timo Soininen,et al.  Extending and implementing the stable model semantics , 2000, Artif. Intell..

[19]  Achim Rettinger,et al.  Deductive and Inductive Stream Reasoning for Semantic Social Media Analytics , 2010, IEEE Intelligent Systems.

[20]  Andrew B. Baker,et al.  A Simple Solution to the Yale Shooting Problem , 1989, KR.

[21]  Martin Gebser,et al.  Stream Reasoning with Answer Set Programming: Extended Version , 2012 .

[22]  Pascal Van Hentenryck.  Proceedings of the eleventh international conference on Logic programming , 1994 .

[23]  Chitta Baral,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .