Inductive Logic Programming
Área de investigación del aprendizaje automático que utiliza la programación lógica como representación uniforme de ejemplos, conocimientos previos e hipótesis. Desarrollan descripciones de predicados a partir de ejemplos y conocimientos previos. Dada una codificación del conocimiento conocido y un conjunto de ejemplos representados como una base de datos lógica de hechos, un sistema ILP derivará un programa lógico hipotético que implica todos los ejemplos positivos y ninguno de los negativos.
