The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
- Cite this paper as:
- Bögl M., Eiter T., Fink M., Schüller P. (2010) The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. In: Janhunen T., Niemelä I. (eds) Logics in Artificial Intelligence. JELIA 2010. Lecture Notes in Computer Science, vol 6341. Springer, Berlin, Heidelberg
The Multi-Context System Inconsistency Explainer allows for evaluation of semantics and explanation of inconsistencies in systems where heterogeneous knowledge bases are linked via nonmonotonic rules. The implementation is based on the dlvhex tool, which is an extension of answer set programming with external atoms and higher order features.
Unable to display preview. Download preview PDF.