Reactive multi-context systems: heterogeneous reasoning in dynamic environments
From MaRDI portal
Publication:1748467
DOI10.1016/J.ARTINT.2017.11.007zbMATH Open1443.68182arXiv1609.03438OpenAlexW2535877628MaRDI QIDQ1748467FDOQ1748467
Authors: Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer 
Publication date: 11 May 2018
Published in: Artificial Intelligence (Search for Journal in Brave)
Abstract: 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.
Full work available at URL: https://arxiv.org/abs/1609.03438
Recommendations
Cites Work
- C-SPARQL: a continuous query language for RDF data streams
- Combining answer set programming with description logics for the semantic web
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Description Logic Handbook
- On abstract modular inference systems and solvers
- Reconciling description logics and rules
- Multilanguage hierarchical logics, or: How we can do without modal logics
- Preferential multi-context systems
- Finding explanations of inconsistency in multi-context systems
- Weighted Electoral Control
- Dynamic updates of non-monotonic knowledge bases
- Logics in Artificial Intelligence
- Evolving Bridge Rules in Evolving Multi-Context Systems
- Title not available (Why is that?)
- Generality in artificial intelligence
- Towards reactive multi-context systems
- Title not available (Why is that?)
- On updates of hybrid knowledge bases composed of ontologies and rules
- Reactive answer set programming
- Asynchronous Multi-Context Systems
- Generalizing Multi-Context Systems for Reactive Stream Reasoning Applications
Cited In (9)
- A multicontext architecture for formalizing complex reasoning
- On combining ontologies and rules
- Tractable reasoning using logic programs with intensional concepts
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On Nested Justification Systems
- Inconsistency Management in Reactive Multi-context Systems
- Towards reactive multi-context systems
Uses Software
This page was built for publication: Reactive multi-context systems: heterogeneous reasoning in dynamic environments
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1748467)
