[Back]


Talks and Poster Presentations (with Proceedings-Entry):

S. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Decomposition of Distributed Nonmonotonic Multi-Context Systems";
Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 2010-09-13 - 2010-09-15; in: "12th European Conference on Logics in Artificial Intelligence", T. Janhunen, I. Niemelä (ed.); Springer, 6341 (2010), 24 - 37.



English abstract:
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, nonmonotonic MCS was described in [7]. In this paper, we 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, we characterize minimal interfaces for information exchange between contexts, such that data transmissions can be minimized. We then present a novel evaluation algorithm that operates on a query plan which is compiled with topology pruning and interface minimization. The effectiveness of the optimization techniques is demonstrated by a prototype implementation, which uses an off-the-shelf SAT solver and shows encouraging experimental results.

Keywords:
Answer Set Programming, Nonmonotonic Reasoning, Multi-Context System, Decentralized Model Computation


"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-15675-5_5



Related Projects:
Project Head Thomas Eiter:
Modulare HEX-Programme

Project Head Thomas Eiter:
Net2¿A Network for Enabling Networked Knowledge

Project Head Michael Fink:
Inconsistency Management for Knowledge-Integration Systems


Created from the Publication Database of the Vienna University of Technology.