Dyna: Uma Linguagem Declarativa para Pesquisadores de Aprendizado de Máquina
Dyna é uma linguagem de programação projetada por e para pesquisadores de aprendizado de máquina. Baseada em paradigmas de programação lógica como Datalog e Prolog, a Dyna permite ordens de execução flexíveis e regras ponderadas, permitindo que programas complexos sejam expressos de forma concisa. De multiplicação de matrizes e sequências de Fibonacci a análise CKY e até mesmo redes neurais infinitas, a Dyna alcança uma brevidade impressionante. Iniciada em 2004 para preencher a lacuna entre conceitos matemáticos e código executável, a Dyna evoluiu através das versões 1.0 e 2.0, melhorando e expandindo continuamente suas capacidades. A pesquisa atual se concentra na construção de uma implementação flexível e completa usando álgebra relacional e reescrita de termos, e no uso de aprendizado por reforço para otimizar estratégias de execução.