FOIL

FOIL és un algoritme usat en informàtica en el camp de l'inteligència artificial i més concretament en el camp de la programació llògica inductiva (ILP) per a deprendre regles de la llògica de primer orde que descriguen un predicat a partir d'un coneiximent base i d'un conjunt d'eixemples, denominat conjunt d'entrenament, a on pugues haver tant eixemples positius com a negatius. Este algoritme és molt semblat al algoritme de cobertura, usat per a deprendre regles en la llògica proposicional.

Consta de dos bucles anidados: El extern s'encarrega de crear noves regles, en cos buit i com a cap el predicat que es desija deprendre. Despuix d'haver eixit del bucle intern deu almagasenar les regles (es deprén una per iteración d'este bucle, l'extern) i llevar del conjunt d'entrenament els eixemples positius coberts correctament per la regla depresa en cada iteración. Per tant, este bucle és l'encarregat de realisar generalisacions. El bucle intern és el que porta a terme l'especialisació de les regles creades pel bucle extern mentres hi haja eixemples negatius en el conjunt d'entrenament coberts per la regla que s'està especialisant. Este bucle genera tots els lliterals possibles que es puguen incloure en el cos de la regla i de tots ells s'afig el millor.

Una observació important és que per a deprendre predicats (conceptes, funcions...) recursivos es deu permetre que es puga afegir al cos de la regla el predicat que es desija deprendre, que és el que està en el cap de la regla.

És molt normal que a l'hora d'elegir el millor lliteral es trie el que major guany d'informació aporte. Este concepte de guany d'informació està relacionat en la entropía per a conjunts i basada en esta.