REINFORCED ENCODING FOR PLANNING AS SAT

Authors

  • Tomáš Balyo Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University, Malostranske namesti 2/25, Praha 1, Czech Republic
  • Roman Barták Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University, Malostranske namesti 2/25, Praha 1, Czech Republic
  • Otakar Trunda Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University, Malostranske namesti 2/25, Praha 1, Czech Republic

DOI:

https://doi.org/10.14311/APP.2015.1.0001

Abstract

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.

Downloads

Published

2015-12-31

Issue

Vol. 2 No. 2 (2015): PAIR'14 / PAIR'15 STUDENT CONFERENCES ON PLANNING IN ARTIFICIAL INTELLIGENCE AND ROBOTICS

Section

Articles

License

Copyright notice

Authors who publish with this journal agree to the following terms:

1. Authors retain copyright and grant the journal the right of the first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
2. Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., to post it to an institutional repository or to publish it in a book), with an acknowledgement of its initial publication in this journal.
3. Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges as well as earlier and greater citation of the published work (See The Effect of Open Access).