أمام عرّاف يعلم كل شيء، هل يجب أن تأخذ صندوقاً واحداً فقط؟ مفارقة نيوكومب ونظرية القرار السببي

1. التجربة الفكرية التي شطرت العقلانية: مفارقة نيوكومب (1960–1969)

في عام 1960، صاغ الفيزيائي النظري ويليام نيوكومب (William A. Newcomb) في مختبر لورانس ليفرمور الوطني بجامعة كاليفورنيا معضلة اختيار تبدو بسيطة لكنها هزت أركان نظرية الاختيار العقلاني الحديثة. وبعد أن قدّمها فيلسوف هارفارد روبرت نوزيك (Robert Nozick) إلى الأوساط الأكاديمية في ورقته التأسيسية عام 1969 بعنوان «مشكلة نيوكومب ومبدآن للاختيار» (Newcomb’s Problem and Two Principles of Choice)، ونشرها مارتن غاردنر في مجلة Scientific American (1973، 1974)، انقسم الاقتصاديون والرياضيون والفيزيائيون والفلاسفة إلى معسكرين متصادمين.

وقد لخّص نوزيك هذا الانقسام في عبارته الشهيرة:

«بالنسبة لكل شخص تقريباً، يبدو ما يجب فعله واضحاً وبديهياً تماماً. تكمن الصعوبة في أن الناس ينقسمون بالتساوي تقريباً حول هذه المشكلة، حيث يعتقد قطاع كبير من كل فريق أن النصف الآخر يتصرف بحماقة فحسب.» — Robert Nozick (1969), “Newcomb’s Problem and Two Principles of Choice”

1.1 الإعداد القياسي للتجربة: صندوقان والمتنبئ الخارق أوميغا ($\Omega$)

تقف أمام طاولة عليها صندوقان: الصندوق الشفاف A والصندوق المعتم B.

الصندوق الشفاف A: مصنوع من الزجاج الشفاف، ويحتوي بوضوح تام على $\$1,000$ نقداً.
الصندوق المعتم B: مصنوع من الفولاذ المغلق، وتعلم يقيناً أنه يحتوي إما على $\$1,000,000$ (مليون دولار) أو على $$0$ (فارغ تماماً).

في اللحظة الحالية $t = 0$، عليك الاختيار بين فعلين فقط:

أخذ صندوق واحد (One-Boxing, $A_1$): ترك الصندوق الشفاف A وأخذ الصندوق المعتم B فقط.
أخذ الصندوقين معاً (Two-Boxing, $A_2$): أخذ الصندوق A والصندوق B كليهما.

الشخصية المحورية في الخلفية هي المتنبئ الخارق أوميغا ($\Omega$)، الذي حققت عمليات مسح الدماغ والمحاكاة العصبية الحاسوبية لديه دقة تنبؤ موثقة بنسبة $99\%$ ($p = 0.99$) عبر آلاف التجارب السابقة. بالأمس (عند الزمن $t = -1$)، تنبأ $\Omega$ باختيارك اليوم وجهّز الصندوق B وفق القاعدة الصارمة التالية:

حالة العالم $S_1$ ($\text{Pred}_1$: تنبأ $\Omega$ بأنك ستأخذ الصندوق B فقط، $A_1$): وضع $\Omega$ بالأمس مبلغ $\$1,000,000$ داخل الصندوق B.
حالة العالم $S_2$ ($\text{Pred}_2$: تنبأ $\Omega$ بأنك ستأخذ الصندوقين معاً، $A_2$): ترك $\Omega$ بالأمس الصندوق B فارغاً ($\$0$).

يُشترط هنا الانغلاق السببي للماضي بصرامة: لقد غادر $\Omega$ بالأمس، ولا توجد سببية رجعية ($A \not\to S$). حركتك اليوم عند $t = 0$ لا يمكنها تغيير محتوى الصندوق B فيزيائياً.

