استعلامات مضادة للواقع دون مخطط سببي كامل: الحدود عبر البرمجة الخطية

لماذا نحتاج إلى الرسم البياني السببي — ولماذا يغيب غالبًا

تبدو الأسئلة المضادة للواقع بسيطة: «ماذا كان سيحدث لو تلقّى المريض علاجًا آخر»، «كيف كان الطلب سيتغير لو رفعنا السعر». تكمن الصعوبة في أن الإجابة عنها لا يمكن استخلاصها من الارتباطات المرصودة وحدها. نحتاج إلى نموذج لكيفية تأثير المتغيرات بعضها في بعض — أي إلى بنية سببية.

الوصفة الكلاسيكية في أدبيات التعريف اللامعلمي هي هذه: خذ رسمًا بيانيًا سببيًا محددًا بالكامل، أضف افتراضات حول شكل الآليات — ثم احسب الكمية المطلوبة أو نطاقها المسموح. هذا يعمل بموثوقية، لكنه يستند إلى ترف نادرًا ما يمتلكه المحلّل. فالمجال يُدرَس جزئيًا، وبعض العلاقات محلّ خلاف، وبعض المتغيرات لا تُقاس أصلًا. الرسم البياني الكامل في مثل هذه الحالة ليس نقطة انطلاق، بل مثالية بعيدة المنال.

هذه الفجوة بالضبط بين النظرية والتطبيق هي ما يحاول إريك روسيتو وأليساندرو أنتونوتشي سدّها في ورقة Partial Identification under Causal Orders by Linear Programming (arXiv:2608.24427). مقاربتهما ليست «إكمال الرسم البياني بأي شكل»، بل التخلي تمامًا عن شرط توفّره عند المدخل.

الاستعلام نفسه يوحي بالبنية

يمكن صياغة الملاحظة المحورية للباحثين هكذا: الاستعلام المضاد للواقع ليس سؤالًا محايدًا، بل كائن له منطق داخلي. عندما نسأل «ماذا كان سيحدث لو اتخذ المتغير X القيمة x»، فإننا نرتّب المتغيرات ضمنيًا في علاقة ما: أحدها يسبق الآخر، وأحدها يعتمد على الآخر، وثالث يبقى شرطًا خلفيًا.

يُصاغ هذا رسميًا عبر الترتيب الطوبولوجي. في الرسم البياني السببي المعتاد، يكون هذا الترتيب محددًا بالكامل وبشكل أحادي: إذا وُجد سهم من A إلى B، فإن A يأتي أولًا. لكن التعريف لا يحتاج إلى ترتيب كامل. يكفي ترتيب جزئي — مجموعة من علاقات «أسبق» لا تغطي كل أزواج المتغيرات. تبقى بقية الأزواج غير مرتّبة، وهذا لا يعيق العمل.

تتمثل النتيجة المركزية للعمل في أن أي استعلام مضاد للواقع يولّد بالضبط ترتيبًا طوبولوجيًا كهذا — جزئيًا في الحالة العامة — على المتغيرات الداخلة فيه. بل إن هذا الترتيب لا يحتاج إلى تخمين أو إدخال يدوي: فهو يُستخرج من صياغة السؤال نفسه. لم يعد على الخبير في المجال أن يجيب عن سؤال محرج هو «ارسم الرسم البياني كاملًا»؛ يكفي أن يوافق على ما يقتضيه طرح المسألة.

من الترتيب إلى البرمجة الخطية

تبدأ بعد ذلك الجزء التقني الذي كان كل هذا من أجله. فوجود الترتيب يتيح كتابة الاستعلام بصيغة بارامترية صريحة. والبارامترات هنا ليست اعتباطية، بل خاضعة للبنية: فهي تصف التوزيعات والآليات بما يتوافق مع البيانات المرصودة ومع الترتيب المستخلص معًا.

بعد إعادة البارمترة هذه، تتوقف مسألة التعريف عن كونها مسألة عن الدوال وتتحول إلى مسألة عن الأعداد. وتحديدًا — إلى برنامج خطي: يجب تصغير وتعظيم دالة خطية على مجموعة محددة بقيود خطية. ويعطي الحد الأدنى والحد الأعلى الحدّين الأدنى والأعلى للكمية المطلوبة.

