Abstraction heuristics for symbolic bidirectional search

作者: Daniel Borrajo , Carlos Linares López , Álvaro Torralba

DOI:

关键词:

摘要: Symbolic bidirectional uniform-cost search is a prominent technique for cost-optimal planning. Thus, the question whether it can be further improved by making use of heuristic functions raises naturally. However, heuristics in does not always improve its performance. We propose novel way to abstraction symbolic which only resorts when becomes unfeasible. adapt definition partial and perimeter abstractions search, where A* used traverse abstract state spaces and/or generate perimeter. The results show that some domains. In fact, resulting planner, SymBA*, was winner optimal-track last IPC.

参考文章(31)
Sérgio Vale Aguiar Campos, Kenneth L. McMillan, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Symbolic Model Checking ,(1993)
Wheeler Ruml, Robert C. Holte, Ethan Burns, Bradford Larsen, Searching without a heuristic: efficient use of abstraction national conference on artificial intelligence. pp. 114- 120 ,(2010)
Vidal Alcázar, Álvaro Torralba, Constrained Symbolic Search: On Mutexes, BDD Minimization and More annual symposium on combinatorial search. ,(2013)
Ariel Felner, Nir Ofek, Combining perimeter search and pattern database abstractions symposium on abstraction, reformulation and approximation. pp. 155- 168 ,(2007) , 10.1007/978-3-540-73580-9_14
H. Kaindl, G. Kainz, Bidirectional heuristic search reconsidered Journal of Artificial Intelligence Research. ,vol. 7, pp. 283- 317 ,(1997) , 10.1613/JAIR.460
Kenneth Anderson, Robert Holte, Jonathan Schaeffer, Partial pattern databases symposium on abstraction reformulation and approximation. pp. 20- 34 ,(2007) , 10.1007/978-3-540-73580-9_5
Stefan Edelkamp, Planning with Pattern Databases Sixth European Conference on Planning. ,(2014)
Ira Sheldon Pohl, Bi-directional and heuristic search in path problems Stanford University. ,(1969)
Stefan Edelkamp, Peter Kissmann, None, Partial Symbolic Pattern Databases for Optimal Sequential Planning KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence. pp. 193- 200 ,(2008) , 10.1007/978-3-540-85845-4_24
Malte Helmert, Jorg Hoffmann, Patrik Haslum, Flexible abstraction heuristics for optimal sequential planning international conference on automated planning and scheduling. pp. 176- 183 ,(2007)