A unifying approach to heuristic search

A.E. Eiben, E.H.L. Aarts, K.M. Hee van, W.P.M. Nuijten

Research output: Contribution to journalArticleScientificpeer-review

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.
Original languageEnglish
Pages (from-to)81-99
Number of pages19
JournalAnnals of Operations Research
Volume55
Issue number1
DOIs
Publication statusPublished - 1995
Externally publishedYes

Fingerprint

Heuristic search
Exercise
Formalism

Cite this

Eiben, A.E. ; Aarts, E.H.L. ; Hee van, K.M. ; Nuijten, W.P.M. / A unifying approach to heuristic search. In: Annals of Operations Research. 1995 ; Vol. 55, No. 1. pp. 81-99.
@article{3f5fe75fb9c844a1b81adb4e24b5cd00,
title = "A unifying approach to heuristic search",
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.",
author = "A.E. Eiben and E.H.L. Aarts and {Hee van}, K.M. and W.P.M. Nuijten",
year = "1995",
doi = "10.1007/BF02031717",
language = "English",
volume = "55",
pages = "81--99",
journal = "Annals of Operations Research",
issn = "0254-5330",
publisher = "Springer",
number = "1",

}

Eiben, AE, Aarts, EHL, Hee van, KM & Nuijten, WPM 1995, 'A unifying approach to heuristic search', Annals of Operations Research, vol. 55, no. 1, pp. 81-99. https://doi.org/10.1007/BF02031717

A unifying approach to heuristic search. / Eiben, A.E.; Aarts, E.H.L.; Hee van, K.M.; Nuijten, W.P.M.

In: Annals of Operations Research, Vol. 55, No. 1, 1995, p. 81-99.

Research output: Contribution to journalArticleScientificpeer-review

TY - JOUR

T1 - A unifying approach to heuristic search

AU - Eiben, A.E.

AU - Aarts, E.H.L.

AU - Hee van, K.M.

AU - Nuijten, W.P.M.

PY - 1995

Y1 - 1995

N2 - 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.

AB - 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.

U2 - 10.1007/BF02031717

DO - 10.1007/BF02031717

M3 - Article

VL - 55

SP - 81

EP - 99

JO - Annals of Operations Research

JF - Annals of Operations Research

SN - 0254-5330

IS - 1

ER -