برنامه ریزی زمانی

برنامه ریزی زمانی

اسلاید 1: برنامه ريزي زماني

اسلاید 2: برنامه ريزي در هوش مصنوعيبرنامه ريزي کلاسيک در دامنه آسانسورهاf0f1f2p0p1e1e0

اسلاید 3: برنامه ريزي در هوش مصنوعيبرنامه ريزي کلاسيک در دامنه آسانسورهاوضعيت اوليهpassenger-at(p0,n0)passenger-at(p1,n0) lift-at(e0,n0)lift-at(e1,n0)

اسلاید 4: برنامه ريزي در هوش مصنوعيبرنامه ريزي کلاسيک در دامنه آسانسورهاشرايط هدفpassenger-at(p0,n1)passenger-at(p1,n2)

اسلاید 5: برنامه ريزي در هوش مصنوعيبرنامه ريزي کلاسيک در دامنه آسانسورهابرنامه

اسلاید 6: برنامه ريزي در هوش مصنوعيبرنامه ريزي کلاسيک در دامنه آسانسورهابرنامهboard(e0,p0,n0)

اسلاید 7: برنامه ريزي در هوش مصنوعيبرنامه ريزي کلاسيک در دامنه آسانسورهابرنامهboard(e0,p0,e0)board(e1,p1,n0)

اسلاید 8: برنامه ريزي در هوش مصنوعيبرنامه ريزي کلاسيک در دامنه آسانسورهابرنامهboard(e0,p0,e0)board(e1,e1,e0)move(e0,n0,n1)

اسلاید 9: برنامه ريزي در هوش مصنوعيبرنامه ريزي کلاسيک در دامنه آسانسورهابرنامهboard(e0,p0,e0)board(e1,e1,e0)move(e0,n0,n1)move(e1,n0,n2)

اسلاید 10: برنامه ريزي در هوش مصنوعيبرنامه ريزي کلاسيک در دامنه آسانسورهابرنامهboard(e0,p0,e0)board(e1,e1,e0)move(e0,n0,n1)move(e1,n0,n2)leave(e0,p0,n1)

اسلاید 11: برنامه ريزي در هوش مصنوعيبرنامه ريزي کلاسيک در دامنه آسانسورهابرنامهboard(e0,p0,e0)board(e1,e1,e0)move(e0,n0,n1)move(e1,n0,n2)leave(e0,p0,n1)leave(e1,p1,n2)

اسلاید 12: برنامه ريزي در هوش مصنوعيبرنامه ريزي کلاسيکتعدادي پيش فرض براي ساده کردن برنامه ريزيکنش ها آني هستند و بصورت متوالي به محيط اعمال مي شوند.هيچ رويدادي خارج از کنترل برنامه ريز در محيط وجود ندارد.با انجام هر کنش تغييرات اتفاق افتاده در محيط کاملا معين است....يک برنامه کلاسيک براي مسأله آسانسورهاboard (e0,p0,n0)board (e1,p1,n0)move (e0,n0,n1)move (e1,n0,n2)leave (e0,p0,n1)leave (e1,p1,n2)

اسلاید 13: برنامه ريزي زمانيضعف برنامه ريزي کلاسيک در مدل کردن زمانرفتن آسانسور به طبقات دور زمان بيشتري مي گيردمي توان عمليات مربوط به دو آسانسور را به صورت موازي انجام دادبرنامه ريزي زمانيکنش ها زمان دارندکنش ها مي توانند موازي انجام شوند

اسلاید 14: برنامه ريزي زمانيبرنامه زمانيboard (e0,p0,n0)board (e1,p1,n0)move (e0,n0,n1)move (e1,n0,n2)leave (e0,p0,n1)leave (e1,p1,n2)(0,0)(1,0)(1,0)(0,0)(1,1)(1,1)(13,1)(13,2)(14,2)(21,1)(21,2)(22,2)

