Abstract
We present the General Search Procedure (GSP) that provides a unifying way of describing search algorithms. The GSP captures both constructive and iterative search algorithms. We demonstrate as an exercise that various well-known heuristic search procedures can be obtained as instances of the GSP. The introduced formalism provides a solid ground to prove theoretical properties of search methods. Furthermore, by the formal approach we obtain a framework that can serve as the basis of implementing a search based problem solver.
Similar content being viewed by others
References
E.H.L. Aarts and J. Korst,Simulated Annealing and Boltzmann Machines (Wiley, 1989).
E. Charniak and D. McDermott,Introduction to Artificial Intelligence (Addison-Wesley, 1985).
G. Dueck and T. Scheuer, Threshold Accepting: A general purpose optimization algorithm. J. Comp. Phys. 90 (1990) 161–175.
A.E. Eiben, A method for designing decision support systems for operational planning, PhD Thesis, Eindhoven University of Technology (1991).
A.E. Eiben, Search based planning for decision support, in:Optimization-Based Computer-Aided Modelling and Design, eds. A.J.M. Beulens and H.-J. Sebastian, Lecture Notes in Control and Information Sciences, vol. 174 (Springer, 1992) 18–47.
A.E. Eiben, E.H.L. Aarts and K.M. van Hee, Global convergence of genetic algorithms: A Markov chain analysis, in:Parallel Problem Solving from Nature, eds. H.-P. Schwefel and R. Maenner, Lecture Notes in Computer Science, vol. 486 (Springer, 1991) pp. 4–12.
A.E. Eiben and K.M. van Hee, Knowledge representation and search methods for decision support systems, in:Knowledge, Data and Computer Assisted Decisions, eds. M. Schader and W. Gaul (Springer, 1990) pp. 247–259.
R.M. Garey and D.S. Johnson,Computers and Intractability: A Guide to the Theory of NP-Completeness (Freeman, 1979).
F. Glover and H.J. Greenberg, New approaches for heuristic search: A bilateral linkage with artificial intelligence, Eur. J. Oper. Res. 39 (1989) 119–130.
D.E. Goldberg,Genetic Algorithms in Search, Optimization and Machine Learning (Addison-Wesley, 1989).
T. Ibaraki, Branch-and-bound procedure and state-space representation of combinatorial optimization problems. Inf. Contr. 36 (1978) 1–27.
G.E. Liepins and M.R. Hilliard, Genetic algorithms: Foundations and applications, Ann. Oper. Res. 21 (1989) 31–58.
G.L. Nemhauser and L.A. Wolsey,Integer and Combinatorial Optimization (Wiley, 1988).
C.H. Papadimitriou and K. Steiglitz,Combinatorial Optimization: Algorithms and Complexity (Prentice-Hall, Englewood Cliffs, NJ, 1982).
J. Pearl,Heuristics: Intelligent Search Strategies for Computer Problem Solving (Addison-Wesley, 1984).
J. Pearl and R.E. Korf, Search techniques, Ann. Rev. Comp. Sci. 2 (1987) 451–467.
H.A. Simon, Search and reasoning in problem solving, Art. Int. 21 (1983) 7–29.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Eiben, A.E., Aarts, E.H.L., van Hee, K.M. et al. A unifying approach to heuristic search. Ann Oper Res 55, 81–99 (1995). https://doi.org/10.1007/BF02031717
Issue Date:
DOI: https://doi.org/10.1007/BF02031717