Foil

Kapcsolódó fogalmak: 
elsőrendű logika
Rövid szöveges bemutatás: 
A FOIL egy tanuló, következtető rendszer. A program alapját az elsőrendű literálok és a klózhalmazok adták. A program egy felülről lefelé következtető rendszer, tehát egy általános kijelentésből indulunk és ezt fogjuk szűkí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.