Knowledge-intensive Stream Reasoning.
Torsten H. Schaub · 2011
Nonmonotonic reasoning is context-dependent [1]. For instance, Reiterstyle defaults capture patterns of inference of the form “in the absence of information to the contrary conclude” [2]. Thus, conclusions are tentative, and they may become retracted in view of further information (or changing contexts). In other words, conclusions are context-dependent and contexts change over time. Unlike this, today’s ASP systems focus on problem solving and thus disregard changing contexts. On the other hand, there is a the practically highly significant area of stream processing (or stream reasoning) that lacks complex reasoning tasks [3]. Given that a Data Stream may be regarded as a Changing Context, stream reasoning constitutes a highly promising application area of Nonmonotonic Reasoning and in particular it’s computational embodiment, viz. Answer Set Programming. To underpin this claim, we report upon an extensive work on indoor position estimation [4]. Although there are well established quantitative methods in robotics and neighboring fields for addressing this problems, they lack knowledge representation and reasoning capacities. Such capabilities are not only useful in dealing with heterogeneous and incomplete information but moreover they allow for a better inclusion of semantic information and more general homecare and patientrelated knowledge. We address this problem and investigate how state-of-the-art localization and tracking methods can be combined with Answer Set Programming. We report upon a case-study and provide a first experimental evaluation of knowledge-based position estimation both in a simulated as well as in a real setting. Moreover, we illustrate by means of the problem of Online Job Scheduling a new reactive approach to Answer Set Programming, introduced in [5]. This approach aims at reasoning about real-time dynamic systems running online in changing environments. Moreover, we decsribe the first genuine implementation of a reactive ASP solver, oclingo, freely available at http://potassco.sourceforge.net/labs.html. This is joint work with Roberto Bisiani, Martin Gebser, Holger Jost, Davide Merico, Alessandra Mileo, Philippe Obermeier, and Orkunt Sabuncu. Speaker’s Short Biography. Torsten Schaub received his diploma and dissertation in informatics in 1990 and 1992, respectively, from the Technical University of Darmstadt, Germany. He received his habilitation in informatics in 1995 from the University of Rennes I, France. From 1990 to 1993 he was a Researcher at the