Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
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.
Original language | English |
---|---|
Title of host publication | Principles and Practice of Constraint Programming : 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings |
Editors | Helmut Simonis |
Number of pages | 18 |
Publisher | Springer |
Publication date | 2020 |
Pages | 917-934 |
ISBN (Print) | 9783030584740 |
DOIs | |
Publication status | Published - 2020 |
Event | 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 - Louvain-la-Neuve, Belgium Duration: 7 Sep 2020 → 11 Sep 2020 |
Conference
Conference | 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 |
---|---|
Land | Belgium |
By | Louvain-la-Neuve |
Periode | 07/09/2020 → 11/09/2020 |
Series | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 12333 LNCS |
ISSN | 0302-9743 |
- Automated planning, Binarized neural networks, Cutting planes reasoning, Mathematical optimization, Pseudo-Boolean optimization, Symmetry
Research areas
ID: 251866895