License: Creative Commons Attribution-NoDerivs 3.0 Unported license (CC BY-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ICLP.2012.469
URN: urn:nbn:de:0030-drops-36489
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2012/3648/
Go to the corresponding LIPIcs Volume Portal

Redl, Christoph

Answer Set Programming with External Sources

pdf-format:
46.pdf (0.3 MB)

Abstract

Answer Set Programming (ASP) is a well-known problem solving approach based on nonmonotonic logic programs and efficient solvers. To enable access to external information, HEX-programs extend programs with external atoms, which allow for a bidirectional communication
between the logic program and external sources of computation (e.g., description logic reasoners and Web resources). Current solvers evaluate HEX-programs by a translation to ASP itself, in which values of external atoms are guessed and verified after the ordinary answer set computation. This elegant approach does not scale with the number of external accesses in general, in particular in presence of nondeterminism (which is instrumental for ASP). Hence, there is a need
for genuine algorithms which handle external atoms as first-class citizens, which is the main focus of this PhD project.
In the first phase of the project, state-of-the-art conflict driven algorithms were already integrated into the prototype system dlvhex and extended to external sources. In particular, the evaluation of external sources may trigger a learning procedure, such that the reasoner gets additional information about the internals of external sources. Moreover, problems on the second level of the polynomial hierarchy were addressed by integrating a minimality check, based on
unfounded sets. First experimental results show already clear improvements.

BibTeX - Entry

@InProceedings{redl:LIPIcs:2012:3648,
  author =	{Christoph Redl},
  title =	{{Answer Set Programming with External Sources}},
  booktitle =	{Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
  pages =	{469--475},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-43-9},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{17},
  editor =	{Agostino Dovier and V{\'i}tor Santos Costa},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2012/3648},
  URN =		{urn:nbn:de:0030-drops-36489},
  doi =		{10.4230/LIPIcs.ICLP.2012.469},
  annote =	{Keywords: Answer Set Programming, Nonmonotonic Reasoning, External Computation, FLP Semantics}
}

Keywords: Answer Set Programming, Nonmonotonic Reasoning, External Computation, FLP Semantics
Collection: Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)
Issue Date: 2012
Date of publication: 05.09.2012

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI