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 contribution

3 Citations (Scopus)
2 Downloads (Pure)

Abstract

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
Pages529-535
Number of pages7
ISBN (Electronic)978-3-319-48758-8
ISBN (Print)978-3-319-48757-1
DOIs
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
Volume10021
ISSN (Print)0302-9743

Conference

Conference15th European Conference on Logics in Artificial Intelligence (JELIA)
CountryCyprus
City Larnaca
Period9/11/1611/11/16

Keywords

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

Cite this

Brewka, G., Ellmauthaler, S., Gonçalves, R., Knorr, M., Leite, J., & Puehrer, J. (2016). Inconsistency Management in Reactive Multi-context Systems. In L. Michael, & A. Kakas (Eds.), LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016) (pp. 529-535). (Lecture Notes in Computer Science; Vol. 10021). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-48758-8_35