Inconsistency Management in Reactive Multi-context Systems [chapter]

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
2016 Lecture Notes in Computer Science  
In this paper, we begin by introducing reactive multicontext systems (rMCSs), a framework for reactive reasoning in the presence of heterogeneous knowledge sources. In particular, we show how to integrate data streams into multi-context systems (MCSs) and how to model the dynamics of the systems, based on two types of bridge rules. We then discuss various methods for handling inconsistencies, a problem that occurs with reasoning based on multiple knowledge sources that need to be integrated, with a special focus on non-existence of equilibria.
doi:10.1007/978-3-319-48758-8_35 fatcat:2lr7e3u64zfbzk2ctk5uqhoqdq