اسلاید 15: برنامه ريزي زمانيزبان بيان مسألهاستاندارد STRIPSاستاندارد PDDL2.1پيش شرط هاي جداگانه در ابتدا، انتها و طول کنشboard (e0,p0,n0)lift-at (e0,n0)passenger-at(p0,n0)lift-at(e0,n0)~passenger-at(p0,n0)boarded(p0,e0)

اسلاید 16: برنامه ريزي زمانيزبان بيان مسألهاستاندارد PDDL2.1پيش شرط هاي جداگانه در ابتدا، انتها و طول کنشاثرات جداگانه در ابتدا و انتهاي کنشboard (e0,p0,n0)lift-at (e0,n0)passenger-at(p0,n0)lift-at(e0,n0)~passenger-at(p0,n0)boarded(p0,e0)

اسلاید 17: برنامه ريزي زمانيتبديل برنامه ريزي زماني به کلاسيکاز روي P مسأله کلاسيک P’ را مي سازيمboard (e0,p0,n0)lift-at (e0,n0)passenger-at(p0,n0)lift-at(e0,n0)~passenger-at(p0,n0)boarded(p0,e0)

اسلاید 18: برنامه ريزي زمانيتبديل برنامه ريزي زماني به کلاسيکاز روي P مسأله کلاسيک P’ را مي سازيمboard (e0,p0,n0)lift-at (e0,n0)passenger-at(p0,n0)~passenger-at(p0,n0)boarded(p0,e0)

اسلاید 19: برنامه ريزي زمانيتبديل برنامه ريزي زماني به کلاسيکاز روي P مسأله کلاسيک P’ را مي سازيمP’ را حل مي کنيمبرنامه بدست آمده را توسط پس پردازش موازي مي کنيمboard (e0,p0,n0)lift-at (e0,n0)passenger-at(p0,n0)~passenger-at(p0,n0)boarded(p0,e0)

اسلاید 20: برنامه ريزي زماني همروندکنش هاي همروندهمروندي اجباري: اگر تمام برنامه هاي معتبر داراي همروندي باشند.مثال:

اسلاید 21: برنامه ريزي در فضاي وضعيتبرنامه ريزي زماني در فضاي وضعيت ها:تمام برنامه ريزهاي فعلي از روشي به نام برنامه ريزي لحظه تصميم استفاده مي کنندInitial StatePassenger-at(p0,n0)Passenger-at(p1,n0)Lift-at(e0,n0)Lift-at(e1,n0)

اسلاید 22: برنامه ريزي در فضاي وضعيتبرنامه ريزي زماني در فضاي وضعيت ها:تمام برنامه ريزهاي فعلي از روشي به نام برنامه ريزي لحظه تصميم استفاده مي کنندboard (p0,e0,n0)Initial StatePassenger-at(p0,n0)Passenger-at(p1,n0)Lift-at(e0,n0)Lift-at(e1,n0)

اسلاید 23: برنامه ريزي در فضاي وضعيتبرنامه ريزي زماني در فضاي وضعيت ها:تمام برنامه ريزهاي فعلي از روشي به نام برنامه ريزي لحظه تصميم استفاده مي کنندboard (p0,e0,n0)Current State~Passenger-at(p0,n0)Passenger-at(p1,n0)Lift-at(e0,n0)Lift-at(e1,n0) Current Time

اسلاید 24: برنامه ريزي در فضاي وضعيتبرنامه ريزي زماني در فضاي وضعيت ها:تمام برنامه ريزهاي فعلي از روشي به نام برنامه ريزي لحظه تصميم استفاده مي کنندboard (p0,e0,n0)Current State~Passenger-at(p0,n0)~Passenger-at(p1,n0)Lift-at(e0,n0)Lift-at(e1,n0) Current Timeboard (p1,e1,n0)

اسلاید 25: برنامه ريزي در فضاي وضعيتبرنامه ريزي زماني در فضاي وضعيت ها:تمام برنامه ريزهاي فعلي از روشي به نام برنامه ريزي لحظه تصميم استفاده مي کنندboard (p0,e0,n0)Current StateCurrent Timeboard (p1,e1,n0)move(e0,n0,n1)شرط زمان اجرا: ماندن آسانسور در طبقه همکفاثر ابتدا: خارج شدن آسانسور از طبقه همکف~Passenger-at(p0,n0)~Passenger-at(p1,n0)Lift-at(e0,n0)Lift-at(e1,n0)

