Programming Language: PSBL (Probability Synthesis for Bayesian Logic)

Lyric’s probability processing technology can be used in any application where the goal is to find an answer that’s a best fit, given initial data that may be noisy, uncertain, or incomplete.

One familiar example of such an application is the traditional game of Sudoku. Given incomplete information about the numbers that fill a grid, you want to figure the best answer that satisfies all the rules of the game. Here, you can see a program written in Lyric’s probability programming language considering the alternatives for filling in each square. As the answer becomes more certain, the number becomes more opaque, until a complete solution is found.