Abstract
Symbolic search, using Binary Decision Diagrams (BDDs) to represent sets of states, is a competitive approach to optimal planning. Yet heuristic search in this context remains challenging. The many advances on admissible planning heuristics are not directly applicable, as they evaluate one state at a time. Indeed, progress using heuristic functions in symbolic search has been limited and even very informed heuristics have been shown to be detrimental. Here we show how this connection can be made stronger for LP-based potential heuristics. Our key observation is that, for this family of heuristic functions, the change of heuristic value induced by each operator can be precomputed. This facilitates their smooth integration into symbolic search. Our experiments show that this can pay off significantly: we establish a new state of the art in optimal symbolic planning.
Originalsprog | Engelsk |
---|---|
Titel | Proceedings of the AAAI Conference on Artificial Intelligence, 36 |
Forlag | AAAI Press |
Publikationsdato | jun. 2022 |
Sider | 9750-9757 |
ISBN (Elektronisk) | 978-1-57735-876-3 |
DOI | |
Status | Udgivet - jun. 2022 |
Begivenhed | 36th AAAI Conference on Artificial Intelligence 2022 - Varighed: 22 feb. 2022 → 1 mar. 2022 https://aaai-2022.virtualchair.net/index.html |
Konference
Konference | 36th AAAI Conference on Artificial Intelligence 2022 |
---|---|
Periode | 22/02/2022 → 01/03/2022 |
Internetadresse |
Navn | Proceedings of the AAAI Conference on Artificial Intelligence |
---|---|
Nummer | 9 |
Vol/bind | 36 |
ISSN | 2374-3468 |
Fingeraftryk
Dyk ned i forskningsemnerne om 'Operator-Potential Heuristics for Symbolic Search'. Sammen danner de et unikt fingeraftryk.Priser
-
AAAI 2022 Outstanding Paper Award: Honorable Mention
Torralba, Alvaro (Modtager), feb. 2022
Pris: Konferencepriser