Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
Volltext verfügbar? / Dokumentlieferung
doi:10.22028/D291-29342
Titel: | LP Heuristics over Conjunctions : Compilation, Convergence, Nogood Learning |
VerfasserIn: | Steinmetz, Marcel Hoffmann, Jörg |
HerausgeberIn: | Lang, Jérôme |
Sprache: | Englisch |
Titel: | Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence |
Startseite: | 4837 |
Endseite: | 4843 |
Verlag/Plattform: | International Joint Conferences on Artificial Intelligence |
Erscheinungsjahr: | 2018 |
Erscheinungsort: | Menlo Park, County of San Mateo, California |
Titel der Konferenz: | IJCAI-ECAI-18 |
Konferenzort: | Stockholm, Sweden |
Dokumenttyp: | Konferenzbeitrag (in einem Konferenzband / InProceedings erschienener Beitrag) |
Abstract: | Two strands of research in classical planning are LP heuristics and conjunctions to improve approximations. Combinations of the two have also been explored. Here, we focus on convergence properties, forcing the LP heuristic to equal the perfect heuristic h* in the limit. We show that, under reasonable assumptions, partial variable merges are strictly dominated by the compilation Pi^C of explicit conjunctions, and that both render the state equation heuristic equal to h* for a suitable set C of conjunctions. We show that consistent potential heuristics can be computed from a variant of Pi^C, and that such heuristics can represent h* for suitable C. As an application of these convergence properties, we consider sound nogood learning in state space search, via refining the set C. We design a suitable refinement method to this end. Experiments on IPC benchmarks show significant performance improvements in several domains. |
DOI der Erstveröffentlichung: | 10.24963/ijcai.2018/672 |
URL der Erstveröffentlichung: | https://www.ijcai.org/proceedings/2018/672 |
Link zu diesem Datensatz: | hdl:20.500.11880/28339 http://dx.doi.org/10.22028/D291-29342 |
ISBN: | 978-0-9992411-2-7 |
Datum des Eintrags: | 21-Nov-2019 |
Drittmittel / Förderung: | DFG “Critically Constrained Planning via Partial Delete Relaxation"; BMBF through funding for the Center for IT-Security, Privacy and Accountability (CISPA) |
Fördernummer: | DFG HO 2169/5-1; BMBF 16KIS0656 |
Fakultät: | MI - Fakultät für Mathematik und Informatik |
Fachrichtung: | MI - Informatik |
Professur: | MI - Prof. Dr. Jörg Hoffmann |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Es gibt keine Dateien zu dieser Ressource.
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.