اسلاید 26: برنامه ريزي در فضاي وضعيتبرنامه ريزي زماني در فضاي وضعيت ها:تمام برنامه ريزهاي فعلي از روشي به نام برنامه ريزي لحظه تصميم استفاده مي کنندboard (p0,e0,n0)Current StateCurrent Timeboard (p1,e1,n0)move(e0,n0,n1)Not Applicable~Passenger-at(p0,n0)~Passenger-at(p1,n0)Lift-at(e0,n0)Lift-at(e1,n0)

اسلاید 27: برنامه ريزي در فضاي وضعيتبرنامه ريزي زماني در فضاي وضعيت ها:تمام برنامه ريزهاي فعلي از روشي به نام برنامه ريزي لحظه تصميم استفاده مي کنندboard (p0,e0,n0)Current StateCurrent Timeboard (p1,e1,n0)~Passenger-at(p0,n0)~Passenger-at(p1,n0)Lift-at(e0,n0)Lift-at(e1,n0)

اسلاید 28: برنامه ريزي در فضاي وضعيتبرنامه ريزي زماني در فضاي وضعيت ها:تمام برنامه ريزهاي فعلي از روشي به نام برنامه ريزي لحظه تصميم استفاده مي کنندboard (p0,e0,n0)Current State~Passenger-at(p0,n0)~Passenger-at(p1,n0)Boarded(p0,e0)Boarded(p1,e1)Lift-at(e0,n0)Lift-at(e1,n0)Current Timeboard (p1,e1,n0)

اسلاید 29: برنامه ريزي در فضاي وضعيتعملکرد برنامه ريزي لحظه تصميم براي اينمسأله:abx~xyxyg

اسلاید 30: برنامه ريزي در فضاي وضعيتعملکرد برنامه ريزي لحظه تصميم براي اينمسأله:aCurrent TimeCurrent Statexabx~xyxyg

اسلاید 31: برنامه ريزي در فضاي وضعيتعملکرد برنامه ريزي لحظه تصميم براي اينمسأله:aCurrent TimeCurrent Statexbabx~xyxyg

اسلاید 32: برنامه ريزي در فضاي وضعيتعملکرد برنامه ريزي لحظه تصميم براي اينمسأله:aCurrent TimeCurrent StatexbDeadlockabx~xyxyg

اسلاید 33: برنامه ريزي در فضاي وضعيتعملکرد برنامه ريزي لحظه تصميم براي اينمسأله:aCurrent TimeCurrent Statexabx~xyxyg

اسلاید 34: برنامه ريزي در فضاي وضعيتعملکرد برنامه ريزي لحظه تصميم براي اينمسأله:aCurrent TimeCurrent State~xyb cannot be appliedabx~xyxyg

اسلاید 35: برنامه ريزي در فضاي برنامهجستجو در فضاي برنامه هاInitial StateGoal StatePassenger-at p0 n0Lift-at e0 n0 Passenger-at p0 n1

اسلاید 36: برنامه ريزي در فضاي برنامهجستجو در فضاي برنامه هاInitial StateGoal StatePassenger-at p0 n0Lift-at e0 n0 Passenger-at p0 n1Leave (p0,e0,n1)Lift-at e0 n1boarded e0 p0

اسلاید 37: برنامه ريزي در فضاي برنامهجستجو در فضاي برنامه هاInitial StateGoal StatePassenger-at p0 n0Lift-at e0 n0 Passenger-at p0 n1Leave (p0,e0,n1)Boarded e0 p0Lift-at e0 n1board (p0,e0,n0)Passenger-at p0 n0Lift-at e0 n0

