Inconsistency Management in Reactive Multi-context Systems

  • Gerhard Brewka
  • Stefan Ellmauthaler
  • Ricardo Gonçalves
  • Matthias Knorr
  • João Leite
  • Jörg Pührer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10021)


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.


Belief Revision Input Stream Strong Consistency Knowledge Change Inconsistent State 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



R. Gonçalves, M. Knorr and J. Leite were partially supported by FCT strategic project NOVA LINCS (UID/CEC/04516/2013). R. Gonçalves was partially supported by FCT grant SFRH/BPD/100906/2014 and M. Knorr by FCT grant SFRH/BPD/86970/2012. G. Brewka, S. Ellmauthaler, and J. Pührer were partially supported by the German Research Foundation (DFG) grants BR-1817/7-1 and FOR 1513.


  1. 1.
    Alferes, J.J., Brogi, A., Leite, J., Moniz Pereira, L.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 50–61. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  2. 2.
    Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Vianu, V., Papadimitriou, C.H. (eds.) Proceedings of ACM SIGACT-SIGMOD-SIGART, pp. 68–79. ACM Press (1999)Google Scholar
  3. 3.
    Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceedings of AAAI, pp. 385–390. AAAI Press (2007)Google Scholar
  4. 4.
    Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) Proceedings of IJCAI, pp. 786–791. IJCAI/AAAI (2011)Google Scholar
  5. 5.
    Brewka, G., Ellmauthaler, S., Gonçalves, R., Knorr, M., Leite, J., Pührer, J.: Reactive multi-context systems: heterogeneous reasoning in dynamic environments (2016).
  6. 6.
    Brewka, G., Ellmauthaler, S., Pührer, J.: Multi-context systems for reactive reasoning in dynamic environments. In: Proceedings of ECAI, pp. 159–164 (2014)Google Scholar
  7. 7.
    Brewka, G., Roelofsen, F., Serafini, L.: Contextual default reasoning. In: Veloso, M.M. (ed.) Proceedings of IJCAI, pp. 268–273 (2007)Google Scholar
  8. 8.
    Eiter, T., Fink, M., Schüller, P., Weinzierl, A.: Finding explanations of inconsistency in multi-context systems. Artif. Intell. 216, 233–274 (2014)MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    Ellmauthaler, S.: Generalizing multi-context systems for reactive stream reasoning applications. In: Jones, A.V., Ng, N. (eds.) Proceedings of ICCSW, OASICS, vol. 35, pp. 19–26. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2013)Google Scholar
  10. 10.
    Ellmauthaler, S., Pührer, J.: Asynchronous multi-context systems. In: Eiter, T., Strass, H., Truszczyński, M., Woltran, S. (eds.) Advances in Knowledge Representation. LNCS, vol. 9060, pp. 141–156. Springer, Heidelberg (2015)Google Scholar
  11. 11.
    Fink, M.: Paraconsistent hybrid theories. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Proceedings of KR. AAAI Press (2012)Google Scholar
  12. 12.
    Gonçalves, R., Knorr, M., Leite, J.: Evolving bridge rules in evolving multi-context systems. In: Bulling, N., van der Torre, L., Villata, S., Jamroga, W., Vasconcelos, W. (eds.) CLIMA 2014. LNCS, vol. 8624, pp. 52–69. Springer, Heidelberg (2014)Google Scholar
  13. 13.
    Gonçalves, R., Knorr, M., Leite, J.: Evolving multi-context systems. In: Proceedings of ECAI, pp. 375–380 (2014)Google Scholar
  14. 14.
    Gonçalves, R., Knorr, M., Leite, J.: Minimal change in evolving multi-context systems. In: Pereira, F., Machado, P., Costa, E., Cardoso, A. (eds.) EPIA 2015. LNCS, vol. 9273, pp. 611–623. Springer, Heidelberg (2015)Google Scholar
  15. 15.
    Kaminski, T., Knorr, M., Leite, J.: Efficient paraconsistent reasoning with ontologies and rules. In: Yang, Q., Wooldridge, M. (eds.) Proceedings of IJCAI, pp. 3098–3105. AAAI Press (2015)Google Scholar
  16. 16.
    Knorr, M., Gonçalves, R., Leite, J.: On efficient evolving multi-context systems. In: Pham, D.-N., Park, S.-B. (eds.) PRICAI 2014. LNCS, vol. 8862, pp. 284–296. Springer, Heidelberg (2014)Google Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Gerhard Brewka
    • 1
  • Stefan Ellmauthaler
    • 1
  • Ricardo Gonçalves
    • 2
  • Matthias Knorr
    • 2
  • João Leite
    • 2
  • Jörg Pührer
    • 1
  1. 1.Institute of Computer ScienceLeipzig UniversityLeipzigGermany
  2. 2.NOVA LINCS & Departamento de InformáticaUniversidade NOVA de LisboaCaparicaPortugal

Personalised recommendations