AI-DSL
Responsible: Nil Geisweiller
A type-driven program synthesizer that automatically assembles AI workflows. Uses backward chaining in MeTTa with dependent types and combinatory logic to compose services from the SingularityNET marketplace.
</> Example Implementation
Type-driven composition
Shows AI-DSL's automatic composition of typed services into coherent workflows via backward chaining.
; AI-DSL automatic service composition
; Backward chaining with dependent types
!(ai-dsl-compose
(goal (-> Image DiagnosisReport))
(available-services
(image-classifier (-> Image Labels))
(symptom-mapper (-> Labels Symptoms))
(diagnosis-engine (-> Symptoms DiagnosisReport))))
; => Composed pipeline: image-classifier
; >> symptom-mapper >> diagnosis-engine
Technical Deep Dive: AI-DSL Full — dependent types, backward-chaining synthesis, SingularityNET marketplace composition, and implementation findings.