Keresőrendszer (mesterséges intelligencia)

A Wikipédiából, a szabad lexikonból.

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= \left( V, E \right) , 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,
  • Értelmezés sikertelen (ismeretlen hiba): S \in \left \{ Módosítható, Visszalépéses, Gráfkereső \right \}
a stratégia.