اسلاید 38: برنامه ريزي در فضاي برنامهجستجو در فضاي برنامه هاInitial StateGoal StatePassenger-at p0 n0 Lift-at e0 n0 Passenger-at p0 n1Leave (p0,e0,n1)Boarded e0 p0Lift-at e0 n1board (p0,e0,n0)Passenger-at p0 n0Lift-at e0 n0

اسلاید 39: برنامه ريزي در فضاي برنامهجستجو در فضاي برنامه هاPassenger-at p0 n1move(e0,n0,n1)Initial StateGoal StatePassenger-at p0 n0 Lift-at e0 n0 Leave (p0,e0,n1)Boarded e0 p0Lift-at e0 n1board (p0,e0,n0)Passenger-at p0 n0Lift-at e0 n0

اسلاید 40: برنامه ريزي در فضاي برنامهPassenger-at p0 n1move(e0,n0,n1)Initial StateGoal StatePassenger-at p0 n0 Lift-at e0 n0 Leave (p0,e0,n1)Boarded e0 p0Lift-at e0 n1board (p0,e0,n0)Passenger-at p0 n0Lift-at e0 n0

اسلاید 41: برنامه ريزي در فضاي برنامهجستجو در فضاي برنامه هاInitial StateGoal StatePassenger-at p0 n0 Lift-at e0 n0 Passenger-at p0 n1Leave (p0,e0,n1)Boarded e0 p0Lift-at e0 n1board (p0,e0,n0)Passenger-at p0 n0Lift-at e0 n0 move(e0,n0,n1)Not (lift-at e0 n0)

اسلاید 42: برنامه ريزي در فضاي برنامهيافتن ناسازگاريa(5)b(10)xxyy

اسلاید 43: برنامه ريزي در فضاي برنامهيافتن ناسازگاريa(5)b(10)xxyy

اسلاید 44: برنامه ريزي در فضاي برنامهيافتن ناسازگاريboard (e0,p0,n0)board (e1,p1,n0)move (e0,n0,n1)move (e1,n0,n2)leave (e0,p0,n1)leave (e1,p1,n2)(1,0)(1,0)(1,1)(1,1)(13,1)(13,2)(14,2)(21,1)(21,2)(22,2)

اسلاید 45: برنامه ريزي در فضاي برنامهيافتن ناسازگاريa(5)b(10)xxyyشروع a قبل از شروع b

اسلاید 46: برنامه ريزي در فضاي برنامهيافتن ناسازگاريa(5)b(10)xxyyپايان b قبل از پايان a

اسلاید 47: برنامه ريزي در فضاي برنامهيافتن ناسازگاريa(5)b(10)xxyyشروع b، حداقل 10 واحد زماني قبل از پايان b

اسلاید 48: برنامه ريزي در فضاي برنامهيافتن ناسازگاريa(5)b(10)xxyyشروع b، حداکثر 10 واحد زماني قبل از پايان b

اسلاید 49: برنامه ريزي در فضاي برنامهيافتن ناسازگاريa(5)b(10)xxyy

اسلاید 50: برنامه ريزي در فضاي برنامهيافتن ناسازگاري-5-10-ϵ+5+10-ϵa(10)b(5)xxyy0

اسلاید 51: برنامه ريزي در فضاي برنامهيافتن ناسازگاري-5-10-ϵ+5+10-ϵa(10)b(5)xxyy(0,0)(0,1)(5,1)(10,0)0

اسلاید 52: برنامه ريزي در فضاي برنامهيافتن ناسازگاري-10-5-ϵ+10+5-ϵa(5)b(10)xxyyدور منفي:0

اسلاید 53: ارضا پذيري دودوييفرم نرمال clausal

اسلاید 54: برنامه ريزي مبتني بر ارضا پذيري Step 1Step 2Step n

اسلاید 55: برنامه ريزي مبتني بر ارضا پذيريStep 1Step 2Step nInitial StateGoal State

اسلاید 56: برنامه ريزي مبتني بر ارضا پذيريStep 1Step 2Step nInitial StateGoal State

اسلاید 57: برنامه ريزي مبتني بر ارضا پذيري