اختيارك اليوم (عند $t = 0$)	الحالة $S_1$ ($\text{Pred}_1$): تنبأ $\Omega$ بـ $A_1$ (الصندوق B فيه $\$1,000,000$)	الحالة $S_2$ ($\text{Pred}_2$): تنبأ $\Omega$ بـ $A_2$ (الصندوق B فيه $\$0$)
$A_1$: أخذ الصندوق B فقط (One-Boxing)	$\$1,000,000$	$\$0$
$A_2$: أخذ الصندوقين A و B معاً (Two-Boxing)	$\$1,001,000$	$\$1,000$

  flowchart TD
    D["الزمن t = -2: البنية العصبية والميل الإدراكي (D)"] -->|"t = -1: مسح ومحاكاة بواسطة أوميغا"| S["الزمن t = -1: تنبؤ أوميغا وحالة الصندوق B (S1: $1M / S2: $0)"]
    D -->|"t = 0: التروي الواعي والاختيار"| A["الزمن t = 0: فعل الفاعل (A1: صندوق واحد / A2: صندوقان)"]
    S -->|"يحدد محتوى الصندوق B"| Y["العائد النهائي U(A, S)"]
    A -->|"A2 يضيف +$1,000 مضمونة من الصندوق A"| Y
    S -.->|"لا توجد سببية عكسية (A ↛ S)"| A

2. الركيزة الأولى: نظرية القرار الدليلي (EDT) وحجة أصحاب الصندوق الواحد

الأساس الصوري لمعسكر الصندوق الواحد هو نظرية القرار الدليلي (Evidential Decision Theory, EDT) التي صاغها ريتشارد جيفري (Richard C. Jeffrey) في كتابه الكلاسيكي منطق القرار (The Logic of Decision, 1965).

2.1 المنفعة المتوقعة الشرطية و«القيمة الإخبارية (News Value)»

في جبر بول الموحد عند جيفري، تُقاس جاذبية الفعل $A_i$ بـقيمته الإخبارية (News Value) الموزونة بالاحتمال الشرطي البايزي $\mathbb{P}(S_j \mid A_i)$:

$$\text{EU}_{\text{EDT}}(A_i) = \sum_{j} \mathbb{P}(S_j \mid A_i)\, U(A_i, S_j)$$

بما أن $\mathbb{P}(S_1 \mid A_1) = 0.99$ و$\mathbb{P}(S_2 \mid A_1) = 0.01$، وكذلك $\mathbb{P}(S_1 \mid A_2) = 0.01$ و$\mathbb{P}(S_2 \mid A_2) = 0.99$، نحصل على:

$$\begin{aligned} \text{EU}_{\text{EDT}}(A_1) &= 0.99 \times \$1,000,000 + 0.01 \times \$0 = \$990,000 \\ \text{EU}_{\text{EDT}}(A_2) &= 0.01 \times \$1,001,000 + 0.99 \times \$1,000 = \$10,010 + \$990 = \$11,000 \end{aligned}$$

وبوجه عام، لجائزة $M$ في الصندوق B ومبلغ $k$ في الصندوق A ودقة تنبؤ $p$:

$$\text{EU}_{\text{EDT}}(A_1) > \text{EU}_{\text{EDT}}(A_2) \iff p M > (1-p)(M+k) + pk \iff p > \frac{1}{2} + \frac{k}{2M} = 0.5005$$

أي بمجرد أن تتجاوز دقة أوميغا $50.05\%$، تأمر EDT بأخذ صندوق واحد ($A_1$)، ومن هنا وُلدت السخرية الشهيرة الموجهة لأصحاب الصندوقين: «إذا كنتم أذكياء إلى هذا الحد، فلماذا لستم أثرياء؟» (If you’re so smart, why ain’t you rich?)

3. الركيزة الثانية: نظرية القرار السببي (CDT)، مبدأ الهيمنة الصارمة، وحساب-$do$ عند بيرل

أثبت مؤسسو نظرية القرار السببي (Causal Decision Theory, CDT) — ألان غيبارد وويليام هاربر (1978)، وبرايان سكيرمز (1980)، وديفيد لويس (1981)، وجيمس جويس (1999)، والحائز على جائزة تورنغ جوديا بيرل (2000) — أن EDT تخلط بين الارتباط التشخيصي (الدليل الإحصائي) والفعالية السببية.

3.1 مبدأ الهيمنة الصارمة والشرطيات المضادة للواقع

وفق مبدأ الهيمنة الصارمة عند ليونارد سافاج (1954)، بما أن حالة الصندوق B ($S_1$ أو $S_2$) محددة سلفاً في الماضي ومستقلة سببياً عن فعلك $A$، فإن أخذ الصندوقين ($A_2$) يمنحك $+\$1,000$ إضافية في *كل* حالة ممكنة للعالم ($1,001,000 > 1,000,000$ و$1,000 > 0$).

