Qisman buyurtma berish - Partial-order planning - Wikipedia

Qisman buyurtmani rejalashtirish ga yondashuv avtomatlashtirilgan rejalashtirish harakatlar o'rtasida qisman tartibni saqlaydi va faqat majburlashganda harakatlar o'rtasida buyurtma beradi, ya'ni harakatlarni buyurtma qilish qisman. Shuningdek, ushbu rejalashtirishda ikkita amal bajarilganda qaysi harakat birinchi bo'lib chiqishi aniqlanmagan. Aksincha, umumiy buyurtmani rejalashtirish rejalashtirishning har bir bosqichida barcha harakatlar o'rtasida umumiy tartibni saqlaydi. Maqsadga erishish uchun ba'zi harakatlar ketma-ketligi talab qilinadigan muammoni hisobga olgan holda, a qisman buyurtma rejasi bajarilishi kerak bo'lgan barcha harakatlarni belgilaydi, lekin faqat zarur hollarda harakatlar o'rtasida tartibni belgilaydi.

Quyidagi vaziyatni ko'rib chiqing: inson to'siq yo'lining boshidan oxirigacha sayohat qilishi kerak. Ushbu to'siq ko'prigi, arra arra va belanchak to'plamidan iborat. Arra arra va belanchak to'plami yetguncha ko'prikni bosib o'tish kerak. Bir marta etib borilgandan so'ng, arra arra va belanchak to'plami har qanday tartibda o'tishi mumkin, undan keyin oxiriga erishish mumkin bo'ladi. Qisman buyurtma rejasida ushbu to'siqlar orasidagi buyurtma faqat kerak bo'lganda ko'rsatiladi. Avval ko'prikni bosib o'tish kerak. Ikkinchidan, arra yoki belanchak to'plamini bosib o'tish mumkin. Uchinchidan, qolgan to'siqni bosib o'tish mumkin. Keyin oxirni kesib o'tish mumkin. Qisman buyurtmani rejalashtirish quyidagilarga bog'liq Eng kam majburiyat printsipi uning samaradorligi uchun.

Qisman buyurtma rejasi

A qisman buyurtma rejasi yoki qisman reja bajarilishi kerak bo'lgan barcha harakatlarni belgilaydigan reja, ammo faqat kerak bo'lganda harakatlar orasidagi tartibni belgilaydi. Bu qisman buyurtma rejalashtiruvchisining natijasidir. Qisman buyurtma rejasi to'rtta tarkibiy qismdan iborat:

  • To'plam harakatlar (shuningdek, nomi bilan tanilgan operatorlar).
  • A qisman buyurtma harakatlar uchun. U ba'zi bir harakatlar tartibi to'g'risidagi shartlarni belgilaydi.
  • To'plam sababiy aloqalar. Qaysi harakatlar boshqa harakatlarning qaysi old shartlariga javob berishini belgilaydi. Shu bilan bir qatorda, bog'lash harakatlardagi o'zgaruvchilar o'rtasida.
  • To'plam ochiq old shartlar. Qisman buyurtma rejasidagi biron bir harakat bilan qaysi old shartlar bajarilmasligini belgilaydi.

Harakatlarning mumkin bo'lgan buyurtmalarini iloji boricha ochiq ushlab turish uchun buyurtma shartlari va sabab aloqalari to'plami iloji boricha kichikroq bo'lishi kerak.

Agar ochiq old shartlar to'plami bo'sh bo'lsa, reja bu echimdir.

A chiziqlash qisman buyurtma rejasi - bu ma'lum bir qisman buyurtma rejasidan kelib chiqqan holda umumiy buyurtma rejasi; boshqacha qilib aytganda, har ikkala buyurtma rejalari ham bir xil harakatlardan iborat bo'lib, chiziqlashdagi tartib a chiziqli kengaytma dastlabki qisman buyurtma rejasidagi qisman tartibning.

Misol

Masalan, pirojniy pishirish rejasi boshlanishi mumkin:

  • do'konga boring
  • tuxum olish; unni olish; sut oling
  • barcha tovarlar uchun to'lash
  • oshxonaga boring

Bu qisman rejadir, chunki tuxum, un va sutni topish tartibi ko'rsatilmagan, agent do'kon atrofida aylanib yurishi mumkin reaktiv ravishda ro'yxat tugaguniga qadar uning xarid ro'yxatidagi barcha narsalarni to'plash.

Qisman buyurtma rejalashtiruvchisi

A qisman buyurtma rejalashtiruvchisi bu algoritm yoki dastur qisman buyurtma rejasini tuzadi va echimini qidiradi. Kiritish - ning tavsiflaridan iborat muammo tavsifi dastlabki holat, maqsad va mumkin harakatlar.

Muammoni a deb talqin qilish mumkin qidirish muammosi bu erda mumkin bo'lgan qisman buyurtma rejalari to'plami qidirish maydoni. Dastlabki holat maqsad shartlariga teng bo'lgan ochiq old shartlarga ega bo'lgan reja bo'ladi. Yakuniy holat ochiq old shartlarsiz, ya'ni echimsiz har qanday rejadir.

