Inconsistency management in reactive multi-context systems

Gerhard BrewkaGerhard Brewka, Stefan EllmauthalerStefan Ellmauthaler, Ricardo GonçalvesRicardo Gonçalves, Matthias KnorrMatthias Knorr, João LeiteJoão Leite, Jörg PührerJörg Pührer

DOI Link

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Inconsistency management in reactive multi-context systems
In Loizos Michael, Antonis C. Kakas, eds., 15th European Conferenceon Logics in Artificial Intelligence (JELIA 2016), volume 10021 of Lecture Notes in Computer Science, 529-535, 2016. Springer

Details
Bibtex

KurzfassungAbstract
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.
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-48758-8_35.

@inproceedings{BEGKLP2016,
  author    = {Gerhard Brewka and Stefan Ellmauthaler and Ricardo
               Gon{\c{c}}alves and Matthias Knorr and Jo{\~{a}}o Leite and
               J{\"{o}}rg P{\"{u}}hrer},
  title     = {Inconsistency management in reactive multi-context systems},
  editor    = {Loizos Michael and Antonis C. Kakas},
  booktitle = {15th European Conferenceon Logics in Artificial Intelligence
               (JELIA 2016)},
  series    = {Lecture Notes in Computer Science},
  volume    = {10021},
  publisher = {Springer},
  year      = {2016},
  pages     = {529-535},
  doi       = {10.1007/978-3-319-48758-8_35}
}