استبدل غيبارد وهاربر (1978) الاحتمال الشرطي $\mathbb{P}(S_j \mid A_i)$ باحتمال القضية الشرطية المضادة للواقع عند ستالناكر-لويس $\mathbb{P}(A_i \Box\!\to S_j)$، بينما صاغ جوديا بيرل (2000) نظرية CDT عبر النماذج السببية البنيوية (SCM) ومؤثر التدخل $do(A_i)$:

$$\text{EU}_{\text{CDT}}(A_i) = \sum_{j} \mathbb{P}(S_j \mid do(A_i))\, U(A_i, S_j)$$

3.2 شوكة السبب المشترك ($S \leftarrow D \to A$) وجراحة البيان

في البيان الموجه غير الدوري (DAG)، يُعد ميلك العصبي السابق $D$ سبباً مشتركاً (Common-Cause Fork: $S \leftarrow D \to A$) لكل من تنبؤ أوميغا بالأمس $S = f_S(D, U_S)$ واختيارك اليوم $A = f_A(D, U_A)$.

  flowchart TD
    subgraph G_obs["1. البيان الرصدي G (EDT: المسار الخلفي A ← D → S مفتوح)"]
        D1["الميل العصبي D (سبب مشترك)"] -->|"f_S(D): ارتباط 99%"| S1["حالة الصندوق B S (t = -1)"]
        D1 -->|"f_A(D): التروي"| A1["الفعل المرصود A (t = 0)"]
        S1 --> Y1["العائد Y"]
        A1 --> Y1
    end
    subgraph G_do["2. بيان التدخل المبتور G_do(A) (CDT: قطع السهم D → A)"]
        D2["الميل العصبي D (سبب مشترك)"] -->|"f_S(D)"| S2["حالة الصندوق B S (t = -1)"]
        DO["التدخل do(A = a)"] ==>|"يستبدل المعادلة f_A"| A2["الفعل المتدخل به A = a (t = 0)"]
        S2 --> Y2["العائد Y"]
        A2 --> Y2
    end

بينما يفتح التكييف الرصدي $\mathbb{P}(S \mid A)$ المسار الخلفي (Back-door Path) $A \leftarrow D \to S$، تقوم جراحة البيان ($do(A_i)$) عند بيرل بقطع السهم $D \to A$، مما يؤدي رياضياً إلى:

$$\mathbb{P}(S_j \mid do(A_i)) = \mathbb{P}(S_j) \implies \text{EU}_{\text{CDT}}(A_2) - \text{EU}_{\text{CDT}}(A_1) = +\$1,000 > 0$$

4. مشاكل نيوكومب الطبية (آفة المدخن) ومذهب الجبر الكالفيني عند ماكس فيبر

4.1 «آفة المدخن (The Smoking Lesion, Skyrms 1980)»

بناءً على الفرضية التكوينية لرونالد فيشر، صاغ برايان سكيرمز (1980) تجربة آفة المدخن: لنفترض أن تدخين التبغ غير مسرطن إطلاقاً ($A_{\text{smoke}} \not\to C$)، لكن طفرة جينية خلقية $L$ تسبب باحتمال $99\%$ كلاً من الرغبة في التدخين ($A_{\text{smoke}}$، متعة $+1$) وسرطان الرئة القاتل ($C$، منفعة $-1,000$).

في الشوكة $C \leftarrow L \to A$، تحسب EDT أن $\text{EU}_{\text{EDT}}(A_{\text{abstain}}) = -10$ مقابل $\text{EU}_{\text{EDT}}(A_{\text{smoke}}) = -989$، فتأمرك خرافياً بالامتناع عن التدخين لتقليل الاحتمال الشرطي لكونك قد وُلدت بالجين $L$!
أما CDT فتدرك عبر $\mathbb{P}(C \mid do(A)) = \mathbb{P}(C)$ أن الجينات لا تتغير وتوصي بعقلانية بالتدخين ($+1$).

4.2 التماثل البنيوي مع القضاء والقدر الكالفيني عند ماكس فيبر (1905)

