Corresponding to span ?A 1 ,A 1/6,

Corresponding to span ?A 1 ,A 1/6, holding_R_blockF?can be freed at level 2 and re-allocated
at level 5. The number of robots needed at levels 3 and 4 will then reduce by 1. Problem
instances solvable by this method are in the class FIX.
If resource scarcity persists, an unallocated action is moved to a subsequent level where
it can be potentially allocated. But the move may force the consumers of its effects and any
other actions whose effects can be clobbered by the potential move, to be moved too. Since
unrestricted movement of actions can be as complex as planning itself, Solve SAMELEN
is not allowed to increase the plan length and is required to maintain the relative action
positions. See Fig. 22 for an example. Shuffle problem with 2 robots can be handled by
this method. In the shuffle problem in Fig. 15, the action A 2/5 can move down to level 6 to
ease the scarcity. Since A 2/6 needs the clear() effect of A 2/5 , it then needs to move to level 8.
Note that the length of the plan still remains the same. Problem instances solvable by this
method are in the class SAMELEN in Fig. 18.
If the two above approaches fail, the allocation problem is in Class INCRLEN where
the length of the abstract plan must be increased during scheduling (i.e., plan serialization
affects plan length). Shuffle problem with 1 robot belongs to this class. Problems in this
class are given either to the full declarative scheduler or back to the original planner for
solving it without any resource reasoning in the normal way. Class UNSOLV occurs when
the number of resources are too small for any resource allocation to be feasible at all. If
there are no resources, one can identify this class at the start of scheduling; otherwise it
cannot be determined until after Class INCRLEN.
Classes INFRES, FIX and SAMELEN are handled without backtracking in time
polynomial in the length of the abstract plan (since the plan is traversed only once).
For Class INCRLEN, resource abstraction is a penalty because the method goes back to

ผลลัพธ์ (ไทย) 1:

ที่สอดคล้องกับขยาย 1, 1/6, holding_R_blockF ? ลงในระดับ 2 และการปันส่วนในระดับ 5 แล้วจะลดจำนวนของหุ่นยนต์ที่จำเป็นในระดับ 3 และ 4 โดย 1 ปัญหากรณีแก้ไข โดยวิธีนี้อยู่ในระดับแก้ไขถ้ายังคงขาดแคลนทรัพยากร การดำเนินการจัดสรรจะถูกย้ายไปยังระดับถัดไปที่มันสามารถอาจปันส่วน แต่การย้ายอาจทำให้ผู้บริโภคของผลกระทบและการการดำเนินการอื่น ๆ ที่มีผลกระทบสามารถถูก clobbered โดยย้ายอาจเกิดขึ้น ที่จะย้ายไป ตั้งแต่ไม่จำกัดการเคลื่อนไหวของการดำเนินการสามารถจะซับซ้อนเป็นการวางแผนตัวเอง แก้ SAMELENไม่อนุญาตให้เพิ่มความยาวของแผน และจะต้องรักษาการดำเนินการสัมพันธ์ตำแหน่ง ดูตัวอย่างที่ 22 รูป สามารถจัดการกับปัญหาสลับกับหุ่นยนต์ 2วิธีนี้ ในปัญหาสลับในรูป 15 การดำเนินการเป็น 2/5 สามารถเลื่อนระดับ 6 ไปบรรเทาการขาดแคลน ตั้งแต่ 2/6 ต้องการผล clear() 2/5 มันแล้วต้องการย้ายไประดับ 8ทราบว่า ความยาวของแผนยังคงอยู่เหมือนกัน กรณีปัญหาที่แก้ไขตามนี้วิธีอยู่ในคลาส SAMELEN ในรูปข้างต้นทั้งสองวิธีล้มเหลว การปันส่วนว่าในคลา INCRLEN ที่ความยาวของบทคัดย่อแผนต้องเพิ่มขึ้นในระหว่างการจัดกำหนดการ (เช่น แผนอนุกรมมีผลต่อระยะเวลาของแผน) ปัญหาสลับกับหุ่นยนต์ 1 เป็นของชั้นนี้ ปัญหาในนี้ชั้นจะได้รับ การจัดกำหนดการประกาศเต็ม หรือกลับ ไปวางแผนเดิมสำหรับแก้ปัญหา โดยไม่มีทรัพยากรใด ๆ ให้เหตุผลในลักษณะปกติ คลา UNSOLV เกิดขึ้นเมื่อจำนวนของทรัพยากรที่มีขนาดเล็กเกินไปสำหรับการปันส่วนทรัพยากรใด ๆ เป็นไปได้ทั้งหมด ถ้ามีทรัพยากรไม่มี หนึ่งสามารถระบุชั้นที่เริ่มต้นการผลิต มิฉะนั้นมันไม่สามารถกำหนดจนกว่าหลังจากคลา INCRLENชั้น INFRES แก้ไข และ SAMELEN ได้รับการจัดการ โดยครั้งในเวลาพหุนามในระยะของแผนนามธรรม (ตั้งแต่แผนการเคลื่อนที่เพียงครั้งเดียว)คลา INCRLEN, abstraction ทรัพยากรจะมีค่าปรับเนื่องจากวิธีการจะกลับไป

