Sökning: onr:"swepub:oai:DiVA.org:hj-63558" >
Large-Neighbourhood...
Large-Neighbourhood Search for Optimisation in Answer-Set Solving
-
- 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
-
- Ruiz, Nelson Higuera (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, Vienna, 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)
- Association for the Advancement of Artificial Intelligence, 2022
- 2022
- Engelska.
-
Ingår i: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022. - : Association for the Advancement of Artificial Intelligence. - 1577358767 - 9781577358763 ; , s. 5616-5625
- Relaterad länk:
-
https://urn.kb.se/re...
Abstract
Ämnesord
Stäng
- While Answer-Set Programming (ASP) is a prominent approach to declarative problem solving, optimisation problems can still be a challenge for it. Large-Neighbourhood Search (LNS) is a metaheuristic for optimisation where parts of a solution are alternately destroyed and reconstructed that has high but untapped potential for ASP solving. We present a framework for LNS optimisation in answer-set solving in which neighbourhoods can be specified either declaratively as part of the ASP encoding or automatically generated by code. To effectively explore different neighbourhoods, we focus on multi-shot solving as it allows to avoid program regrounding. We illustrate the framework on different optimisation problems some of which are notoriously difficult, including shift planning and a parallel machine scheduling problem from semi-conductor production, which demonstrate the effectiveness of the LNS approach.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Logic programming
- Answer set programming
- Answer Set Solving
- Declarative problem solving
- Encodings
- Large neighbourhood searches
- Metaheuristic
- Neighbourhood
- Optimisations
- Optimization problems
- Search optimization
- Optimization
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas