Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources

• Published in: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning pp. 233 - 258
• Main Authors: Brewka, Gerhard, Eiter, Thomas, Fink, Michael
• Format: Book Chapter
• Language: English
• Published: Berlin, Heidelberg Springer Berlin Heidelberg 2011
• Series: Lecture Notes in Computer Science
• Subjects: Argumentation Framework; Belief State; Description Logic; Logic Program; MultiAgent System
• ISBN: 3642208312; 9783642208317
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/978-3-642-20832-4_16

In this paper we give an overview on multi-context systems (MCS) with a special focus on their recent nonmonotonic extensions. MCS provide a flexible, principled account of integrating heterogeneous knowledge sources. By a knowledge source we mean a knowledge base formulated in any of the typical knowledge representation languages, including classical logic, description logics, modal or temporal logics, but also nonmonotonic formalisms like logic programs under answer set semantics or default logic. We will motivate the need for such systems, describe what has been achieved in this area, but we also discuss work in progress and introduce generalizations of the existing framework which we consider useful.