AI-DSL (AI Domain Specific Language)

AI-DSL is the protocol and tooling layer designed to automatically assemble complex AI workflows from the discrete services available on the SingularityNET and Artificial Super Intelligence (ASI) marketplaces. It fulfills the vision of a “network of intelligences” by treating individual AI services not as isolated apps, but as composable functions that can be chained together to solve problems no single service could handle alone (e.g., creating a “Speech-to-Translated-Song” pipeline).

Functionally, the AI-DSL operates as a type-driven program synthesizer. It employs a backward chainer implemented in MeTTa that treats a user’s request as a “theorem” to be proven and the available AI services as “axioms”. To bridge the gap between abstract requirements and concrete code, it utilizes a rich Ontology of dependent types. Unlike standard interface definitions (like Protobuf) which might crudely label an output as a “String,” the AI-DSL ontology distinguishes between semantic concepts—such as TextIn English vs. TextIn Chinese or Audio vs. MIDI. This semantic precision prevents absurd compositions (like feeding audio files into image recognizers) and allows the planner to strictly enforce logical compatibility.

To ensure the synthesis process remains computationally tractable, AI-DSL leverages combinatory logic—specifically “Bluebird” (sequential) and “Phoenix” (parallel) combinators — rather than raw lambda calculus. This approach, combined with aggressive pruning techniques, reduces the search space for valid compositions from days of computation to mere seconds.