License: 
Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.ICLP.2016.9
URN: urn:nbn:de:0030-drops-67393
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2016/6739/
Gebser, Martin ;
Kaminski, Roland ;
Kaufmann, Benjamin ;
Lühne, Patrick ;
Romero, Javier ;
Schaub, Torsten
Answer Set Solving with Generalized Learned Constraints
Abstract
Conflict learning plays a key role in modern Boolean constraint solving. Advanced in satisfiability testing, it has meanwhile become a base technology in many neighboring fields, among them answer set programming (ASP). However, learned constraints are only valid for a currently solved problem instance and do not carry over to similar instances. We address this issue in ASP and introduce a framework featuring an integrated feedback loop that allows for reusing conflict constraints. The idea is to extract (propositional) conflict constraints, generalize and validate them, and reuse them as integrity constraints. Although we explore our approach in the context of dynamic applications based on transition systems, it is driven by the ultimate objective of overcoming the issue that learned knowledge is bound to specific problem instances. We implemented this workflow in two systems, namely, a variant of the ASP solver clasp that extracts integrity constraints along with a downstream system for generalizing and validating them.
BibTeX - Entry
@InProceedings{gebser_et_al:OASIcs:2016:6739,
author = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Patrick L{\"u}hne and Javier Romero and Torsten Schaub},
title = {{Answer Set Solving with Generalized Learned Constraints}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {9:1--9:15},
series = {OpenAccess Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Manuel Carro and Andy King and Neda Saeedloei and Marina De Vos},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6739},
URN = {urn:nbn:de:0030-drops-67393},
doi = {10.4230/OASIcs.ICLP.2016.9},
annote = {Keywords: Answer Set Programming, Conflict Learning, Constraint Generalization, Generalized Constraint Feedback}
}
|
Keywords: |
|
Answer Set Programming, Conflict Learning, Constraint Generalization, Generalized Constraint Feedback |
|
Collection: |
|
Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016) |
|
Issue Date: |
|
2016 |
|
Date of publication: |
|
11.11.2016 |
