ملخص تقني: التبديل المبدئي للسلطة من أجل الاستقلالية المشتركة في فرق الإنسان والروبوت

بيان المشكلة

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

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

المنهجية: إطار عمل Flip-Team

يقترح المؤلفون Flip-Team، وهو إطار عمل تعاوني ينمذج تبديل السلطة كلعبة ديناميكية ذات مصلحة متطابقة. يعمل النظام تحت نموذج "الإنسان في الحلقة" (human-on-the-loop)، حيث يعمل النظام المستقل بشكل مستقل، بينما يحتفظ الإنسان بسلطة التجاوز الإشرافية.

1. ديناميكيات النظام والحالة

يتم نمذجة النظام كنظام ديناميكي ذي زمن منفصل حيث تُعرف سلطة التحكم عند اللحظة $k$ بحالة FlipDyn وهي $\alpha_k \in \{H, A\}$ (بشري أو مستقل).

• التحكم البشري: $x_{k+1} = F^H_k(x_k, u_k)$
• التحكم المستقل: $x_{k+1} = F^A_k(x_k, w_k)$
• إجراءات الاستحواذ: يتخذ الوكلاء إجراءات $\pi^j_k \in \{0, 1\}$ (خامل أو طلب استحواذ).
• منطق الانتقال: الانتقالات متبادلة الحصرية. ومن المهم ملاحظة أنه عندما يكون الوكيل المستقل في حالة التحكم، فإن محاولة التجاوز من قبل الإنسان تنجح باحتمالية $p_k$ (نزعة التجاوز لدى الإنسان) إذا لم يطلب الوكيل المستقل تسليم التحكم. أما إذا طلب الوكيل المستقل تسليم التحكم، فيكون الانتقال حتميًا.

2. هيكل التكلفة

الهدف هو تقليل دالة التكلفة الإجمالية $J$ عبر أفق زمني $L$:
$$J = g_{L+1}(x_{L+1}, \alpha_{L+1}) + \sum_{t=1}^{L} \left( g_t(x_t, \alpha_t) + \pi^H_t h_t(x_t) + \pi^A_t a_t(x_t) \right)$$

• تكلفة الحالة ($g_t$): تمثل مقاييس الأداء (مثل خطأ التتبع، الطاقة) والتي تختلف بين التحكم البشري والمستقل ($g^H_t \neq g^A_t$).
• تكاليف التبديل ($h_t, a_t$): تمثل الحمل المعرفي، أو تبديل الانتباه، أو مخاطر الانتقال بالنسبة للإنسان والوكيل المستقل على التوالي.

3. سياسة التبديل المثلى (حالة الخطية التربيعية)

بالنسبة للديناميكيات الخطية مع التكاليف التربيعية (أنظمة LQ)، يستنتج المؤلفون حلولاً مغلقة باستخدام البرمجة الديناميكية.

• دوال القيمة: يتم تمثيل دالة التكلفة المتبقية (cost-to-go) عبر دوال قيمة تربيعية $V^H_k(x) = x^\top P^H_k x$ و $V^A_k(x) = x^\top P^A_k x$.
• الاستدعاءات التكرارية: يتم حساب المصفوفات $P^H_k$ و $P^A_k$ عبر استدعاء تراجعي (backward recursion).
• النظرية 1 (شروط التبديل): يتم تحديد السياسة المثلى من خلال مقارنة الميزة النسبية لتكلفة التحكم البشري مقابل التحكم المستقل (المقاسة بـ $\tilde{P}_{k+1}$) مقابل تكاليف التبديل واحتمالية التجاوز $p_k$.
  • عندما يكون الإنسان في حالة التحكم: يحتفظ بالتحكم إذا كانت ميزة التكلفة للتحكم البشري بالإضافة إلى تكاليف التبديل مواتية؛ وإلا، يحدث تسليم منسق للاستقلالية.
  • عندما يكون الوكيل المستقل في حالة التحكم: تظهر ثلاث حالات بناءً على $p_k$:
    1. الاحتفاظ: إذا كانت ميزة التحكم البشري غير كافية بالنسبة لـ $p_k$.
    2. التجاوز: إذا كانت ميزة التكلفة كبيرة وكانت $p_k$ عالية بما يكفي، يتولى الإنسان السيطرة من جانب واحد.
    3. تسليم منسق: إذا كانت ميزة التكلفة كبيرة، يتفق كلا الوكيلين على نقل التحكم.

