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: International Workshop on Non-Monotonic Reasoning (NMR), Toronto, Canada; 2010-05-14 - 2010-05-16; in: "13th International Workshop on Non-Monotonic Reasoning", T. Meyer, E. Ternovska (ed.); Toronto (2010), 7 pages.



English abstract:
Multi-context systems (MCS) are formalisms that enable the
interlinkage of single knowledge bases, called contexts, via bridge
rules. Recently, the evaluation of heterogeneous, nonmonotonic MCS was
considered in Dao-Tran et al. (2010), where a fully distributed
algorithm was described. 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


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

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


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