Inconsistency Management in Reactive Multi-context Systems

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, Joao Leite, Joerg Puehrer

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Citations (Scopus)
3 Downloads (Pure)


We address the problem of global inconsistency in reactive multi-context systems (rMCSs), a framework for reactive reasoning in the presence of heterogeneous knowledge sources that can deal with continuous input streams. Their semantics is given in terms of equilibria streams. The occurrence of inconsistencies, where rMCSs fail to have an equilibria stream, can render the entire system useless. We discuss various methods for handling this problem, following different strategies such as repairing the rMCS, or even relaxing the notion of equilibria stream so that it can go through inconsistent states.
Original languageEnglish
Title of host publicationLOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016)
EditorsL. Michael, A. Kakas
Place of PublicationCham
PublisherSpringer International Publishing
Number of pages7
ISBN (Electronic)978-3-319-48758-8
ISBN (Print)978-3-319-48757-1
Publication statusPublished - 2016
Event15th European Conference on Logics in Artificial Intelligence (JELIA) - Larnaca, Cyprus
Duration: 9 Nov 201611 Nov 2016

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing
ISSN (Print)0302-9743


Conference15th European Conference on Logics in Artificial Intelligence (JELIA)
City Larnaca


  • Belief Revision
  • Input Stream
  • Strong Consistency
  • Knowledge Change
  • Inconsistent State


Dive into the research topics of 'Inconsistency Management in Reactive Multi-context Systems'. Together they form a unique fingerprint.

Cite this