Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
Anytime answer set optimization via unsatisfiable core shrinking
Beteiligte:
ALVIANO, MARIO;
DODARO, CARMINE
Erschienen:
Cambridge University Press (CUP), 2016
Erschienen in:Theory and Practice of Logic Programming
Sprache:
Englisch
DOI:
10.1017/s147106841600020x
ISSN:
1471-0684;
1475-3081
Entstehung:
Anmerkungen:
Beschreibung:
<jats:title>Abstract</jats:title><jats:p>Unsatisfiable core analysis can boost the computation of optimum stable models for logic programs with weak constraints. However, current solvers employing unsatisfiable core analysis either run to completion, or provide no suboptimal stable models but the one resulting from the preliminary disjoint cores analysis. This drawback is circumvented here by introducing a progression based shrinking of the analyzed unsatisfiable cores. In fact, suboptimal stable models are possibly found while shrinking unsatisfiable cores, hence resulting into an anytime algorithm. Moreover, as confirmed empirically, unsatisfiable core analysis also benefits from the shrinking process in terms of solved instances.</jats:p>