Prohledávání

- Expanzí uzlu rozumíme nalezení množiny všech možných bezprostředně následují-cích uzlů.
- Je-li vygenerován některý uzel z množiny cílů (cílových uzlů), pak prohledávání končí, neboť ve stromu řešení existuje orientovaná cesta z počátečního uzlu do nalezeného cílového uzlu.
- Řídící strategie se nazývá systematickou, pokud:
nevynechá žádný objekt
žádný objekt nevybere dvakrát
Vzhledem k velikosti stavového prostoru může být systematické prohledávání stavového prostoru velice neefektivní. Prohledávání lze omezit využitím znalostí o řešeném problému:
exaktní algoritmy
neexaktní (heuristické) poznatky

Podle toho, zda jsou využity znalosti o dané úloze či nikoliv, rozlišujeme prohledávací algoritmy:
neinformované (slepé)
informované (heuristické)
Slepé prohledávání:
do šířky
do hloubky