WFRF:(Simonis J.)
Sökning: WFRF:(Simonis J.) > Theoretical and Exp...
- 16 av 18
- Föregående post
- Nästa post
- Till träfflistan
Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models
-
- Say, Buser (författare)
- Monash University
-
- Devriendt, Jo (författare)
- Lund University,Lunds universitet,Institutionen för datavetenskap,Institutioner vid LTH,Lunds Tekniska Högskola,Department of Computer Science,Departments at LTH,Faculty of Engineering, LTH,University of Copenhagen
-
- Nordström, Jakob (författare)
- Lund University,Lunds universitet,Institutionen för datavetenskap,Institutioner vid LTH,Lunds Tekniska Högskola,Department of Computer Science,Departments at LTH,Faculty of Engineering, LTH,University of Copenhagen
- visa fler...
- Simonis, Helmut (redaktör/utgivare)
- visa färre...
- (creator_code:org_t)
- 2020-09-02
- 2020
- Engelska 18 s.
- Ingår i: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Proceedings. - Cham : Springer International Publishing. - 1611-3349 .- 0302-9743. - 9783030584740 ; 12333, s. 917-934
- Konferensbidrag (refereegranskat)
Abstract
Ämnesord
Stäng
- We study planning problems where the transition function is described by a learned binarized neural network (BNN). Theoretically, we show that feasible planning with a learned BNN model is NP-complete, and present two new constraint programming models of this task as a mathematical optimization problem. Experimentally, we run solvers for constraint programming, weighted partial maximum satisfiability, 0–1 integer programming, and pseudo-Boolean optimization, and observe that the pseudo-Boolean solver outperforms previous approaches by one to two orders of magnitude. We also investigate symmetry handling for planning problems with learned BNNs over long horizons. While the results here are less clear-cut, we see that exploiting symmetries can sometimes reduce the running time of the pseudo-Boolean solver by up to three orders of magnitude.
Ämnesord
- NATURVETENSKAP -- Matematik -- Beräkningsmatematik (hsv//swe)
- NATURAL SCIENCES -- Mathematics -- Computational Mathematics (hsv//eng)
Nyckelord
- Automated planning
- Binarized neural networks
- Cutting planes reasoning
- Mathematical optimization
- Pseudo-Boolean optimization
- Symmetry
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
- Principles and Practice of Constraint Programming - 26th International Conferenc... (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 16 av 18
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Say, Buser
- Devriendt, Jo
- Nordström, Jakob
- Stuckey, Peter J ...
- Simonis, Helmut
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Matematik
- och Beräkningsmatema ...
- Artiklar i publikationen
- Principles and P ...
- Av lärosätet
- Lunds universitet
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
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.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
