Dyna er et logikprogrammeringssprog udviklet til maskinlæringsforskere.
Sproget understøtter fleksible udførelsesordrer og vægtede regler, så brugeren kun fokuserer på, hvad der skal beregnes.
Komplekse algoritmer som matrixmultiplikation, fibonacci, CKY-parsing og neurale netværk kan udtrykkes på få kodelinjer.
Dyna 1.0 udvidede Datalog ved at introducere generelle semirings til dynamisk programmering.
Dyna 2.0 tilføjede funktioner, frie variable, både dovennede og ivrige evalueringer samt prototypebaseret arv.
Aktuel forskning omfatter implementering via relationel algebra og termomskrivning samt brug af forstærkningslæring til optimeret udførelsesstrategi.
Flere open source-implementeringer findes, herunder Dyna3 (Clojure), Dyna-R (Python) og Dyna-Pi.
Get notified when new stories are published for "Hacker News 🇩🇰 Dansk"