REINFORCED ENCODING FOR PLANNING AS SAT
Solving planning problems via translation to satisfiability (SAT) is one of the most successful approaches to automated planning. We propose a new encoding scheme, called Reinforced Encoding, which encodes a planning problem represented in the SAS+ formalism into SAT. The Reinforced Encoding is a co...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Czech Technical University in Prague
2015-12-01
|
| Series: | Acta Polytechnica CTU Proceedings |
| Online Access: | https://ojs.cvut.cz/ojs/index.php/APP/article/view/3392 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Solving planning problems via translation to satisfiability (SAT) is one of the most successful approaches to automated planning. We propose a new encoding scheme, called Reinforced Encoding, which encodes a planning problem represented in the SAS+ formalism into SAT. The Reinforced Encoding is a combination of the transition-based SASE encoding with the classical propositional encoding. In our experiments we compare our new encoding to other known SAS+ based encodings. The results indicate, that he Reinforced encoding performs well on the benchmark problems of the 2011 International Planning Competition and can outperform all the other known encodings for several domains. |
|---|---|
| ISSN: | 2336-5382 |