enriquecimiento del conocimiento previo en programación lógica ...

Contenido1 Introducción 12 Problemática 42.1 Operadores de generalización . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42.2 Operadores de especialización . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 Revisión de métodos 73.1 Discretización en ILP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73.2 Programación lógica con restricciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93.3 Algoritmos genéticos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93.4 Transformaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113.5 Comparación de métodos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124 Propuesta 144.1 Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144.1.1 Objetivo principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144.1.2 Objetivos particulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144.2 Metodología . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144.3 Resultados esperados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154.4 Avances hasta el momento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16Referencias 17A Lógica de Primer Orden 19i