המתמטיקה של אי־ודאות
לעיתים קרובות אתה יודע כיוון אחד של הסתברות מותנית אבל רוצה את השני. בדיקה רפואית אומרת לך P(positive | disease), אבל המטופל רוצה את P(disease | positive). משפט בייס הוא הגשר שהופך הסתברות מותנית.
הוא נובע ישירות מהשיעור הקודם. כלל הכפל נותן את P(A∩B) בשתי דרכים, כ־P(A|B)P(B) וכ־P(B|A)P(A). השווה אותם וחלק ב־P(B). לשלושת החלקים יש שמות שתפגוש בכל מקום ב־ML: P(A) הוא הקודם (האמונה לפני הראיות), P(B|A) היא הנראוּת (עד כמה טוב A מסביר את הראיות), ו־P(A|B) הוא המאוחר (האמונה המעודכנת).
המכנה P(B) מחושב בדרך כלל על ידי פיצול על פני כל הדרכים שבהן B יכול לקרות, חוק ההסתברות הכוללת: