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

المعيار الذي بنيته لأفوز، فخسرت

بنيت النسخة الأولى من StormCrew لهزيمة الحلّال. كان هذا كل العرض في رأسي. مراقبة عمليات شركات الطيران تعمل على محركات تحسين عمرها عقود، لذا إذا استطعت تدريب شيء أذكى، فسأملك قصة تستحق الرواية. أمضيت أسابيع في ذلك. ثم قارنت محرك التعافي لديّ بمعيارية مع CBC، وهو حلّال أعداد صحيحة مختلطة ناضج ومفتوح المصدر خاض معارك منذ قبل أن أستطيع كتابة حلقة for، وفاز CBC. ليس بفارق تقريب.

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

ففعلت الشيء الوحيد الصادق الذي خطر ببالي. غيّرت الادعاء، لا الأرقام.

بنيت الذكاء الاصطناعي لهزيمة الحلّال. ففاز الحلّال. واتضح أن الجزء المثير هو كل ما كانت تلك المعركة تخفيه.

ذلك الانعكاس هو العمود الفقري لما أصبح عليه StormCrew فعلاً، وأعتقد أنه القصة الأكثر فائدة من تلك التي انطلقت لأحكيها. يمكنك تشغيل الأمر كله بنفسك على veriprajna.com/ar/demos/airline-crew-scheduling-ai، لكن دعني أمرّ بما غيّر رأيي، لأن التحوّل هو الجوهر.

ما الذي ينهار فعلاً حين تُعطّل عاصفة محوراً؟

عدت وقرأت تقارير ما بعد الانهيار بعد أن أذلّني CBC، وكاد لا يكون شيء من الفشل «الرياضيات كانت دون المستوى الأمثل بقليل». فالعمليات غير المنتظمة، ما تسميه الصناعة IROPS، تكلّف شركات الطيران نحو $60B a year (IATA). والكارثة المرجعية، Southwest في ديسمبر 2022، بلغت نحو $1.2B, with around 16,900 cancellations and roughly 2 million passengers stranded. وحين تتبّعت كيف تنفكّ تلك الأيام فعلاً، لم يكن المحسِّن هو الشرير يوماً.

ثلاثة أشياء تنهار بدلاً من ذلك. فالتعافي أبطأ من اللازم: حين تُعطّل عاصفة محوراً، لا تزال إعادة تشكيل أطقم التتالي اللاحق في الغالب هرولة يدوية من 4 إلى 12 ساعة (معيار مستند إلى مصادر، لا رقم اختلقته). وهو أخطر من اللازم: فكل إعادة تشكيل للطاقم يجب أن تحترم FAA Part 117 لحدود الخدمة والراحة ولكل ناقلة اتفاقية نقابية CBA، والمخالفة الواحدة حدث امتثال، لا حاشية. وهو أكثر غموضاً من اللازم: فتتالي الرحلات اللاحقة التي فقدت طاقمها للتو يبقى غير مرئي حتى تبدأ تلك الرحلات بالإلغاء فعلاً.

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

ومنذ قاعدة الاسترداد التلقائي لدى DOT (أكتوبر 2024)، صار كل تأخير تتالي يتجاوز 3 ساعات ضربة مالية تلقائية أيضاً. لذا ارتفعت كلفة البطء أو المخالفة أو العمى تحديداً بينما بقيت الأدوات كما هي. ولا يُصلح أيٌّ من تلك الإخفاقات الثلاثة بدالة هدف أفضل. كنت أحسّن الشيء الوحيد الذي كان على ما يرام أصلاً.

لماذا توقفت عن محاولة هزيمة CBC وبدأت أُغذّيه؟

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

حين أشغّله على العاصفة المزروعة، يُنتج المولّد 1,762 واجب تعافٍ قانوني (52 منها إعادة تموضع بدون ركاب لنقل الطاقم حيث يُحتاج)، إضافةً إلى 53 احتياطي إلغاء، أي 1,815 عموداً مرشّحاً إجمالاً. يحلّ CBC ناتج 1,815 متغيراً و115 قيداً لتقسيم مجموعة بأدنى تكلفة إلى OPTIMAL ويُرجع خطة في نحو 0.11 ثانية. النتيجة في ذلك السيناريو: إعادة تشكيل أطقم 52 من 53 رحلة (98 بالمئة)، إلغاء واحد، استخدام 34 طاقماً (25 خطّاً و9 احتياط).

مشكلة شركة الطيران لم تكن يوماً أن الحلّال ضعيف جداً. كانت أن التعافي أبطأ من اللازم، وأخطر من اللازم، وغير مرئي حتى فات الأوان.

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

ضمان الشرعية ينتمي إلى الكود، لا إلى حكم النموذج

لديّ رأي قوي اكتسبته فقط ببناء هذا، فدعني أصرّح به بوضوح. ضمان الشرعية لا يمكن أن يعيش في حكم نموذج. عليه أن يعيش في كود حتمي، بالبناء. والطريقة التي تمنع التوصية بواجب طاقم غير قانوني ليست تدريب نموذج على تجنّبه، ولا إضافة حدّ عقوبة إلى دالة الهدف والأمل بأن يلتف المحسِّن حوله. بل جعل الواجب غير القانوني مستحيل التوليد من الأساس.

لذا تُفرَض القيود وقت التوليد، لا تُحتسب درجتها بعد. Part 117 يحدّ فترة الواجب بـ780 دقيقة، وزمن الطيران بـ480 دقيقة، ويتطلب حداً أدنى لوقت الجلوس قدره 30 دقيقة؛ وCBA النموذجي يحدّ الواجب بـ4 مقاطع. وحدها الواجبات التي تستوفي كل ذلك تصبح أعمدة مرشّحة. هذا إخفاء إجراء. التعيين غير القانوني لا يُعاقَب، بل يصبح غير قابل للتمثيل. ومهما فعل CBC بالأعمدة التي تُسلَّم إليه، ومهما قال المساعد الاختياري لاحقاً عن الخطة، فلا يستطيع أيٌّ منهما إحياء واجب غير قانوني، لأنه لم يكن يوماً في المجموعة.

