Inconsistency Management in Reactive Multi-context Systems

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

doi:10.1007/978-3-319-48758-8_35

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 proceeding › Conference contribution › peer-review

3 Citations (Scopus)

18 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 language	English
Title of host publication	LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016)
Editors	L. Michael, A. Kakas
Place of Publication	Cham
Publisher	Springer International Publishing
Pages	529-535
Number of pages	7
ISBN (Electronic)	978-3-319-48758-8
ISBN (Print)	978-3-319-48757-1
DOIs	https://doi.org/10.1007/978-3-319-48758-8_35
Publication status	Published - 2016
Event	15th European Conference on Logics in Artificial Intelligence (JELIA) - Larnaca, Cyprus Duration: 9 Nov 2016 → 11 Nov 2016

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer International Publishing
Volume	10021
ISSN (Print)	0302-9743

Conference

Conference	15th European Conference on Logics in Artificial Intelligence (JELIA)
Country/Territory	Cyprus
City	Larnaca
Period	9/11/16 → 11/11/16

Keywords

Belief Revision
Input Stream
Strong Consistency
Knowledge Change
Inconsistent State

Access to Document

10.1007/978-3-319-48758-8_35Licence: Unspecified

DARe-16_5Proof, 293 KBLicence: Unspecified

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). Springer International Publishing. https://doi.org/10.1007/978-3-319-48758-8_35

@inproceedings{83294b56eb134dffa43cd9319fbe4193,

title = "Inconsistency Management in Reactive Multi-context Systems",

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.",

keywords = "Belief Revision , Input Stream , Strong Consistency , Knowledge Change , Inconsistent State ",

author = "Gerhard Brewka and Stefan Ellmauthaler and Ricardo Gon{\c c}alves and Matthias Knorr and Joao Leite and Joerg Puehrer",

note = "info:eu-repo/grantAgreement/FCT/5876/147279/PT# FCT grant SFRH/BPD/100906/2014 and M. Knorr by FCT grant SFRH/BPD/86970/2012. German Research Foundation (DFG) grants BR-1817/7-1 and FOR 1513; 15th European Conference on Logics in Artificial Intelligence (JELIA) ; Conference date: 09-11-2016 Through 11-11-2016",

year = "2016",

doi = "10.1007/978-3-319-48758-8_35",

language = "English",

isbn = "978-3-319-48757-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing",

pages = "529--535",

editor = "L. Michael and A. Kakas",

booktitle = "LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016)",

address = "Switzerland",

}

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). Lecture Notes in Computer Science, vol. 10021, Springer International Publishing, Cham, pp. 529-535, 15th European Conference on Logics in Artificial Intelligence (JELIA), Larnaca, Cyprus, 9/11/16. https://doi.org/10.1007/978-3-319-48758-8_35

Inconsistency Management in Reactive Multi-context Systems. / Brewka, Gerhard; Ellmauthaler, Stefan; Gonçalves, Ricardo et al.
LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016). ed. / L. Michael; A. Kakas. Cham: Springer International Publishing, 2016. p. 529-535 (Lecture Notes in Computer Science; Vol. 10021).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Inconsistency Management in Reactive Multi-context Systems

AU - Brewka, Gerhard

AU - Ellmauthaler, Stefan

AU - Gonçalves, Ricardo

AU - Knorr, Matthias

AU - Leite, Joao

AU - Puehrer, Joerg

N1 - info:eu-repo/grantAgreement/FCT/5876/147279/PT# FCT grant SFRH/BPD/100906/2014 and M. Knorr by FCT grant SFRH/BPD/86970/2012. German Research Foundation (DFG) grants BR-1817/7-1 and FOR 1513

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

KW - Belief Revision

KW - Input Stream

KW - Strong Consistency

KW - Knowledge Change

KW - Inconsistent State

U2 - 10.1007/978-3-319-48758-8_35

DO - 10.1007/978-3-319-48758-8_35

M3 - Conference contribution

SN - 978-3-319-48757-1

T3 - Lecture Notes in Computer Science

SP - 529

EP - 535

BT - LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016)

A2 - Michael, L.

A2 - Kakas, A.

PB - Springer International Publishing

CY - Cham

T2 - 15th European Conference on Logics in Artificial Intelligence (JELIA)

Y2 - 9 November 2016 through 11 November 2016

ER -

Inconsistency Management in Reactive Multi-context Systems

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this