ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser

Eiter, ThomasInstitute for Logic and Computation, TU Wien, Vienna, Austria (författare)

ALASPO : An Adaptive Large-Neighbourhood ASP Optimiser

We present the system ALASPO which implements Adaptive Large-neighbourhood search for Answer Set Programming (ASP) Optimisation. Large-neighbourhood search (LNS) is a meta-heuristic where parts of a solution are destroyed and reconstructed in an attempt to improve an overall objective. ALASPO currently supports the ASP solver clingo, as well as its extensions clingo-dl and clingcon for difference and full integer constraints, and multi-shot solving for an efficient implementation of the LNS loop. Neighbourhoods can be defined in code or declaratively as part of the ASP encoding. While the method underlying ALASPO has been described in previous work, ALASPO also incorporates portfolios for the LNS operators along with self-adaptive selection strategies as a technical novelty. This improves usability considerably at no loss of solution quality, but on the contrary often yields benefits. To demonstrate this, we evaluate ALASPO on different optimisation benchmarks.

Geibinger, TobiasInstitute for Logic and Computation, TU Wien, Vienna, Austria (författare)
Higuera, NelsonInstitute for Logic and Computation, TU Wien, Vienna, Austria (författare)
Musliu, NysretInstitute for Logic and Computation, TU Wien, Vienna, Austria; CD-Lab Artis, TU Wien, Austria (författare)
Oetsch, JohannesInstitute for Logic and Computation, TU Wien, Vienna, Austria(Swepub:hj)oetjoh (författare)
Stepanova, DariaBosch Center for AI, Renningen, Germany (författare)
Institute for Logic and Computation, TU Wien, Vienna, AustriaInstitute for Logic and Computation, TU Wien, Vienna, Austria; CD-Lab Artis, TU Wien, Austria (creator_code:org_t)

Av författaren/redakt...: Eiter, Thomas; Geibinger, Tobia ...; Higuera, Nelson; Musliu, Nysret; Oetsch, Johannes; Stepanova, Daria

Om ämnet

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.