Boshlang'ich holat boshlang'ich shartlardir va ularni vazifaning old shartlari deb hisoblash mumkin. Jadvalni o'rnatish uchun dastlabki holat aniq jadval bo'lishi mumkin. Maqsad shunchaki bajarilishi kerak bo'lgan yakuniy harakatlar, masalan, dasturxon tuzish. Algoritm operatorlari - bu vazifa bajariladigan harakatlar. Ushbu misol uchun ikkita operator bo'lishi mumkin: yotish (dasturxon) va joy (ko'zoynak, plastinka va kumush buyumlar).

Joyni rejalashtirish

The bo'sh joyni rejalashtirish algoritmni boshlash va tugatish o'rtasida cheklangan. Algoritm boshlang'ich holatini keltirib chiqaradi va maqsadning barcha qismlariga erishilganda tugaydi. Jadval misolini belgilashda ikkita turdagi harakatlar ko'rib chiqilishi kerak - o'chirish va yotqizish operatorlari. Shuningdek, echilmagan to'rtta operator mavjud: Action 1, dasturxon, Action 2, Put-out (plitalar), Action 3, Out-out (kumush buyumlar) va Action 4, Out-out (ko'zoynaklar). Biroq, 1-harakatdan oldin 2, 3 yoki 4-harakatlar kelsa, tahdid mavjud, chunki bu tahdid algoritmni boshlashning old sharti qoniqarsiz bo'ladi, chunki jadval endi aniq bo'lmaydi. Shunday qilib, 2-chi va 4-chi amallarni 1-harakatdan keyin kelishiga majbur qiladigan algoritmga qo'shilishi kerak bo'lgan cheklovlar mavjud, bu amallar bajarilgandan so'ng algoritm tugaydi va maqsad tugallanadi.

Tahdidlar

Yuqorida keltirilgan algoritmdan ko'rinib turibdiki, qisman tartibli rejalashtirish ma'lum tahdidlarga duch kelishi mumkin buyurtmalar bog'langan harakatlarni buzish bilan tahdid qiladigan va shu bilan butun rejani buzishi mumkin. Tahdidlarni hal qilishning ikki yo'li mavjud:

Rag'batlantirish tahdid soladigan ulanishdan keyin mumkin bo'lgan tahdidni buyuradi. Kamaytirish tahdid soladigan ulanishdan oldin mumkin bo'lgan tahdidni buyuradi.

Qisman tartibli rejalashtirish algoritmlari ham ovozli, ham to'liq ekanligi ma'lum bo'lib, ovoz algoritmning umumiy tartibini, to'liq esa yechim topish imkoniyati sifatida aniqlanadi, chunki bu yechim aslida mavjud.

Qisman buyurtma va umumiy buyurtmani rejalashtirish

Qisman buyurtma rejalashtirish buning aksi umumiy buyurtmani rejalashtirish, unda amallar birdaniga va topshirilgan vazifaning barchasi uchun ketma-ketlikda amalga oshiriladi. Birida ikkita raqobatlashuvchi jarayon bo'lganida savol tug'iladi, qaysi biri yaxshiroq? Entoni Barret va Deniel Ueld 1993 yilgi kitoblarida buyurtmani qisman rejalashtirishdan ustun ekanligini ta'kidladilar umumiy buyurtmani rejalashtirish, chunki u tezroq va shu bilan samaraliroq. Ular ushbu nazariyani sinab ko'rishdi Korfning subgoal to'plamlar taksonomiyasi, unda ular qisman buyurtma rejalashtirish yaxshiroq ish olib borishini aniqladilar, chunki u ko'proq ishlab chiqaradi ahamiyatsiz ketma-ketlik dan umumiy buyurtmani rejalashtirish. Arzimas ketma-ketlikni osonlashtiradi subgoallarni o'z ichiga olgan maqsadlar bilan ishlashda rejalashtiruvchining tezkor qobiliyati. Rejalashtiruvchilar bilan ishlashda sekinroq ishlashadi mehnat bilan seriyalashtiriladigan yoki nonserializable subgoals. Subgoalni ahamiyatsiz yoki mashaqqatli ravishda seriyalashtiradigan aniqlovchi omil - bu turli xil rejalarning qidiruv maydoni. Ular qisman tartibli rejalashtirish eng tezkor yo'lni topishda usta ekanligini va shuning uchun rejalashtirishning ushbu ikki asosiy turidan samaraliroq ekanligini aniqladilar.

Sussman anomaliyasi

Qisman buyurtma rejalari osonlikcha va optimal tarzda hal etilishi ma'lum Sussman anomaliyasi. Ushbu turdagi qo'shimcha rejalashtirish tizimidan foydalanish bu muammoni tez va samarali hal qiladi. Bu qisman tartibli rejalashtirish natijasida samarali rejalashtirish tizimi sifatida o'rnini mustahkamladi.

Qisman buyurtmani rejalashtirishning kamchiliklari

Ushbu turdagi rejalashtirish tizimining bir noqulayligi shundaki, u har bir tugun uchun ko'proq hisoblash quvvatini talab qiladi. Ushbu tugun uchun yuqori narx qisman buyurtma rejalashtirish algoritmi boshqalarga qaraganda ancha murakkab bo'lganligi sababli yuzaga keladi. Bu muhim ahamiyatga ega sun'iy intellekt oqibatlari. Muayyan vazifani bajarish uchun robotni kodlashda yaratuvchi qancha energiya kerakligini hisobga olish kerak. Qisman buyurtma rejasi tezroq bo'lishiga qaramay, robot uchun energiya sarfiga to'g'ri kelmasligi mumkin. Ijodkor samarali robot yaratish uchun ushbu ikkita variantni bilishi va tortishi kerak.

Adabiyotlar