Multi-Context Stream Reasoning
From International Center for Computational Logic
Multi-Context Stream Reasoning
Talk by Stefan Ellmauthaler
- Location: Online
- Start: 29. October 2020 at 1:00 pm
- End: 29. October 2020 at 2:30 pm
- Event series: Research Seminar Logic and AI
- iCal
The field of artificial intelligence and knowledge representation (KR) has originated a high variety of formalisms, notions, languages, and formats during the past decades. Each approach has been motivated and designed with specific applications in mind. Nowadays, in the century of Industry 4.0, the Internet of Things, and Smart-devices, we are interested in ways to connect the various approaches and allow them to distribute and exchange their knowledge and beliefs in an uniform way. In addition most information is provided continuously over time in streams of data. This leads to the problem that these sophisticated knowledge representation approaches cannot understand each others point of views, their positions on semantics are not necessarily compatible either, and most formalisms are designed as one-shot computations. These three problems between different KR-formalisms has been tackled by the concept of stream-aware Multi-Context Systems, which allow methods to transfer information under a strong and generalised notion of semantics over time.
Stefan Ellmauthaler is a post-doctoral researcher in the group of Gerhard Brewka in Leipzig. He received his B.Sc. in 'Medicine and Computer Science' and his diploma in 'Computational Intelligence' at the Vienna University of Technology. His doctoral thesis 'Multi-Context Reasoning in Continuous Data-Flow Environments' has been supervised by Gerhard Brewka at the Leipzig University. Currently his research fields are abstract argumentation, logic programming, multi-context systems, and hybrid reasoning approaches like stream reasoning and reactive reasoning.
