Searching for Nacro Operators with Automatically Generated Heuristics
Macro search is used to derive solutions quickly for large search spaces at the expense of optimality. We present a novel way of building macro tables. Our contribution is twofold: (1) for the first time, we use automatically generated heuristics to find optimal macros, (2) due to the speed-up achieved by (1), we merge consecutive subgoals to reduce the solution lengths.We use the Rubik's Cube to demonstrate our techniques. For this puzzle, a 44% improvement of the average solution length was achieved over macro tables built with previous techniques.
KeywordsHeuristic Search Goal State Solution Path Large Search Space Pattern Database
Unable to display preview. Download preview PDF.
- 2.J. C. Culberson and J. Schaeffer. Searching with pattern databases. Advances in Artificial Intelligence (Lecture Notes in Artificial Intelligence 1081), pages 402–416, 1996.Google Scholar
- 3.I. T. Hernádvölgyi and R. C. Holte. PSVN: A vector representation for production systems. Technical Report TR-99-04, School of Information Technology and Engineering, University of Ottawa, 1999.Google Scholar
- 4.I. T. Hernádvölgyi and R. C. Holte. Experiments with automatically created memory-based heuristics. In Abstraction, Reformulation and Approximation, volume 1864 of Lecture Notes in Artificial Intelligence, pages 281–290, 2000.Google Scholar
- 5.R._C. Holte and I. T. Hernádvölgyi. A space-time tradeoff for memory-based heuristics. Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99), pages 704–709, 1999.Google Scholar
- 6.R. E. Korf. Learning to Solve Problems by Searching for Macro-Operators. PhD thesis, Canegie-Mellon University, 1983.Google Scholar
- 7.R. E. Korf. Operator decomposability: A new type of problem structure. Proceedings of the National Conference on Artificial Intelligence (AAAI-83), pages 206–209, 1983.Google Scholar
- 10.R. E. Korf. Finding optimal solutions to Rubik’s Cube using pattern databases. Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI-97), pages 700–705, 1997.Google Scholar
- 11.A. E. Prieditis. Machine discovery of effective admissible heuristics. Machine Learning, 12:117–141, 1993.Google Scholar
- 12.C. C. Sims. Computational methods in the study of permutation groups. Computational Problems in Abstract Algebra, pages 169–183, 1970.Google Scholar