6.1.1. Experimental resultsAll the

6.1.1. Experimental results
All the tests were performed using a dual core machine with a 2.50 GHz Intel i5 processor, 6 GB of RAM, Ubuntu 12.10
operating system with 64 bit support. We used a time cap of 130 seconds for all the runs. To solve the encoding of the
problems in PDDL we used two planners: Metric-FF [37,38] and Madagascar-p [39].11 The first solver is based on Graph
Plan [40], a standard planning algorithm to prune the search space. The second solver instead belongs to the Satplan [41]
family and encodes the planning problem into a SAT formula and then uses state-of-the-art SAT solvers to find a solution.
Since for decidability purposes the use of PDDL requires a finite use of objects, for reducing the search space of the solvers
we set in the PDDL encoding the number of components that could be used concurrently to the minimum possible value.
The performance of the two planners is summarized in Table 2 where error indicates that the solver exited with an error
state without computing the plan, timeout means that the solver took more than 130 s and was interrupted, a dash means
that the test was not conducted because the previous execution already timed out or ended in error.12
The performances of the general planning solvers are quite limited: they are able to compute plans for just a small
number of components. These poor performances are due to the fact that the size of the encoding of the planning problem
increases exponentially w.r.t. the number of components that need to be deployed concurrently. In particular, Metric-FF

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

6.1.1 ผลการทดลองทั้งหมดทดสอบได้ดำเนินการโดยใช้เครื่องหลักคู่กับ 2.50 GHz หน่วยประมวลผล Intel i5, 6 GB of RAM, อูบุนตู 12.10 ระบบปฏิบัติการที่มีการสนับสนุน 64 บิต เราใช้หมวกเวลา 130 วินาทีสำหรับการทำงานทั้งหมด เพื่อแก้ปัญหาการเข้ารหัสของปัญหาในการ PDDL เราใช้สองวางแผน: เมตริก-FF [37,38] และมาดากัสการ์-P [39] 0.11 แก้ครั้งแรกจะขึ้นอยู่กับกราฟแผน[40] ขั้นตอนวิธีการวางแผนการมาตรฐานเพื่อลูกพรุน พื้นที่ค้นหา แก้ที่สองแทนที่จะเป็นของ Satplan [41] ครอบครัวและถอดรหัสปัญหาการวางแผนเป็นสูตร SAT แล้วใช้แก้รัฐของศิลปะ SAT จะหาทางออก. ตั้งแต่เพื่อวัตถุประสงค์ decidability การใช้ PDDL ต้องมีการใช้งาน จำกัด ของวัตถุสำหรับการลดพื้นที่การค้นหาของนักแก้เราตั้งอยู่ในPDDL เข้ารหัสจำนวนของชิ้นส่วนที่สามารถนำมาใช้ควบคู่กันไปกับค่าที่น้อยที่สุด. ผลการดำเนินงานของทั้งสองวางแผนจะสรุปไว้ในตารางที่ 2 ที่ข้อผิดพลาดที่แสดงให้เห็นว่าแก้ออก มีข้อผิดพลาดของรัฐโดยไม่ต้องใช้คอมพิวเตอร์แผนหมดเวลาหมายความว่าแก้เอามากกว่า130 และถูกขัดจังหวะ, ประหมายความว่าการทดสอบไม่ได้ดำเนินการเพราะการดำเนินการก่อนหน้านี้แล้วหมดเวลาหรือสิ้นสุดลงใน error.12 การแสดงของทั่วไป แก้วางแผนจะถูก จำกัด มาก: พวกเขาจะสามารถคำนวณแผนการเพียงขนาดเล็กจำนวนขององค์ประกอบ เหล่านี้แสดงที่น่าสงสารเป็นเพราะความจริงที่ว่าขนาดของการเข้ารหัสของปัญหาการวางแผนที่เพิ่มขึ้นชี้แจง wrt จำนวนขององค์ประกอบที่จะต้องมีการใช้งานพร้อมกัน โดยเฉพาะอย่างยิ่งเมตริก-FF

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

และ . ผลการทดสอบทั้งหมดถูก
โดยใช้เครื่อง Dual Core i5 โปรเซสเซอร์ Intel กับ 2.50 GHz , RAM 6 GB ของ Ubuntu 12.10
ระบบปฏิบัติการสนับสนุน 64 บิต เราใช้เวลาหมวก 130 วินาที วิ่งทั้งหมด แก้ไขการเข้ารหัสของ
ปัญหา pddl เราใช้สองวางแผน : เมตริก FF [ 37,38 ] และ madagascar-p [ 39 ] . 11 คนแรกตามแผนแก้เป็นกราฟ
[ 40 ]ขั้นตอนวิธีการวางแผนมาตรฐานเพื่อลดขอบเขตในการค้นหา 2 แก้แทนเป็นของ satplan [ 41 ]
ครอบครัวและ encodes ปัญหาการวางแผนเข้าไปนั่งและสูตรแล้วใช้รัฐ - of - the - art นั่งแก้เพื่อหาทางแก้ปัญหา
ตั้งแต่ decidability วัตถุประสงค์การใช้ pddl ต้องใช้วิธีของวัตถุในการค้นหาพื้นที่ของแก้
เราตั้งค่าใน pddl จำนวนของส่วนประกอบที่สามารถใช้ทั้งค่าเป็นไปได้น้อยที่สุดเข้ารหัส .
การแสดงของทั้งสองบริษัทได้สรุปไว้ในตารางที่ 2 ที่ระบุว่า การแก้ข้อผิดพลาดออกจากรัฐโดยไม่มีข้อผิดพลาด
คอมพิวเตอร์แผน หมดเวลาหมายความว่าแก้ได้มากกว่า 130 และถูกขัดจังหวะ เส้นประหมายถึง
ที่ทดสอบไม่ได้ดำเนินการเพราะการประหารก่อนหน้าแล้วหมดเวลาหรือสิ้นสุดในข้อผิดพลาด 12
การแสดงของการวางแผนทั่วไปแก้ค่อนข้างจำกัด : พวกเขาสามารถคำนวณแผนการเพียงจํานวนน้อย
ส่วนประกอบของ การแสดงที่ไม่ดีเหล่านี้ เนื่องจากขนาดของการเข้ารหัสของปัญหาการวางแผน w.r.t.
เพิ่มชี้แจงจำนวนของส่วนประกอบที่จำเป็นต้องใช้งานพร้อม โดยเฉพาะ FF เมตริก