احتمال خوارزمي

الاحتمال الخوارزمي في نظرية المعلومات الخوارزمية هو طريقة رياضية لتعيين احتمال سابق لملاحظة معينة. اخترعها راي سولومونوف في الستينيات.Solomonoff, R., "A Preliminary Report on a General Theory of Inductive Inference", Report V-131, Zator Co., Cambridge, Ma. (Nov. 1960 revision of the Feb. 4, 1960 report).  يُستخدم في نظرية الاستدلال الاستقرائي وتحليل الخوارزميات. يستخدم سولومونوف في نظريته العامة للاستدلال الاستقرائي الطريقة مع مبرهنة بايز للحصول على احتمالات التنبؤ بمخرجات الخوارزمية المستقبلية.Li, M. and Vitanyi, P., An Introduction to Kolmogorov Complexity and Its Applications, 3rd Edition, Springer Science and Business Media, N.Y., 2008

في الشكليات الرياضية المستخدمة، تكون الملاحظات على شكل سلاسل ثنائية محدودة يُنظر إليها أنها مخرجات لآلة تورنغ ، والسابق العالمي هو توزيع احتمال على مجموعة من السلاسل الثنائية المحدودة المحسوبة من توزيع احتمالي على البرامج (أي، مدخلات إلى آلة تورنغ العالمية). السابق هو عالمي بالمعنى تورنغ الحسابي، أي أنه لا توجد سلسلة لها احتمالية صفر. وهي ليست حسوبة (قابلة للحساب) ولكن يمكن تقريبها.Hutter, M., Legg, S., and Vitanyi, P., "Algorithmic Probability", Scholarpedia, 2(8):2572, 2007. 

 انظر أيضا 

 نظرية سولومونوف في الاستدلال الاستقرائي
 استدلال بايز
 الاستدلال الاستقرائي
 تعقيد كولموغوروف
 آلة تورنغ العالمية

 المراجع 

تصنيف:ذكاء اصطناعي
تصنيف:تأويلات الاحتمال