Abstract
Single-agent search is a powerful tool for solving a variety of applications. Most of the academic application domains used to explore single-agent search techniques have the property that if you start with a solvable state, at no time in the search can you reach a state that is unsolvable (it may, however, not be minimal). In this paper we address the implications that arise when states in the search are unsolvable. These so-called deadlock states are largely responsible for the failure of our attempts to solve positions in the game of Sokoban.
This is a revised and updated version of a paper presented at the IJCAI workshop on Using Games as an Experimental Testbed for Artificial Intelligence Research, Nagoya, August, 1997.
Preview
Unable to display preview. Download preview PDF.
References
J. Culberson. Sokoban is PSPACE-complete. Technical Report TR 97-02, Dept. of Computing Science, University of Alberta, 1997. Also: http://web.cs.ualberta.ca/-joe/Preprints/Sokoban.
J. Culberson and J. Schaeffer. Searching with pattern databases. In G. McCalla, editor, Advances in Artificial Intelligence, pages 402–416. Springer-Verlag, 1996. Proceedings of CSCSI'95.
D. Dor and U. Zwick. SOKOBAN and other motion planing problems, 1995. At: http://www.math.tau.ac.il/-ddorit.
M. Ginsberg. Partition search. In Proceedings of the National Conference on Artificial Intelligence (AAAI-96), pages 228–233, 1996.
O. Hansson, A. Mayer, and M. Yung. Criticizing solutions to relaxed models yields powerful admissible heuristics. Information Sciences, 63(3):207–227, 1992.
M Klein. A primal method for minimal cost flows. Management Science, 14:205–220, 1967.
R.E. Korf. Depth-first iterative-deepening: An optimal admissible tree search. Artificial Intelligence, 27(1):97–109, 1985.
R.E. Korf. Macro-operators: A weak method for learning. Artificial Intelligence, 26(1):35–77, 1985.
R.E. Korf. Real-time heuristic search. Artificial Intelligence, 42(2–3):189–211, 1990.
R.E. Korf. Finding optimal solutions to Rubik's Cube using pattern databases. In AAAI National Conference, pages 700–705, 1997.
H.W. Kuhn. The Hungarian method for the assignment problem. Naval Res. Logist. Quart., pages 83–98, 1955.
A. Reinefeld and T.A. Marsland. Enhanced iterative-deepening search. IEEE Transactions on Pattern Analysis and Machine Intelligence, 16(7):701–710, July 1994.
D. Slate and L. Atkin. Chess 4.5 — The Northwestern University chess program. In P.W. Frey, editor, Chess Skill in Man and Machine, pages 82–118, New York, 1977. Springer-Verlag.
G. Wilfong. Motion planning in the presence of movable obstacles. In 4th ACM Symposium on Computational Geometry, pages 279–288, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Junghanns, A., Schaeffer, J. (1998). Sokoban: Evaluating standard single-agent search techniques in the presence of deadlock. In: Mercer, R.E., Neufeld, E. (eds) Advances in Artificial Intelligence. Canadian AI 1998. Lecture Notes in Computer Science, vol 1418. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64575-6_36
Download citation
DOI: https://doi.org/10.1007/3-540-64575-6_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64575-7
Online ISBN: 978-3-540-69349-9
eBook Packages: Springer Book Archive