The Curvature of Belief: Fisher–Rao Information Geometry and the Limits of Cognition
تجادل هذه الورقة بأن نمذجة فضاءات الاعتقاد كمتشعبات ريمانية منحنية مجهزة بمقياس فيشر-راو توفر إطاراً موحداً للتمييز بين العقلانية المحدودة واللاعقلانية، وإعادة تفسير التحيزات الشائعة في الأحكام بوصفها اختصارات إقليدية على هندسة منحنية، ووضع حدود قاطعة للدقة الإدراكية في البيئات غير اليقينية.
على مدى عقود، اعتمد العلماء الذين يدرسون كيفية تفكير البشر على فكرة بسيطة: وهي أن معتقداتنا تشبه الأرقام. فعندما نتعلم شيئًا جديدًا، نقوم بتعديل هذه الأرقام بالزيادة أو النقصان، تمامًا كما يفعل طالب يضيف أو يطرح أرقامًا على سبورة. هذا النهج، المعروف باسم الاستدلال البايزي (Bayesian inference)، أصبح اللغة المعيارية لفهم كل شيء، من كيفية رؤيتنا للعالم إلى كيفية اتخاذ هيئات المحلفين لقرارات الإدانة. وهو يفترض أن الفضاء الذي تعيش فيه معتقداتنا مسطح ومستقيم، حيث تكون المسافة بين فكرتين مجرد الفرق البسيط بين أرقامهما. لكن هذا الافتراض يترك سؤالاً جوهرياً دون إجابة: هل تضاريس عقولنا مسطحة حقاً، أم أنها منحنية؟ إذا كان مجال المعتقدات منحنيًا، فإن الخطوط المستقيمة التي نستخدمها للتنقل فيه ستكون أوهاماً، والأخطاء التي نرتكبها قد لا تكون فشلاً في المنطق، بل نتيجة حتمية للسير في خط مستقيم على عالم مستدير.
تقترح دراسة جديدة أجراها بارتوش دبليو. فويتشيكوفسكي من جامعة ياغيلونغيان في بولندا أن فضاء المعتقدات منحني بالفعل، مشكلاً بواسطة مبدأ رياضي يسمى مقياس "فيشر-راو" (Fisher–Rao metric). يقيس هذا المقياس المسافة بين معتقدين ليس بناءً على مدى اختلاف أرقامهما، بل بناءً على مدى سهولة تمييز الأدلة بينهما. في هذا المشهد المنحني، يعد الانتقال من احتمال 50% إلى 55% خطوة صغيرة، لكن الانتقال من 0% إلى 0.1% يمثل رحلة شاقة، لأن الأخير يمثل تحولاً من الاستحالة إلى الإمكانية. ويجادل المؤلف بأنه نظرًا لأن أدمغتنا غالباً ما تعامل هذا الفضاء المنحني كما لو كان مسطحاً، فإننا نرتكب أخطاءً منهجية تبدو كأنها عدم عقلانية، لكنها في الواقع هي الثمن المدفوع لاستخدام خريطة خاطئة.
تخلص الورقة البحثية إلى استنتاجين رئيسيين من هذه الرؤية الهندسية. أولاً، هي تضع حداً قاطعاً لمدى دقة أي عقل في تتبع عالم متغير. فتماماً كما لعدسة الكاميرا حد فيزيائي لمدى حدة الصورة، فإن العقل البشري لديه حد لمدى دقة المعتقد، اعتماداً على مدى سرعة تغير البيئة ومدى المعلومات التي توفرها كل قطعة جديدة من الأدلة. وتستنتج الدراسة صيغة دقيقة لهذا الحد في بيئة متغيرة، موضحة أنه في عالم متقلب، يجب على حتى أذكى وكيل معرفي أن يقبل قدراً معيناً من الخطأ. وهذا يخلق طريقة جديدة لتقييم الأداء البشري: إذا تطابقت أخطاء الشخص مع هذا الحد الرياضي الأدنى، فهو ليس غير عقلاني؛ بل هو ببساطة يقوم بأفضل عمل ممكن في ظل فوضى العالم. وفقط عندما تتجاوز الأخطاء هذا الحد، يظهر عدم العقلانية الحقيقي.
ثانياً، تشير الدراسة إلى أن العديد من انحيازات الحكم الشائعة — مثل تجاهل المعدلات الأساسية، أو كون المرء متحفظاً للغاية، أو المبالغة في تقدير ثقته — هي نتيجة لاتخاذ "اختصارات إقليدية" (Euclidean shortcuts). إذا قام الشخص بتحديث معتقداته عن طريق حساب متوسط الأرقام ببساطة على مقياس مسطح، فإنه سيستقر بشكل منهجي في مكان خاطئ مقارنة بشخص يتنقل في الهندسة المنحنية الحقيقية للمشكلة. وتوضح الأبحاث ذلك من خلال مثال محدد يتضمن احتمالية بسيطة بنعم أو لا. فعندما يحاول وكيل تحديث معتقده من احتمال منخفض إلى احتمال مرتفع، فإن الحساب القائم على الخط المستقيم يضعه أقرب إلى المنتصف مما كان سيحدث لو اتبع المسار الرياضي الصحيح. هذا "انحياز المركزية" يسحب المعتقدات المتطرفة نحو المتوسط، مما يفسر لماذا يسيء الناس غالباً تقدير الأحداث النادرة أو يفشلون في تبني الأدلة القوية بشكل كامل. ويوضح المؤلف ذلك من خلال محاكاة حاسوبية قابلة للتكرار تظهر بدقة كيف تتراكم هذه الأخطاء عبر كامل طيف الاحتمالات، حيث تحدث أكبر الأخطاء بالقرب من حدود اليقين والاستحالة.
ومع ذلك، يحرص المؤلف على التمييز بين ما هو مثبت وما يزال فرضية. إن فكرة أن فضاء المعتقدات منحني وأن هذا يضع حداً صلباً للإدراك هي فكرة راسخة في دراسة الرؤية والترميز العصبي، حيث تم قياسها وتأكيدها مراراً وتكراراً. وفي هذه المجالات الحسية، يبدو أن الدماغ يحترم هذه الهندسة تماماً. ولكن عندما يتعلق الأمر بالتفكير عالي المستوى، مثل كيفية وزن الناس للاحتمالات في القرارات المعقدة، فإن تفسير الهندسة المنحنية لا يزال برنامجاً بحثياً واعداً وليس حقيقة مكتملة. وتقر الورقة بأنه رغم قدرة التفسير الهندسي على شرح "شكل" هذه الانحيازات، إلا أنه لا يتطابق تماماً بعد مع الأرقام المحددة التي تجدها التجارب البشرية، وقد توجد تفسيرات أخرى تناسب البيانات بنفس القدر. ويدعو المؤلف إلى اختبارات جديدة وصارمة لمعرفة ما إذا كان النموذج الهندسي يمكنه التنبؤ بالأخطاء البشرية بشكل أفضل من النظريات الحالية، لا سيما في المواقف التي تنطوي على أحداث نادرة أو قرارات عالية المخاطر مثل تقصي الحقائق القانونية أو التواصل بشأن المخاطر.
في نهاية المطاف، يعيد هذا العمل صياغة النقاش حول الخطأ البشري. فهو يشير إلى أن العقل ليس بالضرورة "معطلاً" عندما يرتكب أخطاء في البيئات المتقلبة أو عندما يكافح مع الاحتمالات المتطرفة؛ بل قد يكون ببساطة يتنقل في مشهد منحني باستخدام خريطة مسطحة. ومن خلال إدراك الشكل الحقيقي للفضاء الذي تعيش فيه المعتقدات، يمكن للعلماء التمييز بشكل أفضل بين الحدود الحتمية للإدراك وبين عدم العقلانية الحقيقية. توفر الدراسة الأدوات لقياس هذا الانحناء وتقدم مساراً واضحاً لاختبار ما إذا كانت عقولنا تتبع حقاً المسارات الجيوديسية لعالم منحني، أم أنها تستمر في التعثر في الخطوط المستقيمة لحدسنا.
ملخص تقني: انحناء الاعتقاد: هندسة راو-فيشر للمعلومات وحدود الإدراك
بيان المشكلة تعمد علوم الإدراك والعلوم الاجتماعية بشكل روتيني إلى نمذجة المعتقدات كأدوات توزيع احتمالي، حيث تُعامل فضاءات الاعتقاد كفضاء إقليدي مسطح، حيث تكون المسافة هي مجرد الفرق الحسابي البسيط بين الأرقام. ومع ذلك، يترك هذا النهج سؤالاً جوهرياً ضمنياً: ما هي الهندسة الطبيعية لفضاء المعتقدات؟ إذا كان الفضاء منحنياً، فإن الحدس الإقليدي القياسي فيما يتعلق بالمسافات، والمسارات الأقصر (الجيوديسية)، والنقل الموازي، سيكون خاطئاً بنيوياً. إن الوكيل الذي يعتمد على استدلالات الفضاء المسطح في منوع (manifold) معتقدات منحني سيقع حتماً في أخطاء منهجية تحاكي عدم العقلانية. تعالج هذه الورقة غياب إطار هندسي صارم لفضاءات المعتقَد، وما يترتب على ذلك من غموض في التمييز بين العقلانية المحدودة (الأداء الأمثل تحت القيود) وعدم العقلانية الحقيقية.
المنهجية تستخدم الورقة هندسة المعلومات، وتحديداً مقياس راو-فيشر، لتحديد هندسة الاعتقاد.
الإطار النظري: تستخدم الورقة مبرهنة الوحدوية لـ "شينتوف" (1982)، والتي تثبت أن مقياس راو-فيشر هو المقياس الريماني الوحيد الثابت تحت مورفيزمات ماركوف (الخرائط العشوائية التي لا تخلق معلومات). وهذا يفرض أن هندسة الاعتقاد منحنية وليست مجرد خيار للنمذجة.
الاشتقاق التحليلي: يشتق المؤلف تعبيرات دقيقة ذات صيغة مغلقة لكل من:
مسافة راو-فيشر على منوع برنولي (المعتقدات الثنائية)، باستخدام تحويل جذر الجيب العكسي (ϕ=2arcsinp) لخرائط المنوع المنحني إلى فضاء مسطح.
حد كرامر-راو لوكيل تتبع في بيئة متقلبة (مسار عشوائي)، عبر حل معادلة التباين في الحالة المستقرة لمتتبع بايزي (تقريب مرشح كالمان) لتحديد الحد الأدنى غير القابل للاختزال للخطأ.
العرض الحسابي: يقوم نص برمجي بلغة بايثون (بدون معاملات مضبوطة) بحساب منتصفات الجيوديسيا مقابل المنتصفات الإقليدية عبر منوع برنولي لتصور "تحيز المركزية". كما يحسب تباين التتبع في الحالة المستقرة (V∗) بدقة كدالة لتقلب البيئة (σ) ومعلومات فيشر لكل ملاحظة (I).
المساهمات والنتائج الرئيسية
1. حد كرامر-راو الإدراكي تعيد الورقة صياغة حد كرامر-راو الإحصائي كحد معرفي صلب على الإدراك.
الحد: دقة أي معتقد للوكيل محكومة بقلب معلومة فيشر للبيانات. لا يمكن لأي قدر من الذكاء أو الحوسبة تجاوز هذا الحد.
الحد المرتبط بالتقلب: في البيئات المتغيرة حيث تنجرف الكمية المتتبعة (التباين σ2)، لا يكون الحد مجرد مقلوب معلومة فيشر فحسب، بل هو دالة مشتركة للمعلومات والتقلب. تشتق الورقة تعبيراً دقيقاً لتباين البعد المستقر V∗: V∗=2IIσ2+I2σ4+4Iσ2−σ2
الآثار المترتبة: يضع هذا حداً كمياً لـ "العقلانية المحدودة". فالوكيل الذي يعمل عند هذا الحد في بيئة عالية التقلب يظهر أخطاء كبيرة (عدم دقة، تأخر) لكنه يؤدي بشكل أمثل. الأخطاء التي تقع دون هذا الحد فقط هي التي تشكل عدم عقلانية حقيقية.
2. التحيزات كأخطاء انحناء تقترح الورقة آلية لمجموعة من تحيزات الحكم (إهمال المعدل الأساسي، التحفظ، ترجيح الاحتمالات، الإفراط في الثقة) كنتيجة لاتخاذ الوكلاء اختصارات إقليدية على منوع منحني.
الآلية: التحديث البايزي العقلاني يقابل التحرك على طول مسار جيوديسي في منوع المعتقد. الوكيل الذي يستخدم استكمالاً إقليدياً قياسياً في إحداثيات الاحتمال ينحرف عن هذا المسار.
اتجاه الخطأ: يُسحب المنتصف الإقليدي بشكل منهجي نحو المركز (p=0.5) بالنسبة للمنتصف الجيوديسي. هذا "تحيز المركزية" يحاكي رياضياً إهمال المعدل الأساسي والتحفظ.
النتائج الكمية:
التفاوت بين المنتصف الإقليدي والجيوديسي يكون صفراً للأزواج المتماثلة (مثل 0.40 و 0.60).
التفاوت يكون في أقصى درجاته بالقرب من الحدود (على سبيل المثال، زوج من 0.01 و 0.50 يعطي إزاحة قدرها ~0.071).
التأثير حقيقي ولكنه متواضع في الجزء الداخلي من المنوع، ويصبح كبيراً فقط بالقرب من الحدود (اليقين/الاستحالة).
3. الصلاحية التجريبية والاختبارات التمييزية تحدد الورقة صراحةً نطاق الصلاحية التجريبية لهذا الإطار:
المثبت: على مستوى علم النفس الفيزيائي الإدراكي والترميز العصبي، يعد هندسة راو-فيشر قيداً مقاساً. فالترميز الفعال، وحدود فك التشفيد للسكان العصبيين، ومعدلات التعلم الحساسة للتقلب (Behrens et al., 2007; Nassar et al., 2010) مؤكدة كمياً.
المضمار البحثي (برنامج بحثي): بالنسبة لـ التحيزات المعرفية العليا (مثل ترجيح الاحتمالات في اتخاذ القرار)، يعد الإطار آلية مقترحة وليس تفسيراً ثابتاً. يقدم التفسير الهندسي حالياً تطابقات نوعية (مثل أشكال حرف S المنحنية) ولكنه يفتقر إلى الصيغة الوظيفية الدقيقة للنماذج الظواهرية (مثل Prelec, Tversky & Kahneman) ويتطلب افتراضات مساعدة حول الاستدلالات المحددة المستخدمة.
الاختبارات المقترحة: تحدد الورقة ثلاثة اختبارات تمييزية لدفع هذا البرنامج للأمام:
استقصاء عالي الدقة لترجيح الاحتمالات بالقرب من الحدود لمقارنة الصيغ الوظيفية الهندسية مقابل الصيغ الظواهرية.
مهام تحديث المعتقد التي تربط أنماط الخطأ بخريطة "تحيز المركزية" المتوقعة (يجب أن تتلاشى الأخطاء في المناطق المتماثلة وتصل لذروتها قرب الحدود).
مهام التتبع التي تتلاعب بالتقلب والمعلومات للتحقق مما إذا كان خطأ الإنسان يرتفع وفقاً لقانون σ/I ويستقر تماماً عند الحد المشتق.
الأهمية والادعاءات تدعي الورقة أن هندسة المعتقد منحنية ومفروضة بموجب متطلبات الثبات المعلوماتي، وليست مجرد خيار للنمذجة.
للعلوم الاجتماعية: توفر أداة صارمة للتمييز بين العقلانية المحدودة (الأداء المحدود بتقلب البيئة والمعلومات) وعدم العقلانية. وهي تشير إلى أن نماذج إثبات الحقائق القانونية، والتنبؤ، وتوصيل المخاطر يجب أن تأخذ في الاعتبار أن "المسافة" في فضاء المعتقد ليست خطية؛ فعلى سبيل المثال، الفرق بين "المستحيل" و"واحد في الألف" شاسع معلوماتياً، بينما الفرق بين 0.50 و 0.55 طفيف.
التواضع: يذكر المؤلف صراحة أن الإطار ليس نظرية مكتملة للعقل. بالنسبة للإدراك الأعلى، يظل الإطار برنامجاً بحثياً ينتظر الاختبارات التمييزية. لا تدعي الورقة تفسير جميع التحيزات، بل تقدم مرشحاً هندسياً طبيعياً يوحد الظواهر الإدراكية والمعرفية تحت مقياس واحد، بشرما يتوافق تمثيل الوكيل مع هندسة راو-فيشر.
القيود المعترف بها
يقتصر العرض الكمي على منوع برنولي أحادي البعد؛ تتطلب المنوعات ذات الأبعاد الأعلى حسابات منفصلة.
"التحديث الإقليدي" هو استدلال نمطي؛ قد يستخدم الوكلاء عمليات أخرى في الفضاء المسطح.
يفترض حد التتبع الدقيق مساراً عشوائياً غاوسياً؛ قد تتضمن البيئات الحقيقية قفزات.
لا تقدم الورقة بيانات تجريبية جديدة؛ مساهمتها نظرية ومنهجية، حيث تحدد التنبؤات التي يجب أن تختبرها الأعمال التجريبية المستقبلية.