The ideas of HSP can be used in the

The ideas of HSP can be used in the context of Functional Strips (see
(BLG97) for related results). The key point is the automatic extraction of the heuristic from Functional Strips encodings. We have been exploring a number of ways for doing this, but coming up with an efficient implementation that can be competitive with HSP on similar problems has been difficult. The problem is that the effect of postconditions f (t) := w in Functional Strips is state dependent when the terms t or w involve fluent symbols. An alternative that we are currently exploring for computing the heuristic is to translate this context-dependent updates into equivalent sets of conditional but context-independent updates of the form C ---+ f(t') := w1 , where t1 and w1 have no fluent symbols and C = (t = t') 1 (w = w').

Results (Thai) 1:

ความคิดของ hsp สามารถนำมาใช้ในบริบทของแถบการทำงาน (ดู (ผล blg97
) เพื่อที่เกี่ยวข้อง) จุดสำคัญคือการสกัดโดยอัตโนมัติเรียนรู้จากการเข้ารหัสแถบการทำงาน เราได้รับการสำรวจจำนวนของวิธีการทำเช่นนี้ แต่มากับการดำเนินงานที่มีประสิทธิภาพที่สามารถแข่งขันกับ hsp เกี่ยวกับปัญหาที่คล้ายกันได้ยากปัญหาคือว่าผลของการ postconditions f (t): = กว้างในแถบการทำงานเป็นรัฐขึ้นเมื่อเสื้อแง่กว้างหรือเกี่ยวข้องกับสัญลักษณ์คล่องแคล่ว ทางเลือกที่เรากำลังสำรวจสำหรับการคำนวณการแก้ปัญหาคือการแปลการปรับปรุงนี้ขึ้นอยู่กับบริบทเป็นชุดเทียบเท่าของการปรับปรุงเงื่อนไข แต่บริบทที่เป็นอิสระในรูปแบบคฉ --- (t ') = w1,ที่ t1 และ W1 ไม่มีสัญลักษณ์คล่องแคล่วและ c = (t t = ') 1 (กว้าง = w').

Results (Thai) 2:

สามารถใช้ความคิดของ HSP ในบริบทของการทำงานแถบ (see
(BLG97) สำหรับผลลัพธ์ที่เกี่ยวข้อง) ประเด็นสำคัญคือ แยกอัตโนมัติของ heuristic ที่จากแถบงานเข้ารหัส เราได้สำรวจหลายวิธีสำหรับการทำเช่นนี้ แต่ขึ้นมา ด้วยการนำไปใช้อย่างมีประสิทธิภาพที่สามารถแข่งขันกับ HSP ในปัญหาคล้ายกันได้ยาก ปัญหาคือ ว่า ผลของ postconditions f (t): = w ในแถบงานเป็นรัฐขึ้นเมื่อเงื่อนไข t หรือ w เกี่ยวข้องกับสัญลักษณ์อย่างคล่องแคล่ว ทางเลือกที่เรามีอยู่ในขณะนี้การสำรวจสำหรับคอมพิวเตอร์ heuristic จะแปลปรับปรุงขึ้นอยู่กับบริบทนี้เทียบเท่ากับชุดของเงื่อนไขแต่ไม่ขึ้นกับบริบทการปรับปรุงแบบฟอร์ม C---f(t'): = w1 ที่ t1 และ w1 มีไม่สัญลักษณ์อย่างคล่องแคล่วและ C = (t = t') 1 (w = w').

Results (Thai) 3:

ความคิดของ HSP สามารถใช้ในบริบทของประโยชน์ใช้สอยรางปลั๊ก(ดู
( blg 97 )สำหรับผลที่เกี่ยวข้อง) จุดสำคัญที่มีการขุดเจาะอัตโนมัติของเ้กิดจากเต็มไปด้วยประโยชน์ใช้สอยแถบการเข้ารหัส เราได้รับการสำรวจจำนวนที่มีหลายวิธีที่ทำอยู่นี้แต่พอมาถึงได้พร้อมด้วยการนำไปใช้อย่างมี ประสิทธิภาพ ที่สามารถแข่งขันได้กับ HSP ในปัญหาความเหมือนได้ยากปัญหาที่เป็นที่ผลของ W F ( T ):= postconditions เต็มไปด้วยประโยชน์ใช้สอยในแถบคือรัฐขึ้นอยู่กับเมื่อเงื่อนไขที่ T หรือ W เกี่ยวข้องกับสัญลักษณ์คล่อง เป็นทางเลือกที่เรามีเพื่อการสำรวจสำหรับการใช้งานคอมพิวเตอร์ในปัจจุบันนี้เ้กิดคือการแปลโปรแกรมปรับปรุงแบบคอนเท็กซ์เซนซิทีฟขึ้นอยู่กับนี้เข้ากับชุดเทียบเท่ากับการปรับปรุงโดยมีเงื่อนไขแต่บริบท - อิสระของรูปแบบ C F ( T '):= W 1ที่ T 1 และ W 1 ไม่มีสัญลักษณ์คล่อง C และ=( T = T ') 1 ( W =')..