ผลลัพธ์ (ไทย) 2:

ที่สอดคล้องกับการขยายหรือไม่ที่ 1 1/6 holding_R_blockF? สามารถเป็นอิสระในระดับที่ 2 และอีกครั้งที่จัดสรร
ในระดับ 5 จำนวนของหุ่นยนต์ที่จำเป็นในระดับที่ 3 และ 4 นั้นจะลดลง 1. ปัญหา
กรณีแก้ปัญหาด้วยวิธีนี้ อยู่ในการแก้ไขในชั้นเรียน
หากขาดแคลนทรัพยากรที่ยังคงมีการดำเนินการที่ไม่ได้ปันส่วนถูกย้ายไปยังระดับต่อมาที่
จะสามารถได้รับการจัดสรรที่อาจเกิดขึ้น แต่การย้ายอาจบังคับให้ผู้บริโภคมีผลกระทบใด ๆ และ
การกระทำอื่น ๆ ที่มีผลกระทบสามารถ clobbered โดยย้ายที่มีศักยภาพที่จะย้ายเกินไป ตั้งแต่
การเคลื่อนไหวที่ไม่ จำกัด ของการกระทำที่อาจจะซับซ้อนเท่าที่ตัวเองวางแผนแก้ SAMELEN
ไม่อนุญาตให้เพิ่มความยาวแผนและจะต้องรักษาการกระทำญาติ
ตำแหน่ง ดูรูป 22 ตัวอย่าง ปัญหาสลับกับ 2 หุ่นยนต์สามารถจัดการโดย
วิธีนี้ ปัญหาการสับเปลี่ยนในรูป 15 การกระทำ 2/5 สามารถย้ายลงไปถึงระดับ 6 เพื่อ
บรรเทาความขาดแคลน ตั้งแต่ 2/6 ความต้องการที่ชัดเจน () ผลของ 2/5 มันก็ต้องการที่จะย้ายไปยังระดับ 8.
โปรดทราบว่าระยะเวลาของแผนยังคงยังคงเหมือนเดิม กรณีปัญหาแก้ปัญหานี้โดย
วิธีการอยู่ในระดับ SAMELEN ในรูป 18.
ถ้าทั้งสองวิธีข้างต้นล้มเหลวปัญหาการจัดสรรอยู่ในชั้นเรียน INCRLEN ที่
ความยาวของแผนนามธรรมจะต้องมีการเพิ่มขึ้นในช่วงการตั้งเวลา (เช่นอนุกรมแผน
ส่งผลกระทบต่อระยะเวลาในแผน) ปัญหาสลับกับหุ่นยนต์ที่ 1 เป็นของชั้นนี้ ปัญหาที่เกิดขึ้นในครั้งนี้
ชั้นจะได้รับอย่างใดอย่างหนึ่งที่จะกำหนดการเปิดเผยเต็มหรือกลับไปที่เดิมวางแผนสำหรับ
การแก้ได้โดยไม่ต้องให้เหตุผลทรัพยากรใด ๆ ตามวิธีปกติ ระดับ UNSOLV เกิดขึ้นเมื่อ
จำนวนของทรัพยากรที่มีขนาดเล็กเกินไปสำหรับการจัดสรรทรัพยากรใด ๆ ที่จะเป็นไปได้ที่ทุกคน หาก
มีทรัพยากรที่ไม่มีใครสามารถระบุชั้นนี้ในช่วงเริ่มต้นของการตั้งเวลา; มิฉะนั้นจะ
ไม่สามารถกำหนดจนกว่าหลังเลิกเรียน INCRLEN
ชั้นเรียน INFRES แก้ไขและ SAMELEN ได้รับการจัดการโดยไม่ต้องย้อนรอยในเวลา
พหุนามในความยาวของแผนนามธรรม (ตั้งแต่แผนแยบยลเพียงครั้งเดียว)
สำหรับ Class INCRLEN นามธรรมทรัพยากรเป็นโทษเพราะวิธีการที่จะกลับไป

