Inconsistency Management in Reactive Multi-context Systems

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

http://hdl.handle.net/10362/64558

Utilize este identificador para referenciar este registo.

Nome:	Descrição:	Tamanho:	Formato:
DARe_16_5.pdf		292.95 KB	Adobe PDF	Ver/Abrir

Contacte-nos

Autores

Resumo(s)

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.