كما أشار نوزيك (1969)، فإن عقيدة التقدير المزدوج (Predestination) لجان كالفن التي حللها ماكس فيبر في كتابه «الأخلاق البروتستانتية وروح الرأسمالية» (1904–1905) تمثل مشكلة نيوكومب لاهوتية: فقد قضى الله منذ الأزل من هم المختارون للخلاص ($S_1$) ومن هم الهالكون ($S_2$)، ولا يمكن لأي عمل بشري ($A_1$) أن يغير هذا القضاء سببياً ($A \not\to S$). ومع ذلك، مارس البيوريتانيون الزهد الدنيوي الصارم ($A_1$) ليس بوصفه سبباً للخلاص (causa salutis)، بل بوصفه علامة تشخيصية ودليلاً معرفياً على الاصطفاء (cognoscendi ratio) ضمن الشوكة $\text{الخلاص } S_1 \leftarrow \text{النعمة الإلهية } D \to \text{العمل الزهدي } A_1$، معظّمين بذلك $\mathbb{P}(S_1 \mid A_1)$ تماماً كفاعلين يتبعون EDT!

5. «دفاع الدغدغة» لإيلري إيلز وتماثل معضلة السجينين التوأمين لديفيد لويس

5.1 «دفاع الدغدغة (Tickle Defense, 1982)» وقابلية المصادقة (Ratifiability)

لإنقاذ EDT من آفة المدخن، جادل إيلري إيلز (Ellery Eells, 1982) بأن الجين $L$ لا يسبب الفعل $A$ إلا عبر رغبة واعية أو «دغدغة» $T = (\mathcal{B}, \mathcal{D})$ ($C \leftarrow L \to T \to A$). فإذا علم الفاعل حالته الداخلية $T$ بالاستبطان قبل الفعل، فإن التكييف على $T$ يحجب (Screening-Off) الارتباط بين $A$ و$L$: $\mathbb{P}(C \mid A, T) = \mathbb{P}(C \mid T)$، فتتطابق EDT مع CDT. غير أن هذا يفشل في مفارقة نيوكومب لأن $\Omega$ يتنبأ بالقرار النهائي ذاته، كما يبيّن معيار قابلية المصادقة (Ratifiability, Jeffrey 1983) أن قرار أخذ صندوق واحد ($\text{Decide}(A_1)$) غير قابل للمصادقة، إذ بمجرد ثبوت $\text{Decide}(A_1)$ يصبح التحول إلى $A_2$ أفضل بمقدار $+\$1,000$.

5.2 مبرهنة التماثل لديفيد لويس: «Prisoners’ Dilemma Is a Newcomb Problem» (1979)

في عام 1979، برهن ديفيد لويس على أن معضلة السجينين لمرة واحدة ضد توأم نفسي (أو نسخة تشغل نفس الشيفرة المصدرية) متماثلة بنسبة $100\%$ مع مفارقة نيوكومب:

التعاون ($C_{\text{PD}}$: التنازل عن $\$1,000$ لمنح توأمك $$1,000,000$) $\Longleftrightarrow$ أخذ صندوق واحد ($A_1$).
الخيانة ($D_{\text{PD}}$: أخذ $+\$1,000$ لنفسك) $\Longleftrightarrow$ أخذ الصندوقين ($A_2$). بما أن أوميغا يتنبأ بك عبر تشغيل محاكاة (توأم) لعقلك بالأمس، فإن اللعبتين متطابقتان تماماً. استنتج لويس وجوب الخيانة وأخذ الصندوقين، بينما صاغ دوغلاس هوفشتاتر (1983) مفهوم العقلانية الفائقة (Superrationality) لتبرير التعاون المتبادل $(C_{\text{PD}}, C_{\text{PD}})$ وأخذ صندوق واحد ($A_1$).

6. آفاق محاذاة الذكاء الاصطناعي: نظرية القرار الوظيفي (FDT)

بالنسبة لوكلاء البرمجيات (الذكاء الاصطناعي) الذين يمكن قراءة شيفرتهم المصدرية أو محاكاتها بدقة $100\%$ داخل بيئة معزولة (sandbox)، يُعد المتنبئ $\Omega$ واقعاً هندسياً يومياً. وفي عام 2017، صاغ إليعازر يودكوفسكي ونيت سواريس (بدمج TDT وUDT لوِي داي) نظرية القرار الوظيفي (Functional Decision Theory, FDT).

6.1 الشرطيات المضادة للواقع المنطقية: التدخل في الدالة الرياضية $\mathsf{F}$

تعامل CDT القرار كحدث فيزيائي موضعي $A$ عند $(x_0, t_0)$ وتفترض عند حساب $do(A = A_2)$ عالماً مستحيلاً منطقياً تُخرج فيه نفس الخوارزمية الحتمية $\mathsf{F}(\mathcal{I})$ القيمة $A_1$ بالأمس في محاكي أوميغا والقيمة $A_2$ اليوم. أما FDT فتتدخل مباشرة في مخرجات دالة القرار الرياضية $\mathsf{F}(\mathcal{I})$ ذاتها:

$$\text{EU}_{\text{FDT}}(a) = \sum_{j} \mathbb{P}\!\left(S_j \;\middle|\; do(\mathsf{F}(\mathcal{I}) = a)\right) U(a, S_j)$$

مفارقة نيوكومب: بما أن تنبؤ أوميغا $S = f_S(\mathsf{F}(\mathcal{I}), U_S)$ يعتمد وظيفياً على $\mathsf{F}(\mathcal{I})$، فإن التدخل $do(\mathsf{F}(\mathcal{I}) = A_1)$ يضبط المحاكاة والفعل الحالي معاً على $A_1$ $\implies$ تختار FDT صندوقاً واحداً ($A_1$) وتربح $\$1,000,000$!
آفة المدخن: بما أن الجين الخلقي $L$ ليس محاكاة للدالة $\mathsf{F}(\mathcal{I})$ ($C \leftarrow L \to \mathcal{I} \to \mathsf{F}(\mathcal{I}) \to A$)، فإن $do(\mathsf{F}(\mathcal{I}) = a)$ لا يغير احتمال السرطان $\implies$ تختار FDT التدخين ($A_{\text{smoke}}$) بلا خرافات!
نيوكومب الشفاف (مسافر بارفيت) وتوازن البرامج (مبرهنة لوب): حتى لو كان الصندوق B شفافاً ورأيت المليون دولار بداخله، تحسّن FDT/UDT السياسة الكلية $\mathsf{F}$ مسبقاً وتأخذ الصندوق B فقط؛ وفي معضلة السجينين مفتوحة المصدر، يستخدم FairBot مبرهنة لوب ($\square(\square P \to P) \to \square P$) لتحقيق تعاون متبادل قابل للإثبات رسمياً.

6.2 جدول مقارن شامل: EDT مقابل CDT مقابل FDT/UDT

البُعد / المعضلة	النظرية الدليلية (EDT — Jeffrey 1965)	النظرية السببية (CDT — Lewis, Pearl)	النظرية الوظيفية (FDT / UDT — Yudkowsky & Soares 2017)
صيغة المنفعة المتوقعة	$\sum_j \mathbb{P}(S_j \mid A_i)\, U(A_i, S_j)$	$\sum_j \mathbb{P}(S_j \mid do(A_i))\, U(A_i, S_j)$	$\sum_j \mathbb{P}(S_j \mid do(\mathsf{F}(\mathcal{I}) = a))\, U(a, S_j)$
1. مفارقة نيوكومب القياسية	صندوق واحد ($A_1$) ($\$1,000,000$)	صندوقان ($A_2$) ($\$1,000$)	صندوق واحد ($A_1$) ($\$1,000,000$)
2. آفة المدخن (طبية)	الامتناع ($A_{\text{abstain}}$) (خرافة)	التدخين ($A_{\text{smoke}}$) (صحيح، $+1$)	التدخين ($A_{\text{smoke}}$) (صحيح، $+1$)
3. معضلة السجينين التوأمين	التعاون ($C_{\text{PD}}$) ($\$1,000,000$)	الخيانة ($D_{\text{PD}}$) ($\$1,000$)	التعاون ($C_{\text{PD}}$) ($\$1,000,000$)
4. نيوكومب الشفاف	صندوقان (الرصد يحجب الدليل $\implies \$0$)	صندوقان (الهيمنة $\implies \$0$)	صندوق واحد (تحسين السياسة $\implies \$1,000,000$)

المراجع (References)

Nozick, R. (1969). “Newcomb’s Problem and Two Principles of Choice.” In Essays in Honor of Carl G. Hempel (pp. 114–146).
Jeffrey, R. C. (1965 / 1983). The Logic of Decision. University of Chicago Press.
Lewis, D. (1979). “Prisoners’ Dilemma Is a Newcomb Problem.” Philosophy & Public Affairs, 8(3), 235–240.
Pearl, J. (2000 / 2009). Causality: Models, Reasoning, and Inference. Cambridge University Press.
Yudkowsky, E., & Soares, N. (2017). “Functional Decision Theory: A New Theory of Instrumental Rationality.” arXiv:1710.05060.