ผลลัพธ์ (ไทย) 3:

ที่สอดคล้องกับช่วง ? 1 , 1 / 6 , holding_r_blockf ? สามารถเป็นอิสระในระดับ 2 และจัดสรรที่ระดับ 5 หมายเลขของหุ่นยนต์ที่จำเป็นในระดับ 3 และ 4 จะลดจาก 1 ปัญหากรณีแก้ไขได้โดยวิธีนี้อยู่ในระดับแก้ไขถ้าขาดแคลนทรัพยากรยังคงอยู่ การว่างที่ถูกย้ายไปยังระดับถัดไปที่มันสามารถอาจที่จัดสรร แต่ย้ายที่อาจบังคับให้ผู้บริโภคและผลกระทบใด ๆการกระทำอื่น ๆที่มีผลสามารถ clobbered โดยย้ายที่อาจเกิดขึ้นจะถูกย้ายด้วย ตั้งแต่เคลื่อนไหวไม่จำกัดการกระทำสามารถจะซับซ้อนเท่าที่คิดเอง แก้ปัญหา samelenไม่อนุญาตให้เพิ่มแผนความยาวและจะต้องดูแลการสัมพัทธ์ตำแหน่ง ดู 22 รูปที่ยกตัวอย่างน่ะ สับเปลี่ยนปัญหา 2 หุ่นยนต์สามารถจัดการได้โดยวิธีนี้ ในการสับเปลี่ยนปัญหาใน 15 รูป การกระทำ 2 / 5 สามารถย้ายลงไปที่ระดับ 6บรรเทาความขาดแคลน ตั้งแต่ 2 / 6 ต้องการผล clear() ของ 2 / 5 มันก็ต้องการที่จะย้ายไปยังระดับ 8หมายเหตุว่า ความยาวของแผนยังคงเหมือนเดิม แก้ไขปัญหากรณีนี้วิธีการอยู่ในระดับ samelen 18 มะเดื่อ .ถ้าสองวิธีข้างต้นล้มเหลว การจัดสรรปัญหาในชั้นเรียน incrlen ที่ไหนความยาวของบทคัดย่อจะต้องเพิ่มขึ้นในช่วงแผนตาราง ( เช่น แผน การทำให้เป็นอนุกรมส่งผลกระทบต่อแผนการความยาว ) สับเปลี่ยนปัญหา 1 หุ่นยนต์ของชั้นนี้ ปัญหานี้ชั้นจะได้รับทั้งการจัดเก็บเต็มตารางเวลาหรือกลับไปที่แผนเดิมสำหรับแก้ไขโดยเหตุผลทรัพยากรใด ๆในทางปกติ ชั้น unsolv เกิดขึ้นเมื่อหมายเลขของทรัพยากรที่มีขนาดเล็กเกินไปสำหรับการจัดสรรทรัพยากรใด ๆที่เป็นไปได้ทั้งหมด ถ้าไม่มีแหล่งข้อมูลหนึ่งสามารถระบุระดับนี้ที่จุดเริ่มต้นของตาราง ; มิฉะนั้นไม่สามารถกำหนดจนกว่าชั้น incrlen .เรียน infres แก้ไข samelen และจัดการโดยไม่ย้อนรอยในเวลาพหุนามในความยาวของแผนนามธรรม ( ตั้งแต่วางแผนเดินทางไปเพียงครั้งเดียว )เรียน incrlen abstraction ทรัพยากรเป็นโทษ เนื่องจากวิธีการกลับ