Managed Multi-Context Systems

Brewka, Gerhard; Eiter, Thomas; Fink, Michael; Weinzierl, Antonius

doi:10.5591/978-1-57735-516-8/IJCAI11-138

Managed Multi-Context Systems

Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 786-790.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-138

Abstract

Multi-context systems (MCS) are a powerful framework for interlinking heterogeneous knowledge sources. They model the flow of information among different reasoning components (called contexts) in a declarative way, using so-called bridge rules, where contexts and bridge rules may be nonmonotonic. We considerably generalize MCS to managed MCS (mMCS): while the original bridge rules can only add information to contexts, our generalization allows arbitrary operations on context knowledge bases to be freely defined, e.g., deletion or revision operators. The paper motivates and introduces the generalized framework and presents several interesting instances. Furthermore, we consider inconsistency management in mMCS and complexity issues.

Gerhard Brewka, Thomas Eiter, Michael Fink, and Antonius Weinzierl. 2011. Managed Multi-Context Systems. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 786–790. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-138

@inproceedings{ijcai2011p138,
  title     = {Managed Multi-Context Systems},
  author    = {Brewka, Gerhard and Eiter, Thomas and Fink, Michael and Weinzierl, Antonius},
  booktitle = {Proceedings of the Twenty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-11}},
  publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
  editor    = {Toby Walsh},
  pages     = {786--790},
  year      = {2011},
  month     = {7},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-138},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-138},
}

TY  - CPAPER
TI  - Managed Multi-Context Systems
AU  - Brewka, Gerhard
AU  - Eiter, Thomas
AU  - Fink, Michael
AU  - Weinzierl, Antonius
T2  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11
PB  - AAAI Press/International Joint Conferences on Artificial Intelligence
PY  - 2011
SP  - 786
EP  - 790
DO  - 10.5591/978-1-57735-516-8/IJCAI11-138
UR  - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-138
ER  -