Ez a szócikk vagy szakasz lektorálásra, tartalmi javításokra szorul. A felmerült kifogásokat a szócikk vitalapja részletezi (vagy extrém esetben a szócikk szövegében elhelyezett, kikommentelt szövegrészek). Ha nincs indoklás a vitalapon (vagy szerkesztési módban a szövegközben), bátran távolítsd el a sablont! Csak akkor tedd a lap tetejére ezt a sablont, ha az egész cikk megszövegezése hibás. Ha nem, az adott szakaszba tedd, így segítve a lektorok munkáját! (2005 áprilisábó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
- egy irányított gráf, esetleg multigráf;
- a gráf egyik csúcsa, a neve startcsúcs,
- 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;
- szintén a gráf csúcsainak egy halmaza, a globális munkaterület,