The set of actions resulting from t

The set of actions resulting from this mapping applied to the variables in the scheduler’s
failure explanation is then taken as the set of actions in the causal plan that causes the
scheduler’s failure. In Graphplan terminology, this set of actions can be thought of as an
additional n-ary action mutex constraint on the planner’s CSP. We will now see that based
on the specific scheduling class being used, this single translated action mutex constraint
may lead to additional implied action mutex constraints.
In Section 4.2, we mentioned different scheduling classes, and how they affect the
process of setting up the scheduling CSP. For class INFRES and FIX, since actions in
the final plan are not allowed to move in the scheduling phase, the conflict set representing
a failure in the scheduler is converted to exactly one action set in the planner. However, for
class SAMELEN, because actions are allowed to move away from its initial position in the
solution given by the planner, one conflict set of the scheduling CSP represents multiple
action mutex sets of the planner. For example, if the set (O 1 ,O 2 ,...,O n ) is one nogood

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

ชุดของการกระทำที่เกิดจากการแมปนี้ใช้กับตัวแปรในตัวจัดกำหนดการคำอธิบายความล้มเหลวแล้วนำมาเป็นชุดของการดำเนินการในแผนเชิงสาเหตุที่ทำให้เกิดการความล้มเหลวของตัวจัดกำหนดการ ในศัพท์ Graphplan ชุดของการดำเนินการนี้อาจถือได้ว่า เป็นการการกระทำเพิ่มเติม n ary ด้วยข้อผิดพลาดข้อจำกัดบน CSP ของผู้วางแผน เราจะได้เห็นที่ในเฉพาะการจัดกำหนดการระดับการใช้ ข้อจำกัดนี้แปลข้อผิดพลาดอาจนำไปสู่การกระทำโดยนัยเพิ่มเติมด้วยข้อผิดพลาดข้อจำกัดในส่วน 4.2 เรากล่าวเรียนจัดตารางการผลิตที่แตกต่างกัน และว่ามีผลต่อการกระบวนการของการตั้งค่ากำหนดการ CSP สำหรับคลาส INFRES และแก้ไข ตั้งแต่การดำเนินการในแผนการขั้นสุดท้ายไม่สามารถย้ายในขั้นตอนการจัดกำหนดการ ความขัดแย้งที่ตั้งเป็นตัวแทนความล้มเหลวในการจัดกำหนดการจะถูกแปลงเป็นชุดในการวางแผนการดำเนินการเดียว อย่างไรก็ตาม สำหรับคลา SAMELEN เนื่องจากการดำเนินการที่อนุญาตให้ย้ายออกจากตำแหน่งเริ่มต้นในการแก้ปัญหาโดยการวางแผน ชุดความขัดแย้งของ CSP จัดแสดงหลายด้วยข้อผิดพลาดการดำเนินการตั้งค่าของการวางแผน ตัวอย่างเช่น ถ้า nogood หนึ่งชุด (1, O 2,..., O n O)

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

ชุดของการกระทำที่เกิดจากการทำแผนที่นี้นำไปใช้กับตัวแปรในการจัดตารางเวลาของ
คำอธิบายความล้มเหลวที่จะนำมาแล้วเป็นชุดของการกระทำในการวางแผนเชิงสาเหตุที่ทำให้เกิดการ
ล้มเหลวในการจัดตารางเวลาของ ในคำศัพท์ Graphplan, ชุดของการกระทำนี้อาจจะคิดว่าเป็น
N-Ary จำกัด การกระทำ mutex เพิ่มเติมเกี่ยวกับซีเอสพีวางแผนของ ตอนนี้เราจะเห็นว่าขึ้นอยู่
ในระดับที่เฉพาะเจาะจงการตั้งเวลาการใช้เดี่ยวนี้แปลกระทำ จำกัด mutex
อาจนำไปสู่การดำเนินการเพิ่มเติมโดยนัย จำกัด mutex
ในมาตรา 4.2 ที่เรากล่าวถึงการจัดตารางการเรียนแตกต่างกันและวิธีที่พวกเขาส่งผลกระทบต่อ
กระบวนการของการตั้งค่า CSP การตั้งเวลา สำหรับ INFRES ระดับและแก้ไขตั้งแต่การดำเนินการใน
แผนสุดท้ายจะไม่ได้รับอนุญาตให้ย้ายในขั้นตอนการตั้งเวลา, ความขัดแย้งตั้งเป็นตัวแทนของ
ความล้มเหลวในการจัดตารางเวลาที่จะถูกแปลงเป็นว่าการกระทำอย่างใดอย่างหนึ่งที่ตั้งอยู่ในการวางแผน อย่างไรก็ตามสำหรับ
ระดับ SAMELEN เพราะการกระทำที่ได้รับอนุญาตให้ย้ายออกจากตำแหน่งเริ่มต้นใน
การแก้ปัญหาให้โดยวางแผนชุดหนึ่งของความขัดแย้ง CSP การตั้งเวลาหมายถึงหลาย
ชุดการกระทำของ mutex วางแผน ตัวอย่างเช่นถ้าชุด (O 1, O 2, ... , n O) เป็นหนึ่งใน nogood

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

ชุดของการกระทำที่เกิดจากแผนที่นี้ใช้กับตัวแปรของตารางคำอธิบายความล้มเหลวแล้วถ่ายเป็นชุดของการกระทำในสาเหตุ ที่ทำให้แผนตารางเวลาของความล้มเหลว คำศัพท์ที่ใช้ใน graphplan , ชุดของการกระทำนี้สามารถคิดเป็นเพิ่มเติม n-ary กระทำ mutex ข้อจำกัดของการวางแผน CSP . ตอนนี้เราจะเห็นได้ว่าจากในเฉพาะตารางคลาสการใช้ ซิงเกิ้ลนี้แปลการกระทำ mutex จำกัดอาจมีเพิ่มเติมโดยการกระทำ mutex ข้อจำกัดในส่วน 4.2 , เรากล่าวถึงที่แตกต่างกันตารางเรียน และวิธีที่พวกเขาส่งผลกระทบต่อกระบวนการของการตั้งค่าการตั้งเวลา CSP . เรียน infres และแก้ไข เพราะการกระทำในแผนสุดท้าย ไม่ อนุญาต ให้ ย้าย ในการจัดระยะ ความขัดแย้งชุดแทนความล้มเหลวในการจัดตารางเวลาจะถูกแปลงเป็นอีกหนึ่งการตั้งค่าในการวางแผน อย่างไรก็ตามชั้น samelen เพราะการกระทำจะได้รับอนุญาตให้ย้ายออกจากตำแหน่งเริ่มต้นในแก้ไขให้ โดยวางแผน , ความขัดแย้งการตั้งเวลา CSP เป็นหลายชุดการกระทำ mutex ชุดของผู้วางแผน ตัวอย่างเช่น ถ้าตั้งค่า ( o o 1 , 2 , . . . , n o ) เป็นหนึ่ง nogood