Bayes' theorem
Bayes' theorem represents a special case of conditional inversion in subjective logic expressed as: