Dyna: Un Lenguaje Declarativo para Investigadores de Aprendizaje Automático

Dyna es un lenguaje de programación diseñado por y para investigadores de aprendizaje automático. Basado en paradigmas de programación lógica como Datalog y Prolog, Dyna permite órdenes de ejecución flexibles y reglas ponderadas, permitiendo que programas complejos se expresen de forma concisa. Desde la multiplicación de matrices y secuencias de Fibonacci hasta el análisis CKY e incluso redes neuronales infinitas, Dyna logra una brevedad impresionante. Iniciado en 2004 para cerrar la brecha entre conceptos matemáticos y código ejecutable, Dyna ha evolucionado a través de las versiones 1.0 y 2.0, mejorando y expandiendo continuamente sus capacidades. La investigación actual se centra en la construcción de una implementación flexible y completa utilizando álgebra relacional y reescritura de términos, y en el empleo del aprendizaje por refuerzo para optimizar las estrategias de ejecución.