Что до "механизма". То я бы рекомендовал перечитать её доказательство. Оно простое.
У нас есть информация о том, что некое событие может быть порождено разными ситуациями. У нас есть также информация о том, как часто встречаются эти ситуации
![$P(A_i)$ $P(A_i)$](https://dxdy-01.korotkov.co.uk/f/c/6/c/c6c0e89359e25610bd1c2ca55e85c86a82.png)
и о том, как часто i-тая ситуация приводит к событию B -
![$P(B|A_i)$ $P(B|A_i)$](https://dxdy-03.korotkov.co.uk/f/a/4/2/a42f838c7af58bb215581c1fbed5a96a82.png)
. Один из способов использовать данную информацию - узнать вероятность события B. Вероятность того, что случится i-тая ситуация и в результате произойдёт интересующее нас событие, равна
![$P(A_i)P(B|A_i)$ $P(A_i)P(B|A_i)$](https://dxdy-03.korotkov.co.uk/f/2/d/4/2d4505bfad0c4e761a9b9d0c680240f582.png)
. Поскольку ситуации непересекающиеся, и список ситуаций полный и исчерпывающий, мы полученные вероятности суммируем
![$P(B)=\sum_i P(A_i)P(B|A_i)$ $P(B)=\sum_i P(A_i)P(B|A_i)$](https://dxdy-02.korotkov.co.uk/f/1/e/e/1eebbb865bb76ecb5fa49993f609f26282.png)
(полная вероятность B).
Но у нас есть дополнительная информация: событие B уже произошло, его вероятность единица. А нужно нам получить информацию о ситуациях
![$A_i$ $A_i$](https://dxdy-01.korotkov.co.uk/f/4/e/b/4ebf880807deff5796460f39aea46f8082.png)
(обратная задача). Причём речь не о том, каковы вероятности ситуаций, а о том, какая из ситуаций осуществилась. Поскольку данных у нас недостаточно для однозначного вывода, он также будет носить вероятностный характер. Но это вероятности будут, вообще говоря, отличны от априорных, поскольку мы знаем, что событие B произошло, это аргумент в пользу тех ситуаций, при которых данное событие высоковероятно, и против тех, при которых оно маловероятно. И мы получаем набор новых оценок вероятностей, кратко именуемый "апостериорные вероятности гипотез". Понятно, что новые оценки будут пропорциональны
![$P(A_i)P(B|A_i)$ $P(A_i)P(B|A_i)$](https://dxdy-03.korotkov.co.uk/f/2/d/4/2d4505bfad0c4e761a9b9d0c680240f582.png)
, отражая как наше знание априорных вероятностей, так и знание факта, что событие B произошло. А так как сумма вероятностей всех возможных исходов равна единице, мы делим эту величину на полную вероятность B, приводя сумму к единице (вероятность достоверного события равна единице)
![$P(A_i|B)=\frac {P(A_i)P(B|A_i)}{\sum_i P(A_i)P(B|A_i)}$ $P(A_i|B)=\frac {P(A_i)P(B|A_i)}{\sum_i P(A_i)P(B|A_i)}$](https://dxdy-04.korotkov.co.uk/f/3/5/a/35a8297ae79a6925f677a663446d5a9182.png)
Вот на уровне "философской интерпретации вероятностей" пойдут проблемы. То ли мы говорим о "степени субъективной вероятности" (а "субъективная вероятность" вообще может не быть вероятностью в математическом смысле), то ли остаёмся в частотном объяснении, но только вводим "параллельные миры", в каждом из которых проводим такой опыт, отбираем те миры, в которых случилось событие B, и уж по ним считаем статистику по
![$A_i$ $A_i$](https://dxdy-01.korotkov.co.uk/f/4/e/b/4ebf880807deff5796460f39aea46f8082.png)
(хорошая штука математика - мы это "рождение миров" загнали в пару строчек расчётов, "как это мило и без ущерба красоте!", и без расходов на строительство миллиона артполигонов, на каждом стреляем и определяем, попали ли).