×

zbMATH — the first resource for mathematics

The mcs-ie system for explaining inconsistency in multi-context systems. (English) Zbl 1306.68203
Janhunen, Tomi (ed.) et al., Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15674-8/pbk). Lecture Notes in Computer Science 6341. Lecture Notes in Artificial Intelligence, 356-359 (2010).
Summary: 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.
For the entire collection see [Zbl 1196.68010].

MSC:
68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68T30 Knowledge representation
Software:
DLVHEX
PDF BibTeX XML Cite
Full Text: DOI