Dyna : Un langage déclaratif pour les chercheurs en apprentissage automatique

2025-08-17

Dyna est un langage de programmation conçu par et pour les chercheurs en apprentissage automatique. S'appuyant sur les paradigmes de la programmation logique tels que Datalog et Prolog, Dyna permet des ordres d'exécution flexibles et des règles pondérées, permettant d'exprimer des programmes complexes de manière concise. De la multiplication matricielle et des suites de Fibonacci à l'analyse CKY et même aux réseaux de neurones infinis, Dyna atteint une brièveté impressionnante. Lancé en 2004 pour combler le fossé entre les concepts mathématiques et le code exécutable, Dyna a évolué à travers les versions 1.0 et 2.0, améliorant et étendant continuellement ses capacités. Les recherches actuelles se concentrent sur la construction d'une implémentation flexible et complète utilisant l'algèbre relationnelle et la réécriture de termes, et sur l'utilisation de l'apprentissage par renforcement pour optimiser les stratégies d'exécution.

Lire plus