Towards Ideal Semantics for Analyzing Stream Reasoning

The rise of smart applications has drawn interest to logical reasoning over data streams. Recently, different query languages and stream processing/reasoning engines were proposed in different communities. However, due to a lack of theoretical foundations, the expressivity and semantics of these diverse approaches are given only informally. Towards clear specifications and means for analytic study, a formal framework is needed to define their semantics in precise terms. To this end, we present a first step towards an ideal semantics that allows for exact descriptions and comparisons of stream reasoning systems.Comment: International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014). Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), pages 17-22, technical report, ISSN 1430-3701, Leipzig University, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-150562 2014,

Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation 2014

These are the proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), which took place on August 19th, 2014 in Prague, co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014)

A survey on the evolution of the notion of context-awareness

The notion of Context has been considered for a long time in different areas of Computer Science. This article considers the use of context-based reasoning from the earlier perspective of AI as well as the newer developments in Ubiquitous Computing. Both communities have been somehow interested in the potential of context-reasoning to support real-time meaningful reactions from systems. We explain how the concept evolved in each of these different approaches. We found initially each of them considered this topic quite independently and separated from each other, however latest developments have started to show signs of cross-fertilization amongst these areas. The aim of our survey is to provide an understanding on the way context and context-reasoning were approached, to show that work in each area is complementary, and to highlight there are positive synergies arising amongst them. The overarching goal of this article is to encourage further and longer-term synergies between those interested in further understanding and using context-based reasoning

Heterogeneous reasoning in dynamic environments

We would like to thank K. Schekotihin and the anonymous reviewers for their comments, which helped improving this paper. G. Brewka, S. Ellmauthaler, and J. Puhrer were partially supported by the German Research Foundation (DFG) under grants BR-1817/7-1/2 and FOR 1513. R. Goncalves, M. Knorr and J. Leite were partially supported by Fundacao para a Ciencia e a Tecnologia (FCT) under project NOVA LINCS (UID/CEC/04516/2013). Moreover, R. Goncalves was partially supported by FCT grant SFRH/BPD/100906/2014 and M. Knorr by FCT grant SFRH/BPD/86970/2012.Managed multi-context systems (mMCSs) allow for the integration of heterogeneous knowledge sources in a modular and very general way. They were, however, mainly designed for static scenarios and are therefore not well-suited for dynamic environments in which continuous reasoning over such heterogeneous knowledge with constantly arriving streams of data is necessary. In this paper, we introduce reactive multi-context systems (rMCSs), a framework for reactive reasoning in the presence of heterogeneous knowledge sources and data streams. We show that rMCSs are indeed well-suited for this purpose by illustrating how several typical problems arising in the context of stream reasoning can be handled using them, by showing how inconsistencies possibly occurring in the integration of multiple knowledge sources can be handled, and by arguing that the potential non-determinism of rMCSs can be avoided if needed using an alternative, more skeptical well-founded semantics instead with beneficial computational properties. We also investigate the computational complexity of various reasoning problems related to rMCSs. Finally, we discuss related work, and show that rMCSs do not only generalize mMCSs to dynamic settings, but also capture/extend relevant approaches w.r.t. dynamics in knowledge representation and stream reasoning.publishe

Multi-Context Reasoning in Continuous Data-Flow Environments

The field of artificial intelligence, research on knowledge representation and reasoning has originated a large variety of formats, languages, and formalisms. Over the decades many different tools emerged to use these underlying concepts. Each one has been designed with some specific application in mind and are even used nowadays, where the internet is seen as a service to be sufficient for the age of Industry 4.0 and the Internet of Things. In that vision of a connected world, with these many different formalisms and systems, a formal way to uniformly exchange information, such as knowledge and belief is imperative. That alone is not enough, because even more systems get integrated into the online world and nowadays we are confronted with a huge amount of continuously flowing data. Therefore a solution is needed to both, allowing the integration of information and dynamic reaction to the data which is provided in such continuous data-flow environments. This work aims to present a unique and novel pair of formalisms to tackle these two important needs by proposing an abstract and general solution. We introduce and discuss reactive Multi-Context Systems (rMCS), which allow one to utilise different knowledge representation formalisms, so-called contexts which are represented as an abstract logic framework, and exchange their beliefs through bridge rules with other contexts. These multiple contexts need to mutually agree on a common set of beliefs, an equilibrium of belief sets. While different Multi-Context Systems already exist, they are only solving this agreement problem once and are neither considering external data streams, nor are they reasoning continuously over time. rMCS will do this by adding means of reacting to input streams and allowing the bridge rules to reason with this new information. In addition we propose two different kind of bridge rules, declarative ones to find a mutual agreement and operational ones for adapting the current knowledge for future computations. The second framework is more abstract and allows computations to happen in an asynchronous way. These asynchronous Multi-Context Systems are aimed at modelling and describing communication between contexts, with different levels of self-management and centralised management of communication and computation. In this thesis rMCS will be analysed with respect to usability, consistency management, and computational complexity, while we will show how asynchronous Multi-Context Systems can be used to capture the asynchronous ideas and how to model an rMCS with it. Finally we will show how rMCSs are positioned in the current world of stream reasoning and that it can capture currently used technologies and therefore allows one to seamlessly connect different systems of these kinds with each other. Further on this also shows that rMCSs are expressive enough to simulate the mechanics used by these systems to compute the corresponding results on its own as an alternative to already existing ones. For asynchronous Multi-Context Systems, we will discuss how to use them and that they are a very versatile tool to describe communication and asynchronous computation

A survey on the evolution of the notion of context-awareness

The notion of Context has been considered for a long time in different areas of Computer Science. This article considers the use of context-based reasoning from the earlier perspective of AI as well as the newer developments in Ubiquitous Computing. Both communities have been somehow interested in the potential of context-reasoning to support real-time meaningful reactions from systems. We explain how the concept evolved in each of these different approaches. We found initially each of them considered this topic quite independently and separated from each other, however latest developments have started to show signs of cross-fertilization amongst these areas. The aim of our survey is to provide an understanding on the way context and context-reasoning were approached, to show that work in each area is complementary, and to highlight there are positive synergies arising amongst them. The overarching goal of this article is to encourage further and longer-term synergies between those interested in further understanding and using context-based reasoning