هذا الانتقال قيّم ليس لأناقة فحسب. فالبرمجة الخطية مجال مدروس جيدًا وله حلّالات موثوقة، وترجمة المسألة إلى هذه الصورة تعني أن الحدود يمكن حسابها فعليًا، لا مجرد إثبات وجودها. ويعمل المخطط مع استعلامات مضادة للواقع اعتباطية، بما فيها المتداخلة: تلك التي يحتوي فيها السيناريو الافتراضي نفسه على سيناريو افتراضي آخر. وقد كان التداخل دائمًا مصدر صداع للطرق القائمة، لأنه يتطلب مخاطبة عدة «طبقات» من العالم في آن واحد.

ما مدى ضيق الحدود

الحصول على بعض الحدود ليس صعبًا — السؤال هو هل هي مفيدة. إذا كان الفاصل يغطي تقريبًا كامل نطاق القيم الممكن تصوره، فلا جدوى كبيرة منه.

يجيب الباحثان عن ذلك ببرهان على الدقة. فكرة البناء: لكل حدّ تُبنى نموذج سببي بنيوي يحققه. ومثل هذا النموذج ملزم بأن يكون متوافقًا مع أمرين معًا — مع التوزيع المرصود للبيانات ومع الترتيب الذي يفترضه الاستعلام. فإذا وُجد النموذج، فمعنى ذلك أن الحدّ ليس مصطنعًا: لا يمكن تحريكه إلى الداخل دون فقدان الاتساق مع المعلومات المتاحة. أي أن الفاصل ضيق بالقدر الممكن أصلًا في ظل الافتراضات المعطاة.

هذا تحوّل مهم في مكانة النتيجة. فالأمر ليس «تقديرًا تقريبيًا على البركة» ولا أن «في أسوأ الحالات قد يكون أي شيء». الأمر وصف أمين لعدم اليقين: هذا كل ما يمكن تأكيده، ولا خطوة أكثر.

الصلة بالإطار الكلاسيكي

تُقدَّم الورقة على أنها تعميم لمقاربة Tian وPearl، التي طُرحت عام 2000 لاحتمالات السببية. كان ذلك الإطار أيضًا يعطي فواصل بدل تقديرات نقطية، لكنه كان مرتبطًا بصنف محدد من الكميات ويتطلب بنية معلومة. والنتيجة الجديدة توسّع صنف الاستعلامات وترفع شرط معرفة الرسم البياني كاملًا. من المفيد إبقاء هذا الاستمرار في الذهن: فما أمامنا ليس اختراعًا من الصفر، بل توسيعًا متقنًا لما جرى اختباره عبر الزمن.

التحقق على أمثلة مألوفة

لإظهار أن الطريقة ليست غريبة، يعود الباحثان إلى عدة حالات دُرست في الأدبيات سابقًا ويمررانها عبر إجرائهما. وشرط التجربة صارم: لا يُقدَّم الرسم البياني السببي عند المدخل إطلاقًا. وبدلًا منه — فقط الترتيب الذي يستخلص من صياغة الاستعلام.

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

ماذا يغيّر هذا عمليًا

تتلخص القيمة العملية في عدة نقاط.

• تنخفض عتبة الدخول. لا حاجة إلى وصف المنظومة كاملة — يكفي الموافقة على الترتيب الذي يقتضيه طرح المسألة أصلًا.
• يصبح عدم اليقين مرئيًا. بدل تقدير نقطي تختبئ خلفه افتراضات اعتباطية، يحصل المحلّل على فاصل ويدرك أين تقع بالضبط حدود معرفته.
• تتوفر قاعدة أدواتية. فالاختزال إلى برنامج خطي يعني أن الحساب يمكن أتمتته بوسائل قياسية، بدل كتابة حلّال خاص لكل صنف من الاستعلامات.
• يتوسع صنف الأسئلة المسموح بها. فالبنى المضادة للواقع المتداخلة، التي كانت تتطلب سابقًا نظرية مستقلة، تدخل في المخطط العام.

ما لا يَعِد به المنهج

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

حجم الورقة 15 صفحة من المتن الأساسي، تُلحق بها ثلاث ملاحق وثلاثة أشكال وثلاثة جداول، بحيث تكون التفاصيل التقنية للبراهين خارج العرض الأساسي ومتاحة على حدة. ولمن يعملون على الاستدلال السببي على بيانات واقعية فيها ثغرات في وصف المنظومة، ربما يكون هذا خبرًا أكثر إثارة للاهتمام من تقدير نقطي آخر بافتراضات غير معلنة.