Sökning: WFRF:(Musliu Nysret) >
ALASPO :
ALASPO : An Adaptive Large-Neighbourhood ASP Optimiser
-
- Eiter, Thomas (författare)
- Institute for Logic and Computation, TU Wien, Vienna, Austria
-
- Geibinger, Tobias (författare)
- Institute for Logic and Computation, TU Wien, Vienna, Austria
-
- Higuera, Nelson (författare)
- Institute for Logic and Computation, TU Wien, Vienna, Austria
-
visa fler...
-
- Musliu, Nysret (författare)
- Institute for Logic and Computation, TU Wien, Vienna, Austria; CD-Lab Artis, TU Wien, Austria
-
- Oetsch, Johannes (författare)
- Institute for Logic and Computation, TU Wien, Vienna, Austria
-
- Stepanova, Daria (författare)
- Bosch Center for AI, Renningen, Germany
-
visa färre...
-
(creator_code:org_t)
- IJCAI Organization, 2022
- 2022
- Engelska.
-
Ingår i: KR 2022. - : IJCAI Organization. - 9781956792010 ; , s. 565-569
- Relaterad länk:
-
https://urn.kb.se/re...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Knowledge representation
- Logic programming
- Adaptive large neighborhood searches
- Answer set programming
- Efficient implementation
- Integer constraints
- Large neighbourhood
- Large neighbourhood searches
- Metaheuristic
- Multi-shot
- Neighbourhood
- Optimisations
- Optimization
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
-
KR 2022
(Sök värdpublikationen i LIBRIS)
Till lärosätets databas