Collaborative Altruistic Safety in Coupled Multi-Agent Systems

إليك ملخص تقني مفصل لورقة البحث بعنوان "التعاون الإيثاري للسلامة في الأنظمة متعددة الوكلاء المقترنة" (Collaborative Altruistic Safety in Coupled Multi-Agent Systems).

1. بيان المشكلة

تتناول الورقة تحدي ضمان السلامة في الأنظمة متعددة الوكلاء المقترنة ديناميكيًا، حيث يمتلك الوكلاء قيود سلامة فردية ولكنهم يتأثرون بديناميكيات جيرانهم.

• الصراع الجوهري: في العديد من سيناريوهات تعدد الوكلاء (مثل التحكم في التشكيل)، لا تتحدد سلامة الوكيل فقط من خلال مدخلات التحكم الخاصة به، بل ترتبط أيضًا بديناميكيات وحركات الوكلاء المجاورين.
• القصور: يمكن لمرشحات السلامة الموزعة القياسية (المعتمدة على دوال حاجز التحكم - Control Barrier Functions) أن تصبح غير قابلة للتنفيذ عندما تكون قيود سلامة الوكيل ضيقة وتدفع ديناميكيات الاقتران من الجيران النظام نحو الانتهاك. إذا لم يتمكن الوكيل من تلبية قيد سلامته الخاصة دون انتهاك قيد جار له، أو العكس، فقد يفشل النظام في إيجاد مدخل تحكم آمن.
• الهدف: تطوير إطار عمل يمكن للوكلاء من خلاله العمل بشรكياً لفرض السلامة، وتحديداً عبر السماح للوكلاء بإجراء مقايضات "إيثارية" — أي التضحية بجزء من هامش سلامتهم الخاص لضمان سلامة الجيران الأكثر أهمية، وبالتالي الحفاظ على الجدوى الإجمالية للنظام.

2. المنهجية

يقترح المؤلفون إطار عمل يجمع بين دوال حاجز التحكم التعاونية (CCBFs) ومنطق اتخاذ القرار الإيثاري المستوحى من علم الأحياء التطوري (قاعدة هاميلتون).

أ. نمذجة النظام ودوال CCBFs

• الديناميكيات: يتكون النظام من $n$ من الوكلاء ذوي ديناميكيات متغيرة زمنياً وتعتمد على التحكم (control-affine) ومقترنة عبر حالات الجيران.
• تعريف السلامة: تُعرف السلامة من خلال مجموعة $C_i = \{x_i : h_i(x_i) \geq 0\}$.
• دوال CBF من الدرجة العالية: للتعامل مع الاقتران، صاغ المؤلفون مرشحاً لدالة حاجز من الدرجة الثانية ($h^+_i$) يدمج المشتقات لـ Lie (Lie derivatives) لدالة السلامة بالنسبة لكل من ديناميكيات الوكيل نفسه وديناميكيات جيرانه.
• شرط التعاون: يكون الوكيل $i$ آمناً إذا وُجدت مدخلات تحكم $(u_i, u_{N_i})$ بحيث تحقق مشتقات دالة السلامة متباينات محددة (المعادلتان 6 و7). وهذا يخلق قيداً مقترناً حيث تعتمد سلامة الوكيل $i$ على مدخلات جيرانه.
• التحسين الموزع: يستخدم المؤلفون إطار عمل للتحسين الموزع (بناءً على المرجع [10]) لإيجاد مدخلات التحكم الآمنة محلياً. يقوم كل وكيل بحل برنامج تربيعي (QP) محلي مع تبادل المتغيرات المساعدة مع الجيران ضمن نطاق خطوتين (2-hop neighbors) للوصول إلى حل قابل للتنفيذ عالمياً.

ب. إطار السلامة الإيثاري

الابتكار الجوهري هو إدخال قاعدة هاميلتون ($r_{ij}B_j \geq C_i$) في سياق السلامة:

