Exploiting Support Sets for Answer Set Programs with External Evaluations

Authors

  • Thomas Eiter Vienna University of Technology
  • Michael Fink Vienna University of Technology
  • Christoph Redl Vienna University of Technology
  • Daria Stepanova Vienna University of Technology

DOI:

https://doi.org/10.1609/aaai.v28i1.8874

Keywords:

Answer Set Programming, External Sources, Description Logic Programs

Abstract

Answer set programs (ASP) with external evaluations are a declarative means to capture advanced applications. However, their evaluation can be expensive due to external source accesses. In this paper we consider HEX-programs that provide external atoms as a bidirectional interface to external sources and present a novel evaluation method based on support sets, which informally are portions of the input to an external atom that will determine its output for any completion of the partial input. Support sets allow one to shortcut the external source access, which can be completely eliminated. This is particularly attractive if a compact representation of suitable support sets is efficiently constructible. We discuss some applications with this property, among them description logic programs over DL-Lite ontologies, and present experimental results showing that support sets can significantly improve efficiency.

Downloads

Published

2014-06-21

How to Cite

Eiter, T., Fink, M., Redl, C., & Stepanova, D. (2014). Exploiting Support Sets for Answer Set Programs with External Evaluations. Proceedings of the AAAI Conference on Artificial Intelligence, 28(1). https://doi.org/10.1609/aaai.v28i1.8874

Issue

Section

AAAI Technical Track: Knowledge Representation and Reasoning