Статья 568

Условная вероятность, как известно, таким свойством не обладает.

Доказано, что не существует функции, выражающей зависимости двух утверждений, которая обладала бы таким свойством. Какова бы ни была исходная информация о вероятностях, на каком-то этапе выяснится, что мы не можем вычислить степень надежности интересующего нас утверждения, пользуясь только законами теории вероятностей.
Решать эту проблему можно по-разному. Мы коротко остановимся на байесовском подходе и теории Демпстера-Шефера, затем опишем систему, которая успешно избегает почти все перечисленные выше сложности, и приведем примеры использования теоретической логики для представления правдоподобных рассуждений.

Четкое и подробное изложение байесовского подхода к построению механизма правдоподобного вывода дано в статье К.