Planning as satisfiability is a pri

Planning as satisfiability is a principal approach to planning
with many eminent advantages. The existing planning
as satisfiability techniques usually use encodings
compiled from the STRIPS formalism. We introduce a
novel SAT encoding scheme based on the SAS+ formalism.
It exploits the structural information in the SAS+
formalism, resulting in more compact SAT instances
and reducing the number of clauses by up to 50 fold.
Our results show that this encoding scheme improves
upon the STRIPS-based encoding, in terms of both time
and memory efficiency.

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

การวางแผนเป็น satisfiability เป็นวิธีการหลักการวางแผนมีข้อดีอีกมากมาย การวางแผนอยู่เป็นเทคนิค satisfiability มักจะใช้การเข้ารหัสคอมไพล์จาก formalism แถบ เราแนะนำตัวนวนิยายเสาร์เข้าร่างตาม formalism SAS +โครงสร้างข้อมูลใน SAS + นำมันformalism เกิดในกระชับเสาร์และลดจำนวนของประโยค โดยพับถึง 50ผลของเราแสดงโครงร่างนี้เข้าช่วยเมื่อมีการใช้แถบเข้ารหัส ในแง่ของเวลาทั้งและประสิทธิภาพของหน่วยความจำ

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

การวางแผนเป็น satisfiability
เป็นวิธีการหลักในการวางแผนมีข้อได้เปรียบที่มีชื่อเสียงหลายคน การวางแผนที่มีอยู่กับเทคนิค satisfiability มักจะใช้การเข้ารหัสที่รวบรวมจากแบบแผ่น เราแนะนำนวนิยาย SAT การเข้ารหัสรูปแบบขึ้นอยู่กับเอสเอ + พิธี. มันใช้ประโยชน์จากข้อมูลที่มีโครงสร้างใน SAS + พิธีส่งผลให้ในกรณีที่มีขนาดกะทัดรัดมากขึ้น SAT และลดจำนวนของข้อได้ถึง 50 เท่า. ผลของเราแสดงให้เห็นว่ารูปแบบการเข้ารหัสนี้จะช่วยปรับปรุงเมื่อการเข้ารหัสแถบที่ใช้ทั้งในแง่ของเวลาและมีประสิทธิภาพหน่วยความจำ

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

การวางแผนเป็นความสอดคล้องเป็นวิธีการหลักในการวางแผน
มีข้อดีเด่นมากมาย ที่มีอยู่เป็นเทคนิคการวางแผน

รวบรวมจากความสอดคล้องกันมักจะใช้รางแบบ . เราแนะนำ
นวนิยายนั่งการเข้ารหัสโครงการตามแบบ SAS .
มันหาประโยชน์ข้อมูลโครงสร้างใน SAS
แบบที่เกิดในอินสแตนซ์
นั่งกระชับมากขึ้นและลดจำนวนข้อ ถึง 50 เท่า ผลของเราแสดงให้เห็นว่านี้

โครงการปรับปรุงการเข้ารหัสบนแถบที่ใช้เข้ารหัส , ทั้งในแง่ของเวลา
และประสิทธิภาพหน่วยความจำ