머신러닝용 논리 프로그래밍 언어 다이나

Dyna는 머신러닝 연구자를 위해 설계된 논리 프로그래밍 언어이다.

가중치 룰과 유연한 실행 순서 지원으로 복잡한 알고리즘을 간결하게 표현할 수 있다.

행렬 곱셈, 피보나치 수열, CKY 파싱, 신경망 등을 몇 줄의 코드로 구현할 수 있다.

Dyna 1.0은 Datalog 기반으로 Semiring을 확장해 동적 프로그래밍을 실행할 수 있게 했다.

Dyna 2.0은 함수, 자유 변수, 지연·즉시 평가, 프로토타입 상속 등 제약을 완화했다.

관계 대수 및 용어 재작성 기반 구현과 강화학습을 이용한 실행 전략 최적화 연구가 진행 중이다.

Dyna3, Dyna-R, Dyna-Pi 등 다양한 언어 구현체가 제공된다.