[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

S. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Decomposition of Distributed Nonmonotonic Multi-Context Systems";
Vortrag: International Workshop on Non-Monotonic Reasoning (NMR), Toronto, Canada; 14.05.2010 - 16.05.2010; in: "13th International Workshop on Non-Monotonic Reasoning", T. Meyer, E. Ternovska (Hrg.); Toronto (2010), 7 S.



Kurzfassung englisch:
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.

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


Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Modulare HEX-Programme

Projektleitung Michael Fink:
Inconsistency Management for Knowledge-Integration Systems


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.