Stammdaten

Degrees of Laziness in Grounding
Untertitel: Effects of Lazy-Grounding Strategies on ASP Solving
Kurzfassung:

The traditional ground-and-solve approach to Answer Set Programming (ASP) suffers from the grounding bottleneck, which makes large-scale problem instances unsolvable. Lazy grounding is an alternative approach that interleaves grounding with solving and thus uses space more efficiently. The limited view on the search space in lazy grounding poses unique challenges, however, and can have adverse effects on solving performance. In this paper we present a novel characterization of degrees of laziness in grounding for ASP, i.e. of compromises between lazily grounding as little as possible and the traditional full grounding upfront. We investigate how these degrees of laziness compare to each other formally as well as, by means of an experimental analysis using a number of benchmarks, in terms of their effects on solving performance. Our contributions are the introduction of a range of novel lazy grounding strategies, a formal account on their relationships and their correctness, and an investigation of their effects on solving performance. Experiments show that our approach performs significantly better than state-of-the-art lazy grounding in many cases.

Schlagworte: Answer Set Programming, Lazy grounding, Heuristics
Publikationstyp: Abstract (Autorenschaft)
Art der Veröffentlichung Online Publikation
Erschienen in: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019)
International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019)
zur Publikation
 ( Springer; M. Balduccini, Y. Lierler, S. Woltran )
Erscheinungdatum: 03.06.2019
Titel der Serie: -
Bandnummer: -
Heftnummer: 11481
Erstveröffentlichung: Ja
Version: -
Seite: S. 298 - 311

Identifikatoren

ISBN: -
ISSN: -
DOI: -
AC-Nummer: -
Homepage: https://link.springer.com/chapter/10.1007/978-3-030-20528-7_22
Open Access
  • Online verfügbar (Open Access)

Zuordnung

Organisation Adresse
Fakultät für Technische Wissenschaften
 
Institut für Angewandte Informatik
Universitätsstr. 65-67
A-9020  Klagenfurt
Österreich
  -993705
   ainf@aau.at
https://www.aau.at/angewandte-informatik/
zur Organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Kategorisierung

Sachgebiete
  • 1020 - Informatik
Forschungscluster
  • Selbstorganisierende Systeme
Peer Reviewed
  • Ja
Publikationsfokus
  • Science to Science (Qualitätsindikator: I)
Klassifikationsraster der zugeordneten Organisationseinheiten:
Arbeitsgruppen
  • Intelligente Systeme und Wirtschaftsinformatik

Kooperationen

Organisation Adresse
TU Wien
Österreich
AT  

Beiträge der Publikation

Keine verknüpften Publikationen vorhanden