Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning(2011)
摘要
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.
更多查看译文
关键词
classical logic,temporal logic,description logic,flexible approach,typical knowledge representation language,knowledge base,nonmonotonic multi-context system,nonmonotonic formalisms,knowledge source,heterogeneous knowledge source,logic program,default logic
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络