4.4. SummaryIn this section, the re

4.4. Summary
In this section, the resource allocation problem was discussed as a Constraint Satisfaction Problem. We presented it as a declaratively specified DCSP problem and translated into a standard CSP problem. We also sub-divided it into simpler classes and investigated solving them with cheaper specialized algorithms leaving out the harder ones for the general DCSP or default planning. The planner to scheduler interaction in RealPlan-MS is seen as policies that have semantics in terms of domains of DCSP variables. In the next section, we discuss the RealPlan-PP model of planner-scheduler interaction. We follow it with how the inserted actions in the scheduled plan are translated to executable sub-plans to generate the final plan.
5. Peer to peer interaction between planner and scheduler Until now, the interaction between the planner and scheduler is essentially unidirectional. The scheduler tries various ways of allocating resources to the causal plan, but when it fails, the decoupled approach is abandoned and the planner goes back to solving the problem from scratch, taking both causal and resource allocation decisions into account. Although this approach does work fine in most scenarios where there is indeed loose coupling between planning and scheduling decisions, it fails in situations where the coupling is tighter. In these latter scenarios, we would like the scheduler to get back to the planner with specific information about the reasons for its failure to allocate resources to the plan. Intuitively, we would expect that such an explanation would be in terms of some specific actions in the causal plan whose presence at their respective places makes resource allocation infeasible. Ideally, we would then like the planner to resume its search, armed with the “explanation” of the failure supplied to it by the scheduler, and come up with a causal plan that avoids that failure. Such a plan will then be sent to the scheduler. Of course, it is quite possible that the scheduler is unable to allocate resources to this new plan too (albeit for a different reason)—in which case the interaction cycle continues, until a schedulable plan is eventually found. Implementation of this style of interaction regime requires several steps:
Explanation generation: The scheduler needs to be modified to provide a compact explanation of its failure to allocate resources.
Translation: The scheduler’s explanation of failure needs to be “translated” into a form that makes sense for the planner’s search space.

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

4.4. สรุปในส่วนนี้ มีการกล่าวถึงปัญหาการจัดสรรทรัพยากรเป็นปัญหาข้อจำกัดความพึงพอใจ เรานำเสนอเป็นปัญหา DCSP declaratively ระบุ และแปล CSP ปัญหามาตรฐาน นอกจากนี้เรายังแบ่งเป็นชนชั้นที่เรียบง่าย และการแก้ ด้วยถูกกว่าเฉพาะทึมออกออกคนยาก DCSP ทั่วไปหรือเริ่มต้นการวางแผนการตรวจสอบ การวางแผนการจัดกำหนดการการโต้ตอบใน RealPlan MS ถูกมองว่าเป็นนโยบายที่มีความหมายในแง่ของโดเมนของตัวแปร DCSP ในส่วนถัดไป เราหารือรุ่น RealPlan PP ของตัวจัดกำหนดการวางแผนการโต้ตอบ เราทำตามมัน ด้วยวิธีแปลการดำเนินการแทรกในแผนการกำหนดแผนปฏิบัติการย่อยเพื่อสร้างแผนขั้นสุดท้าย5. เพื่อนให้เพื่อนโต้ตอบระหว่างผู้วางแผนและกำหนดเวลาจนถึงตอนนี้ การโต้ตอบระหว่างการวางแผนและจัดกำหนดการมีทิศทางเป็นหลัก ตัวจัดกำหนดการพยายามหลายวิธีของการปันส่วนทรัพยากรไปยังแผนเชิงสาเหตุ แต่เมื่อมันล้มเหลว วิธีการ decoupled ถูกยกเลิก และการวางแผนจะกลับไปแก้ปัญหาตั้งแต่ต้น ทั้งลำลองและตัดสินใจจัดสรรทรัพยากรเข้าบัญชี แม้ว่าวิธีการนี้ทำงานได้ดีในสถานการณ์ส่วนใหญ่มีหลวมแน่นอน coupling ระหว่างการวางแผน และตัดสินใจการวางแผน มันล้มเหลวในสถานการณ์ที่เข้มงวดมากขึ้นต่อ ในสถานการณ์เหล่านี้หลัง เราต้องกำหนดเวลาเพื่อกลับไปวางแผนที่มีข้อมูลเกี่ยวกับเหตุผลสำหรับความล้มเหลวในการปันส่วนทรัพยากรแผนการ สังหรณ์ใจ เราคาดหวังว่า คำอธิบายจะเป็นในแง่ของการในแผนเชิงสาเหตุที่มีอยู่ในสถานเกี่ยวข้องทำให้การจัดสรรทรัพยากร infeasible เราจะชอบวางแผนเพื่อดำเนินการค้นหา มี "คำอธิบาย" ของความล้มเหลวที่ให้มานั้น โดยกำหนดการ แล้วมากับแผนการเชิงสาเหตุที่หลีกเลี่ยงความล้มเหลวที่ การวางแผนแล้วจะถูกส่งไปยังตัวจัดกำหนดการ แน่นอน เป็นตัวกำหนดเวลาว่าสามารถจัดสรรทรัพยากรเพื่อให้แผนนี้ใหม่เกินไป (แม้ว่าเหตุผลที่แตกต่าง) — ในกรณี วงจรการโต้ตอบยังคง จนกว่าแผนการจัดกำหนดการได้ในที่สุดก็พบ ดำเนินการโต้ตอบระบอบการปกครองแบบนี้ต้องใช้หลายขั้นตอน:สร้างคำอธิบาย: ตัวจัดกำหนดการต้องแก้ไขเพื่อให้คำอธิบายที่กะทัดรัดของความล้มเหลวในการปันส่วนทรัพยากรแปล: คำอธิบายของตัวจัดกำหนดการของความล้มเหลวต้องการที่จะ "แปล" เป็นแบบที่เหมาะสมสำหรับการวางแผนค้นหาพื้นที่

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

