Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
T. Eiter, M. Fink, T. Krennwallner:
"Decomposition of Declarative Knowledge Bases with External Functions";
Vortrag: 21st International Joint Conference on Artificial Intelligence (IJCAI 2009),
Pasadena, California, U.S.A.;
11.07.2009
- 17.07.2009; in: "Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09)",
C. Boutilier (Hrg.);
AAAI Press,
Menlo Park, California, U.S.A.
(2009),
S. 752
- 758.
Kurzfassung englisch:
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.
Schlagworte:
Knowledge Representation, Nonmonotonic Reasoning, Logic Programming
Elektronische Version der Publikation:
http://ijcai.org/papers09/Papers/IJCAI09-130.pdf
Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Modulare HEX-Programme
Projektleitung Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs
Projektleitung Thomas Eiter:
Schließen in hybriden Wissensbasen
Projektleitung Michael Fink:
Inconsistency Management for Knowledge-Integration Systems
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.