Navia Systems | 35 followers on LinkedIn. We are a start-up building probabilistic computers, a new class of machines specifically designed to make inferences under uncertainty. Unlike current computers built for logical deduction and precise arithmetic, Navia’s machines and programs are built for guessing the meaning behind inherently ambiguous data. Our first product combines our probabilistic software and circuits with traditional hardware to solve challenging data interpretation and prediction problems in human health, policy and finance.