propositions that do not need an ac

propositions that do not need an action to support them will wind up taking the null value by default. There are two types of constraints—the mutex constraints which say that certain proposition action combinations are infeasible, and activation constraints which state that when a proposition p takes an action a as its value, the propositions corresponding to the preconditions of a cannot then take null (“⊥”) values.
5.2. Communicating failure to the planner
If the resource allocation fails, the reason for the failure has to be extracted and communicated to the planner. The three steps are detailed next.
Explanation generation
Generating failure explanation for the scheduler can be done in a straightforward fashion by using the explanation-based backtracking techniques [18,19]. Specifically, if we employ a conflict-directed backjumping strategy [19,43] to guide the solution of the scheduling CSP, in the event the CSP cannot be solved, the conflict set at the root of the search tree shows the subset of variables of the scheduling CSP that are causing the failure.
Explanation translation
After we get the failure explanations from the scheduler in the form of nogoods, NG = (X 1 ,X 2 ,...,X n ), we have to transform them into the form that the planner can understand. On the face of it, this problem seems trivial—after all, as shown in Fig. 10, the variables of the scheduler should correspond to actions in the planner, and thus they should make sense to the planner directly. There are, however, two complicating factors:
• Contrary to the simplified view illustrated in Fig.10,the variables of the CSP problem, as set up in Section 4.1, do not have a one-to-one correspondence with the actions in the causal plan (see Fig. 23). Instead, the relation is more indirect—in terms of resource spans, positions, etc., some of which don’t make direct sense to the planner. Specifically, each variable in the scheduler’s CSP, and consequently in any failure

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

propositions that do not need an action to support them will wind up taking the null value by default. There are two types of constraints—the mutex constraints which say that certain proposition action combinations are infeasible, and activation constraints which state that when a proposition p takes an action a as its value, the propositions corresponding to the preconditions of a cannot then take null (“⊥”) values.5.2. Communicating failure to the plannerIf the resource allocation fails, the reason for the failure has to be extracted and communicated to the planner. The three steps are detailed next.Explanation generationGenerating failure explanation for the scheduler can be done in a straightforward fashion by using the explanation-based backtracking techniques [18,19]. Specifically, if we employ a conflict-directed backjumping strategy [19,43] to guide the solution of the scheduling CSP, in the event the CSP cannot be solved, the conflict set at the root of the search tree shows the subset of variables of the scheduling CSP that are causing the failure.Explanation translationAfter we get the failure explanations from the scheduler in the form of nogoods, NG = (X 1 ,X 2 ,...,X n ), we have to transform them into the form that the planner can understand. On the face of it, this problem seems trivial—after all, as shown in Fig. 10, the variables of the scheduler should correspond to actions in the planner, and thus they should make sense to the planner directly. There are, however, two complicating factors:•ขัดกับมุมมองแบบง่ายในตัวแปร Fig.10,the ของปัญหา CSP ภาพตามที่ตั้งค่าในส่วน 4.1 ไม่มีการติดต่อแบบหนึ่งต่อหนึ่งกับการดำเนินการในการเชิงสาเหตุวางแผน (ดูรูปที่ 23) แทน ความสัมพันธ์ที่เป็นทางอ้อมมากขึ้น — ในแง่ทรัพยากรครอบคลุม ตำแหน่ง ฯลฯ ซึ่งไม่ทำให้ความรู้สึกโดยตรงเพื่อ เฉพาะ แต่ละตัวแปรในตัวจัดกำหนดการ CSP และจากนั้นในความล้มเหลว

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

