После того как агент получает определенное свидетельство, касающееся ранее неизвестных случайных переменных, составляющих рассматриваемую проблемную область, априорные вероятности становятся больше не применимыми. Вместо этого должны использоваться условные, или апостериорные, вероятности. При этом используется обозначение Ρ (а | b), где а и b— любые высказывания. Это обозначение читается как "вероятность а, при условии, что все, что нам известно, — это b". Например, следующее выражение:

Р(cavity | toothache) = 0.8

показывает, что если наблюдается пациент, имеющий зубную боль, и еще не получена какая-либо иная информация, то вероятность наличия у этого пациента дупла в зубе составляет 0,8. Априорная вероятность, такая как Ρ (cavity), может рассматриваться как частный случай условной вероятности, P{cavi ty| ), где условием вероятности является отсутствие свидетельства.

Условные вероятности могут быть определены в терминах безусловных вероятностей. Таким определяющим уравнением является следующее, которое остается истинным, если Ρ(b) > 0:

(13.1)

Это уравнение может быть также записано следующим образом и в таком виде называется правилом произведения:

По-видимому, правило произведения запомнить проще; оно основано на таком факте: для того чтобы а и b были истинными, необходимо, чтобы b было истинным, а также необходимо, чтобы а было истинным, если дано b. Такое же утверждение можно выразить иначе:

В некоторых случаях проще формировать рассуждения в терминах априорных вероятностей конъюнкций, но чаще всего мы в качестве своего основного инструмента для вероятностного логического вывода будем использовать условные вероятности.

Кроме того, для условных распределений может использоваться обозначение Р. Выражение Ρ (Χ| Υ) задает значения выражениядля каждой возможной комбинации i, j. В качестве примера того, что с помощью векторного обозначения можно добиться сокращения размеров формул, рассмотрим, как применяется правило произведения к каждому случаю, когда высказывания а и b, соответственно, подтверждают конкретные значения переменных X и У. При этом будут получены следующие уравнения: