books conditional planning
If you do not find what you're looking for, you can use more accurate words.
التخطيط المشروط (Info)
تم إدخال التخطيط الحتمي مع نظام تخطيط STRIPS ، وهو مخطط هرمي. يتم ترتيب أسماء الإجراءات في تسلسل , و هذه خطة للروبوت. و يمكن مقارنة التخطيط الهرمي بشجرة سلوكية يتم إنشاؤها تلقائيًا. العيب هو أن شجرة السلوك العادية ليست معبرة مثل برامج الكمبيوتر. وهذا يعني أن تدوين الرسم البياني للسلوك يحتوي على أوامر إجرائية ، ولكن لا تحتوي حلقات أو عبارات إذا-ثم. مع ذلك يتخطى التخطيط المشروط المأزق ويقدم تدوينًا تفصيليًا مشابهًا لتدفق التحكم ، من لغات برمجة أخرى معروفة مثل باسكال . وهو يشبه إلى حد كبير تركيب البرنامج ، وهذا يعني أن المخطط يولد رمز المصدر الذي يمكن تنفيذه بواسطة المترجم.
مثال مبكر لمخطط شرطي هو "Warplan-C" الذي تم تقديمه في منتصف السبعينيات. ما الفرق بين التسلسل العادي والخطة المعقدة التي تحتوي على عبارات "إذا ثم"؟ يتعلق الأمر بالشك عند التشغيل الخطة. الفكرة هي أن الخطة يمكن أن تتفاعل مع إشارات المستشعر غير المعروفة للمخطط. و يجهز المخطط خيارين مقدمًا. على سبيل المثال ، إذا تم الكشف عن الهدف، يتم تنفيذ الإجراء A ، إذا كان الهدف مفقودًا ، يتم تنفيذ الإجراء B. الميزة الرئيسية للتخطيط المشروط هي القدرة على التعامل مع الخطط الجزئية . عندها لا يضطر الوكيل إلى التخطيط لكل شيء من البداية إلى النهاية ، ولكن يمكنه تقسيم المشكلة إلى اجزاءو هذا يساعد على تقليل مساحة الحالة ويحل مشاكل أكثر تعقيدًا.
التخطيط الطارئ
نتحدث عن "التخطيط الطارئ" عندما تكون البيئة قابلة للرصد من خلال أجهزة الاستشعار ، والتي يمكن أن تكون معيبة. وبالتالي فهي حالة يتصرف فيها وكيل التخطيط في ظل معلومات غير كاملة. و بالنسبة لمشكلة التخطيط االطارئ ، لم تعد الخطة عبارة عن سلسلة من الإجراءات بل شجرة قرارات لأن كل خطوة من الخطة يتم تمثيلها بمجموعة من الحالات بدلاً من حالة واحدة يمكن ملاحظتها تمامًا ، كما هو الحال في التخطيط الكلاسيكي. تعتمد الإجراءات المختارة على حالة النظام. على سبيل المثال ، إذا كانت تمطر ، يختار الوكيل أن يأخذ المظلة ، وإذا لم تمطر ، فقد يختار عدم أخذها.
أظهرت ميكائيل L. يتمان في عام 1998 أنه مع الإجراءات المتفرعة تصبح مشكلة التخطيط EXPTIME -complete. و تتمثل حالة معينة من التخطيط المتجاور بمشاكل FOND - "للملاحظة بشكل كامل وغير حتمية". إذا كان الهدف محددًا في LTLf (منطق الوقت الخطي في التتبع المحدود) ، فإن المشكلة تكتمل دائمًا EXPTIME و 2 EXPTIME إذا تم تحديد الهدف باستخدام LDLf.
التخطيط المطابق
التخطيط المطابق هو عندما يكون الوكيل غير متأكد من حالة النظام ، ولا يمكنه إجراء أي ملاحظات.و لدى الوكيل بعد ذلك معتقدات حول العالم الحقيقي ، لكنه لا يستطيع التحقق منها بأفعال الاستشعار ، على سبيل المثال. يتم حل هذه المشاكل من خلال تقنيات مشابهة لتلك الموجودة في التخطيط الكلاسيكي ، ولكن حيث تكون مساحة االحالة اسيا مع حجم المشكلة بسبب عدم اليقين بشأن الحالة الحالية.
عندها يوجد حل لمشكلة التخطيط المطابقة و هو تسلسل الإجراءات. وقد أثبتت Haslum وجونسون أن مشكلة التخطيط المطابق هو EXPSPACE -complete، و2EXPTIME-كاملة عندما يكون الوضع الأولي غير مؤكد، وليس هناك الحالات غير الحتمية في نتائج الأعمال.
