العوالم الممكنة والبديهيتان
فضاء العيّنة والأحداث، والبديهيتان اللتان تُشتق منهما كل القواعد الأخرى، بما فيها قاعدة المتمّمة وقاعدة الجمع.
ارمِ نردين. كم شيئاً مختلفاً يمكن أن يحدث؟
يجيب أكثر الناس بـ21، عادّين التوافيق: فالـ2 مع الـ5 هي الرمية نفسها التي فيها 5 مع 2. والجواب الصحيح 36، والفرق بين هذين العددين هو سبب وجود هذا الدرس كلّه. فإن أخطأتَ قائمة ما يمكن أن يحدث، أخطأ معها كلّ احتمال تحسبه بعد ذلك.
ولا يحتاج شيء هنا إلى احتمالات لا تملكها أصلاً. فهما قاعدتان اثنتان، وكلّ ما عداهما في هذا الدرس مشتقٌّ منهما أمامك.
العوالم الممكنة
يصوغ راسل ونورفيغ الاحتمال بلغة العوالم الممكنة: والعالم الواحد صورة كاملة لكيفية انتهاء الأمور. فحيث تستبعد العبارة المنطقية عوالم، تقول العبارة الاحتمالية ما مدى ترجيح كلٍّ منها.
واكتب مجموعة هذه العوالم جميعاً ، وهو حرف أوميغا اليوناني الكبير، ويسمّى فضاء العيّنة. والعالم المفرد فيها ، أوميغا الصغير. ولا بدّ أن تكون العوالم:
- متنافية، أي لا يمكن أن يتحقّق اثنان منها معاً،
- وشاملة، أي لا بدّ أن يتحقّق أحدها.
وعُد إلى النردين. فإن أمكنك التمييز بينهما كان العالم زوجاً مرتّباً: ما يظهره النرد الأول ثمّ ما يظهره الثاني. وذلك يعطي
أمّا العدّ الذي يعطي 21 فيعامل و عالماً واحداً. وهما عالمان، وجمعهما في واحد يطمس في صمت فرقاً حقيقياً: فالزوج المختلط مثل أرجح فعلاً بمقدار الضِعف من زوجٍ مكرّر مثل ، بينما يمنحهما نموذج العوالم الواحد والعشرين القيمة نفسها . وهذه أشيع زلّة في الباب كلّه، وتقع قبل أن تُكتَب أيّ صيغة.
البديهيتان
اقرأهما بالكلمات. تقول الأولى، ولكلّ عالم ، إنّه ليس أقلّ ترجيحاً من المستحيل ولا أكثر من المؤكّد. وتقول الثانية إنّ احتمالات العوالم كلّها تجمع إلى واحد، وهي طريقة صوريّة لقول إنّ شيئاً ما يحدث.
وهذا هو الأساس كلّه. فإن كان النردان متوازنين حمل كلّ عالم، بالتماثل، الاحتمال نفسه، وفرضت البديهية الثانية أن تكون تلك القيمة المشتركة .
الأحداث
الحدث ليس إلّا مجموعة عوالم: فـ«المجموع 7» هو الحدث الذي يضمّ العوالم الستّة . واحتماله المجموع على العوالم التي فيه:
هذا هو التعريف. أمّا القاعدة المدرسية، «النتائج المؤاتية على النتائج الكلّية»، فليست إلّا الحالة الخاصّة التي تتساوى فيها ترجيحات كلّ العوالم. والنرد المغشوش يملك نموذج احتمال سليماً تماماً، غاية ما في الأمر أنّه يُسنِد قيم غير متساوية، والمجموع أعلاه يظلّ صالحاً.
اشتقاق قاعدة المتمّم
وهذا أوّل اشتقاق، وهو سطران. ليكن بمعنى «لا يقع ». فالعوالم التي يصدق فيها وتلك التي يصدق فيها لا تشترك في شيء وتغطّي معاً كلّه. فتقسيم مجموع البديهية الثانية على هاتين الفئتين يعطي
ولم يُفترض شيء وراء البديهيتين. وهذا نمط كلّ ما يأتي بعد: اشتقّ ولا تحفظ.
قاعدة الجمع
فماذا عن « أو » حين يمكن أن يقعا معاً؟ جمع احتماليهما يعدّ العوالم المشتركة بينهما مرّتين، فاطرح ذلك التقاطع مرّة واحدة بالضبط. ونكتب الاتّحاد والتقاطع :
مثال محلول. اسحب ورقة واحدة من 52. فيها 13 كُبّة و4 ملوك، فيكون احتمال الكُبّة واحتمال الملك . وورقة واحدة بالضبط هي الاثنان معاً، وهي ملك الكُبّة، ومن ثمّ
والجمع الساذج يعطي . وعُدّ الأوراق بيدك تجدها 16 لا 17: فملك الكُبّة عُدّ مرّةً بوصفه كُبّة ومرّةً بوصفه ملكاً.
عُدّها بنفسك. يبدأ الشكل من هذا المثال: الأوراق كلها مرسومة، وملك الكُبّة مُبرَز بوصفه العالم الوحيد الذي يعدّه الجمع الساذج مرّتين. غيّر الحدث A والحدث B، أو انتقل إلى نردان: 36 عالمًا، وفي كل مرّة يُقابَل العدّ المباشر لـ«A أو B» بقاعدة الجمع.
تفاعلي: عُدّ العوالم، ثم عُدّ التقاطع مرة واحدة
كل العوالم متساوية الاحتمال.
- P(A)
- 13/52 = 0.2500
- P(B)
- 4/52 = 0.0769
- P(A و B)
- 1/52 = 0.0192
- P(A أو B)
- 16/52 = 0.3077
- الجمع الساذج P(A) + P(B)
- 17/52 = 0.3269
- P(A) × P(B)
- 0.0192
بعدّ العوالم واحدًا واحدًا، يتحقق A أو B في 16 من 52. وتصل قاعدة الجمع إلى العدد نفسه من الأعداد الثلاثة الأخرى: 13 + 4 - 1 = 16، إذن P(A أو B) = 4/13. يعدّ الجمع الساذج 17، والزيادة البالغة 1 هي بالضبط التقاطع المُبرَز، عُدّ مرة لأجل A ومرة أخرى لأجل B. وهذان الحدثان مستقلان أيضًا: P(A و B) يساوي P(A) × P(B)، فمعرفة أحدهما لا تخبرك بشيء عن الآخر.
الاشتراط والاستقلال
معرفة أنّ قد وقع تقلّص مجموعة العوالم التي ما تزال قائمة، فيجب إعادة تسوية الاحتمال على ما بقي. وهذا بالضبط ما هو الاحتمال الشرطي:
واقرأ : «احتمال بمعلومية ». والمقام هو إعادة التسوية: فأنت الآن تعيش داخل العوالم التي يصدق فيها . وبإعادة الترتيب تحصل على قاعدة الضرب ، وهي صحيحة دائماً.
ويكون الحدثان مستقلّين حين لا تخبرك معرفةُ بشيء عن ، أي حين . وعندئذ فقط تنهار قاعدة الضرب إلى الصورة المألوفة .
تحقّق من الاستقلال ولا تفترضه أبداً. فضرب الاحتمالات صحيح في ظل الاستقلال فقط. وحين يدفع سببٌ مشترك نتائجَ كثيرة دفعةً واحدة، تكون الأحداث شديدة الترابط ويقلّل الضرب تقليلاً فادحاً من احتمال وقوع كثير منها معاً.
وليست هذه الجملة الأخيرة تفصيلاً تقنياً. فهي وضع الإخفاق وراء محافظ التأمين المسعَّرة خطأً وأعطال الأنظمة المستهان بها، وستلقاها ثانيةً في بايز ومعدّل الأساس.
شاهده يتحرّك. أعد تشكيل توزيع وراقب أين تستقرّ كتلته: البديهيتان نفساهما، وصور شديدة الاختلاف.
تفاعلي: أشكال الأعداد والمقادير
توزيع Poisson للأعداد، وتوزيع Gamma للمقادير.
- المتوسط
- 4.0
- التباين
- 4.0
- الخاصية
- المتوسط = التباين
يتميز توزيع Poisson بخاصية لافتة، وهي أن متوسطه يساوي تباينه (كلاهما λ)، ولذلك فهو النموذج الأول الطبيعي لعدّ الأحداث المستقلة في فترة ثابتة: حالات الوصول في طابور، أو الكلمات في نص، أو الطفرات على امتداد الجينوم. وحين تكون الأعداد الحقيقية أكثر تبايناً من ذلك، يُلجأ إلى التوزيع ذي الحدين السالب.
جرّبه مباشرةً. خذ عيّنات من عائلتين معياريتين، وتحقّق من عزومهما، وراقب مبرهنة النهاية المركزية وهي تظهر:
يعمل في متصفحك. تُنزّل عملية التشغيل الأولى بيئة بايثون (~10 ميغابايت)، ثم تُخزّن مؤقتًا.
قبل الاختبار
تأكّد أنّك تستطيع، دون العودة إلى الوراء: عدّ عوالم نردين وقول لماذا هي 36 لا 21، واشتقاق قاعدة المتمّم من البديهيتين، وقول ما الذي تطرحه قاعدة الجمع ولماذا. والمعالجة الأطول، مع مزيد من الأمثلة المحلولة، في الاحتمالات من الصفر.
المراجع والقراءات الإضافية
- Stuart Russell, Peter Norvig, Artificial Intelligence: A Modern Approach, Pearson (3rd edition), 2010· مكتبة مراجع Kudos AI
تُذكر الأعمال المحمية بحقوق النشر للمرجعية فقط ولا تُستضاف هنا؛ يرجى الرجوع إلى الناشر للوصول إليها.
افتح المسار كاملًا
هذا الدرس الأول مجاني. سجّل لتخوض اختبار الإتقان وتكسب نقاط الخبرة وتفتح جميع الوحدات، مع مزيد من الأمثلة التفاعلية القابلة للتشغيل.