صيغة تستخدم لحساب احتمالية النتيجة بالنظر إلى نتيجة سابقة معروفة حدثت في ظروف مماثلة. اقترح عالم الرياضيات توماس بايز في القرن الثامن عشر نظرية إحصائية تصف كيف تتغير تصورات الناس في ضوء المعلومات الجديدة. هذه العملية ، المسماة الاستدلال البايزي ، تقيم درجة الحقيقة من حيث الاحتمالات.