Golem

Kapcsolódó fogalmak: 
elsőrendű logika
Rövid szöveges bemutatás: 
A GOLEM egy tanuló, következtető rendszer, melyet Muggleton és Feng fejlesztették ki 1990-ben. A program alapját az elsőrendű literálok és a klózhalmazok adták. A program egy lentről felfelé következtető rendszer, tehát egy konkrét kijelentésből indulunk és ezt fogjuk bővíteni. A programnak meg kell adnunk pozitív és negatív példákat is, hogy képes legyen tesztelni a feltevéseit. Ha az algoritmus talál egy olyan klózhalmazt, mellyel az igaz példák egy csoportját igazolni tudja, és egyetlen negatívot sem tud, akkor az igaz példákból eltávolítja a bizonyított elemeket. Az algoritmus addig fut, amíg egyetlen pozitív elem sem marad.