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 explor­ ing a number of ways for doing this, but
coming up with an efficient im­ plementation 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 com­ puting 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
) เพื่อที่เกี่ยวข้อง) จุดสำคัญคือการสกัดโดยอัตโนมัติเรียนรู้จากการทำงาน
เข้ารหัสแถบ เราได้รับ explor ing หลายวิธีการทำเช่นนี้ แต่
มากับ plementation im ที่มีประสิทธิภาพที่สามารถแข่งขันกับ hsp ที่คล้ายกัน
ปัญหาได้ยากปัญหาคือว่าผลของการ postconditions f (t): = w
ในแถบการทำงานเป็นรัฐขึ้นเมื่อเสื้อแง่กว้างหรือเกี่ยวข้องกับสัญลักษณ์
คล่องแคล่ว ทางเลือกที่เรากำลังสำรวจ com puting เรียนรู้เป็น
การแปลนี้การปรับปรุงขึ้นอยู่กับบริบทเป็นชุดเทียบเท่าเงื่อนไข
แต่การปรับปรุงบริบทที่เป็นอิสระในรูปแบบคฉ --- (t ') = w1 ที่ t1 และ W1 มี
ไม่มีสัญลักษณ์คล่องแคล่วและ
c = (t t = ') 1 (กว้าง = w').

Results (Thai) 2:

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

Results (Thai) 3:

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