التخطيط والجدولة الآلية في الذكاء الاصطناعي

يُعد التخطيط والجدولة الآلية (Automated Planning and Scheduling)، والذي يُشار إليه أحيانًا باسم تخطيط الذكاء الاصطناعي، فرعًا حيويًا من فروع الذكاء الاصطناعي الذي يركز على تحقيق الاستراتيجيات أو تسلسلات الأفعال، وعادة ما يتم تنفيذها بواسطة الوكلاء الذكيين، الروبوتات المستقلة، والمركبات غير المأهولة. على عكس مشكلات التحكم والتصنيف الكلاسيكية، فإن الحلول في هذا المجال تكون معقدة ويجب اكتشافها وتحسينها في مساحة متعددة الأبعاد.

نظرة عامة على عملية التخطيط

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

تحديات وعوامل التخطيط

تعتمد صعوبة مشكلة التخطيط على الافتراضات التبسيطية المستخدمة. ويمكن تحديد عدة فئات من مشكلات التخطيط بناءً على الأبعاد التالية:

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

أنواع مشكلات التخطيط

التخطيط الكلاسيكي (Classical Planning)

يُعتبر التخطيط الكلاسيكي أبسط أنواع مشكلات التخطيط، ويتميز بالآتي:

• حالة أولية فريدة ومعروفة.
• أفعال بدون مدة زمنية.
• أفعال حتمية.
• تنفيذ فعل واحد في كل مرة.
• وجود وكيل واحد فقط.

في هذا النموذج، يمكن التنبؤ بدقة بحالة العالم بعد أي تسلسل من الأفعال، مما يجعل مسألة الملاحظة غير ذات صلة.

عمليات ماركوف لاتخاذ القرار (MDP)

تتعامل عمليات ماركوف لاتخاذ القرار (Discrete-time Markov decision processes) مع مشكلات التخطيط التي تتضمن أفعالاً غير حتمية مع احتمالات معروفة، وملاحظة كاملة، وهدف تعظيم دالة المكافأة لوكيل واحد.

عمليات ماركوف لاتخاذ القرار الملاحظة جزئيًا (POMDP)

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

التخطيط المستقل عن النطاق (Domain Independent Planning)

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