Programación Lógica Inductiva

Derivación Top-Down

Enfoque de inducción en PLI que parte de una cláusula muy general y la especializa para excluir los ejemplos negativos, típico de sistemas como Progol.

← Volver