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