4. عتبة التجاوز والتقدير

• النظرية 2 (العتبة الحرجة): تستنتج الورقة عتبة حرجة $p^*_k(x)$ تحدد متى يكون التدخل البشري فعالاً من حيث التكلفة. بالنسبة لتكاليف التبديل المتناحية (isotropic)، تتبسط هذه العتبة إلى نسبة مستقلة عن الحالة: $p^* = h / (h + a)$.
  • إذا كانت نزعة الإنسان الفعلية $p_k < p^*$، فمن المرجح أن يكون التدخل غير مجدٍ من حيث التكلفة.
  • إذا كانت $p_k > p^*$، فإن التدخل يكون مبررًا.
• التقدير عبر الإنترنت (Online Estimation): نظرًا لأن $p_k$ غير معروف في الممارسة العملية، يقترح المؤلفون طريقة تقدير عبر الإنترنت. يتضمن ذلك تتبع تكرار عمليات التجاوز البشرية أثناء ظروف معينة (التحكم المستقل، عدم وجود طلب تسليم) عبر الحلقات أو استخدام التمهيد الأسي (exponential smoothing) ضمن الحلقة الواحدة للتكيف مع تقدير $\hat{p}_k$.

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

1. إطار عمل مبدئي للتبديل: صياغة تبديل السلطة كلعبة تعاونية ذات تكاليف غير متماثلة وقدرة تجاوز بشرية، مما ينتج سياسات مثلى دون الحاجة لضبط استدلالي.
2. اشتقاق عتبة التجاوز: اشتقاق عتبة حرجة $p^*_k$ تحدد متى يكون الاستحواذ البشري فعالاً من حيث التكلفة، مما يوفر إرشادات تصميم قابلة للتفسير.
3. الحلول المغلقة: بالنسبة للأنظمة الخطية التربيعية، تم اشتقاق شروط التبديل المغلقة واستدعاءات دالة القيمة التي تسمح بالحساب الفعال المستقل عن بُعد الحالة المستمرة.
4. التقدير التكيفي: طريقة مقترحة لتقدير نزعة التجاوز عبر الإنترنت من التدخلات المرصودة، مما يسمح بالتبديل التكيفي دون معايرة مسبقة.

التقييم والنتائج

تم تقييم إطار العمل في مهمة تنظيم ارتفاع طائرة بدون طيار أحادية البعد (ديناميكيات المحرك المزدوج - double integrator) مع أفق زمني قدره 30 خطوة.

• النماذج المرجعية: تمت مقارنة سياسة Flip-Team مع:
  1. الاستقلالية الدائمة.
  2. البشر الدائمين.
  3. استدلال عتبة الأداء (التبديل بناءً على خطأ التتبع فقط).
• المقاييس: التكلفة الإجمالية، عدد عمليات التبديل، ونسبة الوقت تحت التحكم البشري.
• النتائج:
  • حقق Flip-Team أدنى تكلفة إجمالية (40.5)، متفوقًا على النموذج المرجعي للبشر الدائمين (43.2) بنسبة 6% وعلى نموذج الاستقلالية الدائمة (45.6) بنسبة 11%.
  • سجل النموذج المرجعي القائم على عتبة الأداء أعلى تكلفة (55.3)، مما يثبت أن التبديل التفاعلي القائم على الخطأ وحده، دون مراعاة النزعة أو تكاليف التبديل، يؤدي إلى تدهور الأداء.
  • حقق Flip-Team هذه النتائج مع 1.8 عملية تبديل سلطة في المتوسط، مع وجود الإنسان في حالة التحكم بنسبة 56% من الوقت.
  • نجحت السياسة المثلى في استباق المراحل التي كان فيها التدخل البشري مرجحًا (نسبة $p_k$ عالية) ومفيدًا في آن واحد (ميزة التكلفة)، متجنبةً عمليات التبديل غير الضرورية خلال مراحل انخفاض التفاعل.

الأهمية والادعاءات

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

يؤكد المؤلفون أن العتبة الحرجة المشتقة تقدم إرشادات تصميم عملية:

• يمكن للمصممين ضبط تكاليف التبديل ($H_k, A_k$) لتشكيل مشهد التفاعل.
• يمكن للممارسين تعديل النزعة البشرية (عبر التنبيهات أو معايرة الثقة) لضمان بقائها فوق العتبة الحرجة عندما يكون التدخل مطلوبًا.

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