Talks and Poster Presentations (with Proceedings-Entry):
T. Eiter, M. Fink, T. Krennwallner:
"Decomposition of Declarative Knowledge Bases with External Functions";
Talk: 21st International Joint Conference on Artificial Intelligence (IJCAI 2009),
Pasadena, California, U.S.A.;
2009-07-11
- 2009-07-17; in: "Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09)",
C. Boutilier (ed.);
AAAI Press,
Menlo Park, California, U.S.A.
(2009),
752
- 758.
English abstract:
We present a method to decompose a declarative knowledge base, given by a logic program under Answer Set Semantics with access to external sources. It overcomes the ineffectiveness of current methods due to a lack of structural information about these sources, viewed as
black boxes, by exploiting independency information in accesses to them. To this end, we develop a generic notion of domain independence that allows to restrict the evaluation domain and, as a consequence, to prune unnecessary dependency assumptions between atoms. This leads to increased decomposability; we demonstrate this by an evaluation method for HEX-programs based on program rewriting, which may yield large performance gains. While developed for a particular formalism, the notions and ideas of this paper might be adapted to related formalisms as well.
Keywords:
Knowledge Representation, Nonmonotonic Reasoning, Logic Programming
Electronic version of the publication:
http://ijcai.org/papers09/Papers/IJCAI09-130.pdf
Related Projects:
Project Head Thomas Eiter:
Modulare HEX-Programme
Project Head Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs
Project Head Thomas Eiter:
Schließen in hybriden Wissensbasen
Project Head Michael Fink:
Inconsistency Management for Knowledge-Integration Systems
Created from the Publication Database of the Vienna University of Technology.