تعتبر مشكلات التخطيط متعدد الوكلاء واحدة من التحديات الكبيرة في مجالات الهندسة المختلفة، مثل مكافحة حرائق الغابات بواسطة الروبوتات المتعددة أو عمليات التفتيش غير المأهولة في المصانع. وفي الآونة الأخيرة، أصبح من الضروري التعامل مع القيود المكانية-الزمانية (spatio-temporal) والتوبولوجية (topological)، والتي تعني متى وأين يجب على الوكلاء القيام بمهماتهم وكيف ينبغي عليهم التفاعل مع بعضهم البعض، وهي عادة ما تُصاغ عبر استخدام الرسوم البيانية.

لقد تم اقتراح العديد من الأطر خلال السنوات الماضية لتجاوز هذه التحديات باستخدام منطق الزمان-المكان (spatio-temporal logics). ومن بين هذه الأطر، تركز دراستنا الحالية على المنطق الزماني المكاني مع عوامل الرسم البياني (STL-GO)، وهو نموذج حديث يدعم التفكير في التعامل مع عدة وكلاء وتوبولوجياتهم، بما في ذلك التموضعات الحسية، والتواصل، ومهام الوكلاء المُجَمَّعين.

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

كما نقدم واجهة موحدة لتحديد قيود الوكلاء، وتوبولوجيات الرسوم البيانية، وخصائص STL-GO، مما يتيح الاستخدام السلس لكلتا الطريقتين ويساعد على المقارنة المباشرة بينهما. وقد تم تقييم كلا الترميزين على معيار البحث والإنقاذ باستخدام الطائرات بدون طيار، مع تغيير حجم الفريق وتعقيد الرسم البياني، مما يعكس التعبير الفعال للرزم المقتَرح تحت التفاعلات الديناميكية للرسوم البيانية المتعددة.

هذا التطور الجديد يعد خطوة مهمة نحو تحسين الأداء في المهام الهندسية المعقدة. ما رأيكم في هذا التطور المثير؟ شاركونا في التعليقات.