bizonyítás-ellenőrző

Kapcsolódó fogalmak: 
bizonyítás
Kapcsolódó fogalmak: 
célorientált következtetés
Rövid szöveges bemutatás: 
A következtető rendszerek bizonyítás-ellenőrzőként is működhetnek. Ilyenkor mi magunk megadjuk a bizonyítás fő pontjait, nagyobb lépésekben, majd a rendszer köti össze ezeket a lépéseket. A rendszer feladata igazolni a lépéseink helyességét a rendelkezésére bocsájtott tényadatokból és szabályokból.