The Metastable Consensus Cliff Under Communication Delay in a Swarm of Robots

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

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

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

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

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

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

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