[Back]

C. Redl, T. Eiter, T. Krennwallner:
"Declarative Belief Set Merging using Merging Plans";
Talk: Internaional Symposium on Practical Aspects of Declarative Languages (PADL), Austin, Texas, U.S.A.; 2011-01-24 - 2011-01-25; in: "13th International Symposium on Practical Aspects of Declarative Languages (PADL 2011)", R. Rocha, J. Launchbury (ed.); Springer, 6539 (2011), ISBN: 978-3-642-18377-5; 99 - 114.

We present a declarative framework for belief set merging tasks over (possibly heterogeneous) knowledge bases, where belief sets are sets of literals. The framework is designed generically for flexible deployment to a range of applications, and allows to specify complex merging tasks in tree-structured merging plans, whose leaves are the possible belief sets of the knowledge bases that are processed using merging operators. A prototype is implemented in MELD (MErging Library for Dlvhex) on top of the DLVHEX system for HEX-programs, which are nonmonotonic logic programs with access to external sources. Plans in the task description language allow to formulate different conflict resolution strategies, and by shared object libraries, the user may also develop and integrate her own merging operators. MELD supports rapid prototyping of merging tasks, providing a computational backbone such that users can focus on operator optimization and evaluation, and on experimenting with merging strategies; this is particularly useful if a best merging operator or strategy is not known. Example applications are combining multiple decision diagrams (e.g., in biomedicine), judgment aggregation in social choice theory, and ontology merging.

Answer Set Programming, Belief Merging, Hybrid Knowledge Base, HEX-Programs

http://dx.doi.org/10.1007/978-3-642-18378-2_10

Project Head Thomas Eiter:
Evaluierung von ASP Programming mit Externen Zugriffen

Project Head Thomas Eiter:
Modulare HEX-Programme

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