felfedező rendszerek

Kapcsolódó fogalmak: 
AM (Automated Mathematician)
Kapcsolódó fogalmak: 
DALTON
Rövid szöveges bemutatás: 
Olyan rendszerek melyek koncepciók, felfedezések, bizonyítások megtalálására szolgálnak. Leggyakrabban szakértői, döntéstámogató rendszerek ezek, melyeket leginkább matematikai bizonyításokhoz alkalmaznak. Ilyen rendszer például az AM vagy a DALTON.