No One SATPlan Encoding To Rule Them All
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F15%3A10319144" target="_blank" >RIV/00216208:11320/15:10319144 - isvavai.cz</a>
Result on the web
<a href="https://www.aaai.org/ocs/index.php/SOCS/SOCS15/paper/viewFile/10823/10646" target="_blank" >https://www.aaai.org/ocs/index.php/SOCS/SOCS15/paper/viewFile/10823/10646</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
No One SATPlan Encoding To Rule Them All
Original language description
Solving planning problems via translation to propositional satisfiability (SAT) is one of the most successful approaches to automated planning. An important aspect of this approach is the encoding, i.e., the construction of a propositional formula from agiven planning problem instance. Numerous encoding schemes have been proposed in the recent years each aiming to outperform the previous encodings on the majority of the benchmark problems. In this paper we take a different approach. Instead of trying to develop a new encoding that is better for all kinds of benchmarks we take recently developed specialized encoding schemes and design a method to automatically select the proper encoding for a given planning problem instance. In the paper we also examine ranking heuristics for the Relaxed Relaxed Exists-Step encoding, which plays an important role in our algorithm. Experiments show that our new approach significantly outperforms the state-of-the-art encoding schemes when compared on the
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA15-19877S" target="_blank" >GA15-19877S: Automated Knowledge and Plan Modeling for Autonomous Robots</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the Eighth International Symposium on Combinatorial Search (SoCS-2015)
ISBN
978-1-57735-732-2
ISSN
—
e-ISSN
—
Number of pages
5
Pages from-to
146-150
Publisher name
Association for the Advancement of Artificial Intelligence
Place of publication
Neuveden
Event location
Ein Gedi, Izrael
Event date
Jun 11, 2015
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—