4.4 สรุป
ในส่วนนี้ปัญหาการจัดสรรทรัพยากรที่ถูกกล่าวถึงเป็นปัญหาความพึงพอใจของข้อ จำกัด เรานำเสนอเป็นปัญหา DCSP ระบุ declaratively และแปลเป็นปัญหา CSP มาตรฐาน นอกจากนี้เรายังแบ่งย่อยลงในชั้นเรียนง่ายและตรวจสอบการแก้พวกเขามีขั้นตอนวิธีการพิเศษที่ถูกกว่าออกจากคนที่ยากสำหรับทั่วไป DCSP หรือเริ่มต้นการวางแผน วางแผนที่จะจัดตารางเวลาการทำงานร่วมกันใน RealPlan-MS ถูกมองว่าเป็นนโยบายที่มีความหมายในแง่ของโดเมนของตัวแปร DCSP ในส่วนถัดไปเราจะหารือรูปแบบ RealPlan-PP ของการปฏิสัมพันธ์วางแผนกำหนดการ เราปฏิบัติตามมันด้วยวิธีการกระทำที่แทรกอยู่ในแผนการที่กำหนดแปลงแผนปฏิบัติการย่อยเพื่อสร้างแผนสุดท้าย
5. Peer to Peer ปฏิสัมพันธ์ระหว่างวางแผนและตารางเวลาจนถึงขณะนี้การทำงานร่วมกันระหว่างการวางแผนและจัดตารางเวลาเป็นทิศทางเดียวเป็นหลัก กำหนดการพยายามหลายวิธีในการจัดสรรทรัพยากรในการวางแผนเชิงสาเหตุ แต่เมื่อมันล้มเหลววิธีการแยกถูกยกเลิกและวางแผนจะกลับไปแก้ปัญหาที่เกิดจากรอยขีดข่วน, การทั้งสาเหตุและการจัดสรรทรัพยากรในการตัดสินใจเข้าบัญชี แม้ว่าวิธีนี้ไม่ทำงานได้ดีในสถานการณ์ส่วนใหญ่ที่มี coupling หลวมแน่นอนระหว่างการวางแผนและการจัดตารางเวลาการตัดสินใจมันล้มเหลวในสถานการณ์ที่มีเพศสัมพันธ์เป็นที่เข้มงวดมากขึ้น ในสถานการณ์เหล่านี้หลังเราอยากจัดตารางเวลาที่จะได้รับกลับไปวางแผนที่มีข้อมูลเกี่ยวกับสาเหตุของการล้มเหลวในการจัดสรรทรัพยากรในการวางแผน สังหรณ์ใจเราจะคาดหวังว่าคำอธิบายดังกล่าวจะเป็นในแง่ของการดำเนินการบางอย่างในการวางแผนเชิงสาเหตุที่มีการแสดงตนที่สถานที่ของตนทำให้การจัดสรรทรัพยากรเป็นไปไม่ได้ จะเป็นการดีที่เราจะแล้วเช่นการวางแผนเพื่อดำเนินการค้นหาอาวุธกับ "คำอธิบาย" ของความล้มเหลวที่จัดให้โดยการจัดตารางเวลาและเกิดขึ้นกับแผนสาเหตุที่หลีกเลี่ยงความล้มเหลว ดังกล่าวเป็นแผนแล้วจะถูกส่งไปจัดตารางเวลา แน่นอนว่ามันค่อนข้างเป็นไปได้ว่ากำหนดการไม่สามารถจัดสรรทรัพยากรในการแผนใหม่นี้มากเกินไป (แม้จะด้วยเหตุผลที่แตกต่างกัน) -in กรณีที่วงจรการทำงานร่วมกันอย่างต่อเนื่องจนกว่าจะมีแผน schedulable พบในที่สุด การดำเนินการตามรูปแบบของระบอบการปกครองปฏิสัมพันธ์นี้ต้องใช้หลายขั้นตอน:
รุ่นคำอธิบาย: การจัดตารางเวลาที่จะต้องมีการปรับเปลี่ยนเพื่อให้คำอธิบายที่มีขนาดกะทัดรัดของความล้มเหลวในการจัดสรรทรัพยากร
แปล: คำอธิบายกำหนดการของความล้มเหลวที่จะต้องมีการ "แปลว่า" เป็นรูปแบบที่เหมาะสมสำหรับพื้นที่ค้นหาวางแผนไว้