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

Приравняв две правые части стороны и разделив их на Ρ (а), получим такое уравнение:

(13.9)

Это уравнение известно под названием правила Байеса (а также закона Байеса, или теоремы Байеса). Это простое уравнение лежит в основе всех современных систем искусственного интеллекта для вероятностного вывода. Более общий случай многозначных переменных может быть записан в системе обозначений Ρ следующим образом:

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

(13.10)