Keresőrendszer (mesterséges intelligencia)

Sablon:Lektor A mesterséges intelligencia tudományában keresőrendszer alatt olyan (általában, de nem feltétlenül, számítógépes program alakjában megvalósított) problémamegoldó rendszert értenek, ami képes egy reprezentációs gráf csúcsait megvizsgálni és döntést hozni arról, hogy célcsúcsok-e (ld. algoritmusok/problémamegoldás/gráfreprezentáció ill. reprezentációs gráf).

Formálisan a keresőrendszer egy (G, s, C, M, Gmt, S) hatossal reprezentálható, ahol:
G, C, M, Gmt, a többi pedig elem; konkrétan

• $G=(V,E),E\subseteq V\times V$ egy irányított gráf, esetleg multigráf;
• $s\in V$ a gráf egyik csúcsa, a neve startcsúcs,
• $C\subseteq V$ a gráf csúcsainak egy (rész)halmaza, elemeit célcsúcsoknak nevezzük,
• M a megengedett elemi lépések, műveletek halmaza;
• $Gmt\subseteq V$ szintén a gráf csúcsainak egy halmaza, a globális munkaterület,