Mejora del tiempo de ejecución de algoritmos de inferencia regular

Abstract

El siguiente proyecto presenta una mejora sobre el algoritmo de machine learning L* de Angluin, con el objetivo de mejorar los tiempos de ejecución. Para lograrlo se estudian otras variantes, como L*Col de Oded Maler y Amir Pnueli, así como la variante Bounded-L* propuesta para redes neuronales. Como resultado, se propone un algoritmo cuyos tiempos de ejecución en los casos de referencia de redes demuestran ser consistentemente mejores que los de Bounded-L* para casos de estudio relevantes. Se realiza un estudio sobre tecnologías de paralelización, distribución y optimización de código Python, en pos de evaluar técnicas candidatas para su aplicación en este algoritmo dentro del framework utilizado.