ذلك يمنحني ثابتاً بدلاً من درجة: 0 تعيينات غير قانونية، أبداً، مختبَرة وحدوياً (مجموعة الاختبارات 3/3 ناجحة، تتحقق من أن نطاق الانفجار غير فارغ، وأن الأعمدة القانونية وحدها تُولَّد، وأن الخطة المستعادة تقسيم قانوني). درجة يمكنك أن تنحدر عنها. ثابت يمكنك أن تعد به.

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

ماذا يحدث في أسوأ يوم في السنة؟

كدت أشحن نسخة توافق تلقائياً على أي شيء، وأنا سعيد أن سيناريو أوقفني. بدّل العرض التوضيحي إلى شديد، حيث يكون الحدث سيئاً بما يكفي لاستنفاد الاحتياط ولا يبقى سوى نحو 30 بالمئة من الأطقم متبقية. لا يزال CBC يجد خطة قانونية بالكامل، في نحو 0.05 ثانية، ولا يزال 0 غير قانوني. لكن تلك الخطة ستُلغي 20 من 53 رحلة، أي 38 بالمئة من النطاق، أعلى بكثير مما لدى OCC، أي عتبة الموافقة التلقائية عند 15 بالمئة.

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

الجزء الذي تتخطاه معظم عروض «الاستقلالية» هو معرفة متى يكون الإجراء الصحيح عدم الفعل، وتسليم اليوم لإنسان.

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

الوثيقة التي أريدها لو كنت المتحكّم

ظللت أسأل نفسي ماذا يحتاج متحكّم عمليات في صباح اليوم التالي، والجواب لم يكن لوحة معلومات، بل سجلاً. لذا يُختَم كل تعافٍ في recovery_plan.json موقَّع: الاضطراب، والخطة المختارة إجراءً بإجراء مع الطاقم والرحلة، وبند Part 117 وCBA المحدد المفحوص لكل إجراء مقابل سقفه، وزمن ساعة الجدار للتعافي، وأرقام التوفير. إنه سجل تدقيق OCC عن لماذا وُصِي بهذا التعافي، قابل للتصدير بنقرة واحدة.

وهناك أيضاً مساعد خطة اختيارية، وأريد أن أوضّح أين يقع. إنه مهايئ رفيع لنموذج لغوي كبير (Claude افتراضياً، قابل لتبديل المزوّد، أو جسر محلي بلا مفتاح) يشرح الخطة بلغة إنجليزية بسيطة. وهو يمتنع تماماً بلا مفتاح، وكل شيء آخر يعمل دون اتصال وبلا مفتاح، ويعيش خارج نواة القرار. القناع الحتمي وCBC وبوابة التصعيد هي التي تقرّر. النموذج يسرد فقط بعد الواقعة. وضعته هناك عمداً، لأن اللحظة التي يؤثر فيها النموذج اللغوي فيما إذا كان الواجب قانونيّاً، أكون قد فقدت الضمان الذي أمضيت البناء كله في اكتسابه.

وبشأن التوفير، ينطبق الانضباط نفسه. في السيناريو العادي تُظهر المقارنة الظلّية تجنّب 52 إلغاءً ونحو $2.37M من تعرّض استرداد DOT تم تجنّبه (نموذج 300 دولار لكل مسافر) مقابل عدم فعل شيء. هذا أكثر تأطير تملّقاً ممكناً، لأن خط الأساس هو تعليق نطاق الانفجار كله، وهو مُعلَّم كإيضاحي لذلك السيناريو الواحد. ليس عنواناً رئيسياً، وبالتأكيد ليس دليلاً على أن كودي يتفوّق على أي شيء. خسرت ذلك الجدال أمام CBC في اليوم الأول. ولن أستعيده بهدوء في رقم تسويقي.

فماذا يعني «عزّز، لا تستبدل» فعلاً؟

كنت أظن أن التعزيز هو الخيار الهيّاب، ما تقوله حين لا تستطيع بناء الشيء الجريء. أظن العكس الآن. فالمشتري هنا يملك أصلاً رصّة حلّالات جيدة، Jeppesen أو IBS، ولا يحتمل الاقتلاع والاستبدال، ولا الاحتكار، ولا توصية غير مفسَّرة في أسوأ يوم في سنته. إخبار ذلك المشتري «ارمِها لأجل نموذجي الأذكى» ليس جريئاً، بل ادّعاء دحضته لنفسي بمعيارية.

ما أستطيع تقديمه بصدق هو الطبقة التشغيلية حول الحلّال الذي يثقون به أصلاً. اجعل التتالي مرئياً قبل أن يعضّ. اجعل الحركات غير القانونية مستحيلة التوليد بدلاً من مجرد تثبيطها. اطوِ الساعات إلى ثوانٍ. واعرف متى يكون اليوم سيئاً بما يكفي لأن تكون الإجابة الصحيحة التصعيد، لا الموافقة التلقائية. كل شيء في العرض التوضيحي اصطناعي ومزروع، الشبكة والأطقم والاضطراب وأرقام الدولارات، بلا بيانات شركة طيران حقيقية في أي مكان منه. ما هو حقيقي هو الآلية، ويمكنك مشاهدتها تعمل من الطرف إلى الطرف على veriprajna.com/ar/demos/airline-crew-scheduling-ai.

وإن كنت تفضّل رؤيتها على قراءة وصفي لها، فإليك الأمر كله يعمل من الطرف إلى الطرف.

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