اسلاید 58: برنامه ريزي مبتني بر ارضا پذيريStep 1Step 2Initial State

اسلاید 59: بازنمايي مسأله (ارضا پذيري دودويي)Step 1Initial StateStep k

اسلاید 60: برنامه ريزي مبتني بر ارضا پذيريStep 1Initial StateStep k

اسلاید 61: برنامه ريزي مبتني بر ارضا پذيريStep nGoal State

اسلاید 62: برنامه ريزي مبتني بر ارضا پذيريt=1t=2t=n

اسلاید 63: برنامه ريزي مبتني بر ارضا پذيريt=1t=2t=nt=12a(10)b(5)t=5t=10

اسلاید 64: برنامه ريزي مبتني بر ارضا پذيريانتزاع زمانStep 1Step 2Step nStep 5a(10)b(5)Step 3Step 4

اسلاید 65: برنامه ريزي مبتني بر ارضا پذيريa(10)Step 1Step 2Step nStep 5Step 3Step 4

اسلاید 66: برنامه ريزي مبتني بر ارضا پذيريa(10)Step 1Step 2Step nStep 5Step 3Step 4

اسلاید 67: برنامه ريزي مبتني بر ارضا پذيريa(10)Step 1Step 2Step nStep 5Step 3Step 4

اسلاید 68: برنامه ريزي مبتني بر ارضا پذيريمشکل انتزاع زمان: برنامه هاي نامعتبرStep 1Step 2Step nStep 5a(5)b(10)Step 3Step 4

اسلاید 69: برنامه ريزي مبتني بر ارضا پذيريمشکل انتزاع زمان: برنامه هاي نامعتبر-10-5-ϵ+10+5-ϵ-ϵ

اسلاید 70: برنامه ريزي مبتني بر ارضا پذيريمشکل انتزاع زمان: برنامه هاي نامعتبر-10-5-ϵ+10+5-ϵ-ϵ

اسلاید 71: برنامه ريزي مبتني بر ارضا پذيريمشکل انتزاع زمان: برنامه هاي نامعتبر-10-5+10+5

اسلاید 72: برنامه ريزي مبتني بر ارضا پذيريمشکل انتزاع زمان: برنامه هاي نامعتبر-10-5+10+5

اسلاید 73: برنامه ريزي مبتني بر ارضا پذيريحذف يال بين e1 و e2 مجاز است اگرe1 هيچ پيش شرطي از e2 را به عنوان اثر خود نداشته باشد.e2 هيچ کدام از پيش شرط هاي e1 را حذف نکند.e1 و e2 اثرات يکديگر را حذف نکنند.اگر e2 رويداد شروع کنش a باشد، e1 هيچ کدام از پيش شرط هاي زمان اجراي a را حذف نکند.اگر e1 رويداد پايان کنش a باشد، e2 هيچ کدام از پيش شرط هاي زمان اجراي a را حذف نکند.

اسلاید 74: برنامه ريزي مبتني بر ارضا پذيريزمان بندي برنامه انتزاعيStep 1Step 2Step 5a(5)b(10)Step 3Step 4

اسلاید 75: برنامه ريزي مبتني بر ارضا پذيريدور منفي:متغيرهايي که دور را توليد مي کنند:پيشگيري از دورStep 1Step 2Step 5a(5)b(10)Step 3Step 4

اسلاید 76: برنامه ريزي مبتني بر ارضا پذيريپيشگيري از دورStep 1Step 2Step 5a(5)b(10)Step 3Step 4

اسلاید 77: برنامه ريزي مبتني بر ارضا پذيريترتيب متغيرهايي که دور را توليد مي کنند:تشخيص ترتيب:Step 1Step 2Step 5a(5)b(10)Step 3Step 4

اسلاید 78: برنامه ريزي مبتني بر ارضا پذيريترتيب متغيرهايي که دور را توليد مي کنند:تشخيص ترتيب:Step 1Step 2Step 5a(5)c(10)Step 3Step 4

اسلاید 79: برنامه ريزي مبتني بر ارضا پذيري