• أهمية السلامة ($w_i$): يتم تخصيص وزن للوكلاء يمثل "أهمية السلامة" الخاصة بهم. يتم حساب ذلك بناءً على مدى قرب الوكيل من انتهاك قيد السلامة الخاص به ($w_i \propto 1/h_i$). الوكيل الأقرب إلى الحد الفاصل يمتلك أهمية أعلى.
• القرابة ($r_{ij}$): تُعرف بأنها نسبة أهمية السلامة بين الوكلاء ($r_{ij} = w_j / w_i$).
• التكلفة والمنفعة:
  • $C_i(u_i)$: تكلفة السلامة على الوكيل $i$ نتيجة اتخاذ الإجراء $u_i$.
  • $B_{ij}(u_i)$: منفعة السلامة للجار $j$ الناتجة عن إجراء الوكيل $i$.
• الشرط الإيثاري: يُسمح للوكيل $i$ باتخاذ إجراء قد يكون غير مثالي لسلامته المباشرة إذا كانت المنفعة الموزونة للجيران تتجاوز تكلفته الخاصة:
  $$\sum_{j \in N^-_i} r_{ij} B_{ij}(u_i) \geq C_i(u_i)$$
  يتم دمج هذا الشرط في مشكلة التحسين الموزعة كقيد خطي إضافي.

3. المساهمات الرئيسية

1. دوال CCBF محسنة تعاونياً: تعمل الورقة على تحسين الطرق الموجودة لتخليق دوال CCBF في الأنظمة المقترنة ديناميكياً. من خلال تقديم متحكم سلامة افتراضي من الدرجة الأولى، أثبتوا أنه يمكن حل مشكلة السلامة المقترنة باستخدام أطر التحسين الموزعة الحالية دون الحاجة إلى حساب مركزي.
2. شرط السلامة الإيثاري: قدم المؤلفون شرطاً مبتكراً يعتمد على قاعدة هاميلتون يسمح للوكلاء بالمقايضة بين هامش سلامتهم الخاص لدعم الجيران ذوي الأولوية الأعلى. يعد هذا أول تطبيق لمفاهيم اللياقة الشاملة (inclusive fitness) في قيود السلامة متعددة الوكلاء.
3. توسيع نطاق الجدوى: يثبت الإثبات النظري (النظرية 1) والمحاكاة أن دمج الشروط الإيثارية يوسع مجموعة الأفعال الآمنة القابلة للتنفيذ للوكلاء ذوي أهمية السلامة العالية. فعندما يكون الوكيل الحرج في خطر، يتم إلزام الجيران الأقل أهمية رياضياً بتعديل سلوكهم لضمان سلامة الوكيل الحرج، مما يمنع مشكلة التحسين من أن تصبح غير قابلة للتنفيذ.

4. النتائج والمحاكاة

تحقق المؤلفون من النهج باستخدام سيناريو التحكم في التشكيل مبسط لوكيلين في بُعد واحد.

• السيناريو: وكيلان مقترنان عبر قانون التحكم في التشكيل. الوكيل 2 ليس لديه مدخل تحكم مباشر (يتم توجيهه بواسطة ديناميكيات الوكيل 1)، بينما يمتلك الوكيل 1 مدخل التحكم $u_1$. كلاهما لديه قيود سلامة (يجب البقاء ضمن نصف قطر $r$).
• النهج القياسي (غير الإيثاري): عند استخدام التحسين الموزع القياسي (المعادلة 15)، يمكن للنظام أن يصبح محافظاً للغاية أو غير قابل للتنفيذ إذا أجبر الاقتران الوكيل 2 نحو الحد الفاصل.
• النهج الإيثاري:
  • الإعداد: تم تخصيص وزن سلامة أعلى بكثير للوكيل 2 ($\eta_2 = 1000$) مقارنة بالوكيل 1 ($\eta_1 = 1$).
  • النتيجة: يجبر التحسين الإيثاري (المعادلة 28) الوكيل 1 على الابتعاد عن الوكيل 2 لمنع الوكيل 2 من انتهاك قيده، حتى لو دفع ذلك الوكيل 1 للاقتراب من حده الخاص.
  • الجدوى: تظهر المحاكاة أن إطار العمل الإيثاري يوفر مجموعة أكبر من المدخلات الممكنة للتحكم بالنسبة للوكيل الحرج (الوكيل 2) مقارنة بالنهج القياسي، مما يضمن بقاء كلا الوكيلين آمنين أثناء الاقتراب من الحد الفاصل.

5. الأهمية

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