The object-based hierarchical task-network planning system in deductive database framework

การวางแผนงานแบบเครือข่ายเชิงลำดับชั้นด้วยหลักเชิงวัตถุภายใต้กรอบงานของฐานข้อมูลเชิงอนุมาน

Name: Jitratda Tepsuwan

LCSH: Deductive databases

LCSH: Nonmonotonic reasoning

Abstract: This thesis contributes to the research in regards to the provision of the conceptual and architectural models to integrate the object-based HTN planning with deductive database framework, a development of a novel encoding method as systematic translation from OCLh domain to ASP planner, and using the HTN knowledge of an object-based domain to prune problem instance or reduce branching factor based on deductive database techniques. In addition, we exploited two implementation models by using two of the most efficient deductive database systems available to date, namely, DLV and Smodels. The OCLh2DDB translation module was proposed and developed to generate the entire set of our object-based DDB-HTN encoding. Moreover, our ASP planner is evaluated based on the three benchmarks of zeno-travel, blocks world and rocket world, as well as compared encoding aspects and time requirements against Trans(·). Our method demonstrated slightly better performance for the first answer set generation over Trans(·), and our small-sized ASP planner works better in the ordered task decomposition as well as non-ordered manner. We, however, found that using grounding process in the ASP systems reduced the efficiency in large instance problems like zeno-travel domain. In comparison with the dedicated planner, HyHTN, we obtain better performance and also identify some interesting aspects of our approach when solving the less sophisticated domains in operator-based version. The discussions stem from our endeavor in the exploitation of deductive database expressive power that would benefit the knowledge-enriched and objectbased aspects of HTN domains.

Abstract: สิ่งที่งานวิจัยนี้นำเสนอประกอบด้วยตัวแบบในเชิง Conceptual และ Architectural สำหรับผนึกการวางแผนงานแบบเครือข่ายเชิงลำดับชั้นด้วยหลักเชิงวัตถุเข้ากับฐานข้อมูลเชิงอนุมาน การพัฒนาวิธี Encoding เพื่อการแปลงจาก OCLh Domain ไปเป็น ASP Planner และการใช้องค์ ความรู้เชิงลำดับชั้นเพื่อลดขนาดของปัญหาด้วยวิธีการของฐานข้อมูลเชิงอนุมาน เราใช้ระบบฐานข้อมูลเชิงอนุมานที่มีประสิทธิภาพสูงสุด 2 ระบบในปัจจุบันได้แก่ DLV และ Smodels ภายใต้ตัวแบบในเชิง Implementation ที่นำเสนอ โปรแกรมสำหรับการแปลง OCLh2DDB ได้ถูกพัฒนาขึ้นเพื่อสร้างชุดของ Object-based DDB-HTN เราประเมิน ASP Planner ที่นำเสนอด้วยเกณฑ์เปรียบเทียบสมรรถนะประกอบด้วยโดเมน Zeno-travel, Blocks World และ Rocket World เปรียบเทียบ Encoding และเวลาที่ใช้กับ Trans(·) เราพบว่าวิธีการของเราสามารถสร้างชุดคำตอบแรกได้เร็วกว่า Trans(·) ในบางชุดปัญหา และโดยเฉพาะในปัญหาที่มีขนาดเล็ก ASP Planner ของเรานั้นสามารถทำงานได้เร็วกว่าทั้งใน ลักษณะของ Ordered และ Non-ordered Task Decomposition อย่างไรก็ตามการ Grounding ซึ่งเกิดขึ้นก่อนการคำนวณหาชุดคำตอบของ ASP เป็นอุปสรรคสำคัญต่อการแก้ปัญหาที่มีข้อมูล ขนาดใหญ่เช่นในโดเมน Zeno-travel ส่วนการเปรียบเทียบกับ HyHTN ซึ่งเป็นหน่วยวางแผนงาน ที่ถูกพัฒนาขึ้นมาโดยเฉพาะ งานวิจัยของเราทำงานในสมรรถนะที่ดีกว่าและให้คุณสมบัติที่น่าดึงดูด มากกว่าเมื่อแก้ปัญหาที่รูปแบบ Operator-based ที่ไม่ซับช้อนมากนัก เราจะมีการกล่าวถึงข้อค้นพบที่ได้จากการประยุกต์ใช้ความสามารถของฐานข้อมูลเชิง อนุมานที่เป็นประโยชน์ต่อคุณลักษณะเชิงวัตถุและเต็มไปด้วยองค์ความรู้ของโดเมนแบบ HTN

Mahidol University

Address: NAKHON PATHOM

Email: liwww@mahidol.ac.th

Name: Jarernsri L. Mitrpanont

Role: Thesis Advisors

Created: 2004

Modified: 2553-03-20

Issued: 2010-02-18

วิทยานิพนธ์/Thesis

application/pdf

ISBN: 9740452531

CallNumber: TH J61o 2004

eng

DegreeName: Master of Science

Level: Master's Degree

Descipline: Computer Science

Grantor: Mahidol University

©copyrights Mahidol University

ลำดับที่.	ชื่อแฟ้มข้อมูล	ขนาดแฟ้มข้อมูล	จำนวนเข้าถึง	วัน-เวลาเข้าถึงล่าสุด
1	4237666.pdf	1.07 MB	21	2018-05-29 03:16:34

ใช้เวลา

0.220147 วินาที