# Multi-Context Systems for Reactive Reasoning in Dynamic Environments

arXiv: https://arxiv.org/abs/1505.05366 · HTML: https://mlsanity.com/paper/1505.05366/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 20 May 2015.

## Built on by (most cited first, 1 of 1)

- [Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments")](https://mlsanity.com/paper/2106.06780/) (2021)

## Abstract (arXiv)

We show in this paper how managed multi-context systems (mMCSs) can be turned into a reactive formalism suitable for continuous reasoning in dynamic environments. We extend mMCSs with (abstract) sensors and define the notion of a run of the extended systems. We then show how typical problems arising in online reasoning can be addressed: handling potentially inconsistent sensor input, modeling intelligent forms of forgetting, selective integration of knowledge, and controlling the reasoning effort spent by contexts, like setting contexts to an idle mode. We also investigate the complexity of some important related decision problems and discuss different design choices which are given to the knowledge engineer.