Decomposition of Distributed Nonmonotonic Multi-Context Systems

Date Added: Jun 2010
Format: PDF

Multi-Context Systems (MCS) are formalisms that enable the inter-linkage of single knowledge bases, called contexts, via bridge rules. Recently, a fully distributed algorithm for evaluating heterogeneous, non-monotonic MCS was described. In this paper, the authors continue this line of work and present a decomposition technique for MCS which analyzes the topology of an MCS. It applies pruning techniques to get economically small representations of context dependencies. Orthogonal to this, they characterize minimal interfaces for information exchange between contexts, such that data transmissions can be minimized.