Procedura za ažuriranje vjerovatnoće događaja na osnovu novog znanja (kada se prikupe novi dokazi). U svom najjednostavnijem obliku, može se napisati kao uslovne vjerovatnoće korištenjem formuleBayesova formula Teorem daje vjerovatnoću Bj, kada je vjerovatnoća A poznata. Veličina Pr(Bj) se naziva a priori vjerovatnoća, a Pr(Bj|A) a posteriori vjerovatnoća. Odnos između prethodnih i posteriornih vjerovatnoća dat je formulomApriorne i posteriorne vjerovatnoće u Bayesovoj formuli