ข้อเสนอที่ไม่จำเป็นต้องดำเนินการเพื่อสนับสนุนพวกเขาจะลมสละค่า null โดยค่าเริ่มต้น มีสองประเภทของข้อ จำกัด ข้อ จำกัด ที่ mutex ซึ่งบอกว่าบางอย่างรวมกันดำเนินการเรื่องที่เป็นไปไม่ได้และข้อ จำกัด การเปิดใช้งานซึ่งรัฐว่าเมื่อเป็นเรื่องที่ P จะใช้เวลาดำเนินการเป็นค่าของข้อเสนอที่สอดคล้องกับปัจจัยพื้นฐานของไม่สามารถแล้วใช้ null ( "⊥") ค่า
5.2 การสื่อสารล้มเหลวในการวางแผน
หากการจัดสรรทรัพยากรล้มเหลวเหตุผลสำหรับความล้มเหลวที่จะต้องมีการสกัดและการสื่อสารเพื่อการวางแผน สามขั้นตอนมีรายละเอียดต่อไป
รุ่นคำอธิบาย
การสร้างคำอธิบายความล้มเหลวสำหรับการจัดตารางเวลาสามารถทำได้ในแบบตรงไปตรงมาโดยใช้คำอธิบายที่ใช้เทคนิคการย้อนรอยบ [18,19] โดยเฉพาะถ้าเราใช้กลยุทธ์ backjumping ขัดแย้งกำกับ [19,43] เพื่อเป็นแนวทางในการแก้ปัญหาของ CSP ตั้งเวลาในการแข่งขันซีเอสพีไม่สามารถแก้ไขความขัดแย้งที่ตั้งไว้ที่รากของต้นไม้ค้นหาที่แสดงให้เห็นกลุ่มย่อยของตัวแปรของ ตั้งเวลา CSP ที่เป็นสาเหตุของความล้มเหลว
แปลคำอธิบาย
หลังจากที่เราได้รับการอธิบายความล้มเหลวจากการจัดตารางเวลาในรูปแบบของ nogoods ที่ NG = (x 1, x 2, ... , X n) เราจะต้องแปลงให้เป็นรูปแบบที่วางแผนสามารถเข้าใจ บนใบหน้าของมันปัญหานี้ดูเหมือนเล็กน้อยหลังทั้งหมดดังแสดงในรูป 10 ตัวแปรของการจัดตารางเวลาที่ควรจะสอดคล้องกับการดำเนินการในการวางแผนและทำให้พวกเขาควรจะทำให้รู้สึกถึงการวางแผนโดยตรง มี แต่สองปัจจัยแทรกซ้อน:
•ขัดกับมุมมองง่ายแสดงใน Fig.10 ตัวแปรของปัญหา CSP ตามที่ตั้งค่าไว้ในมาตรา 4.1 ไม่ได้มีการติดต่อแบบหนึ่งต่อหนึ่งกับการดำเนินการในการ แผนสาเหตุ (ดูรูปที่. 23) แต่ความสัมพันธ์เป็นทางอ้อมทั้งในแง่ของการครอบคลุมทรัพยากรตำแหน่งอื่น ๆ บางส่วนที่ไม่ได้ทำให้ความรู้สึกโดยตรงกับการวางแผน โดยเฉพาะตัวแปรแต่ละตัวใน CSP จัดตารางเวลาของและดังนั้นในความล้มเหลวใด ๆ

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

ข้อเสนอที่ไม่ต้องการที่จะสนับสนุนพวกเขาจะยุติการถ่ายค่า Null โดยค่าเริ่มต้น มีอยู่สองชนิดของข้อจำกัดที่ mutex ข้อจำกัดที่กล่าวว่า ข้อเสนอการกระทำบางอย่างที่ผสมและเปิดใช้งานข้อจำกัดที่ระบุว่าเมื่อข้อเสนอ P ใช้การกระทำเป็นค่าของ ข้อเสนอที่สอดคล้องกับเงื่อนไขล่วงหน้าของไม่สามารถใช้ null ( " ⊥ " ) ค่า5.2 . ความล้มเหลวในการวางแผนการสื่อสารหากการจัดสรรทรัพยากรล้มเหลว เหตุผลสำหรับความล้มเหลวต้องถูกสกัดและสื่อสารให้ผู้วางแผน สามขั้นตอนมีรายละเอียดต่อไปสร้างคำอธิบายสร้างความล้มเหลวการจัดตารางเวลาที่สามารถทำได้ในแฟชั่นตรงไปตรงมาโดยใช้คำอธิบายตามย้อนรอยเทคนิค [ 18,19 ] โดยเฉพาะ ถ้าเราจ้างความขัดแย้งกำกับ backjumping กลยุทธ์ [ 19,43 ] คู่มือการแก้ปัญหาของตาราง CSP CSP , ในเหตุการณ์ที่ไม่สามารถแก้ไขความขัดแย้งไว้ที่รากของต้นไม้ค้นหาแสดงให้เห็นบางส่วนของตัวแปรของตาราง CSP ที่เป็นสาเหตุของความล้มเหลวแปลคำอธิบายหลังจากที่เราได้รับความล้มเหลวคำอธิบายจากตารางเวลาในรูปแบบของ nogoods งะ = ( x 1 , x 2 , . . . , x n ) เราต้องเปลี่ยนพวกเขาลงในแบบฟอร์มที่ผู้วางแผนสามารถเข้าใจ บนใบหน้าของมัน ปัญหานี้ดูเหมือนเล็กน้อยหลังจากทั้งหมด ดังแสดงในรูปที่ 10 , ตัวแปรของตารางเวลาควรสอดคล้องกับการกระทำในการวางแผน และดังนั้นจึง ควรให้ความรู้สึกที่วางแผนโดยตรง มี , อย่างไรก็ตาม , สองปัจจัยแทรกซ้อน :บริการขัดง่ายดูภาพประกอบใน fig.10 ตัวแปรของ CSP ปัญหา เช่น การตั้งค่าในส่วนของ 4.1 ไม่ได้มีความสอดคล้องกับการกระทำของหนึ่งในแผนเชิงสาเหตุ ( 23 รูป ) แต่ความสัมพันธ์ทางอ้อมมากกว่าในแง่ของทรัพยากรที่ครอบคลุม ตำแหน่ง ฯลฯ บางอย่างที่ไม่สมเหตุสมผล โดยตรง เพื่อวางแผน โดยเฉพาะ ตัวแปรแต่ละตัวในเป็นกำหนดการ CSP , และส่งผลในความล้มเหลวใด ๆ