Integrated planning systems and testing the dominance problem in TCP-nets | |
| Author | Nguyen Danh Duoc |
| Call Number | AIT Thesis no.CS-08-04 |
| Subject(s) | Artificial intelligence Planning--Data processing Production planning--Data processing |
| Note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in Computer Science, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Abstract | There are two main kinds of automated planning in Artificial Intelligence nowadays: the older methods, Graph, HTN planning etc and the more recent one, Answer Set Planning (ASP). Both methods have different ways to do planning. In this thesis a system is created which integrates planning systems of these methods. It includes planners for the older methods and DLVκ system for ASP. Planners use Planning Domain Definition Language (PDDL), while DLVκ system uses κ language for planning. A common language for planning is built which can assist users using only this language with both kinds of automated planning. It is an extension of PDDL language based on κ language which is built to improve planning ability with incomplete knowledge for PDDL. Moreover, common language is the key role to integrate the planning systems: planners and DLVκ system. After designing the common language, we design the translators to transform the common language to PDDL language and κ language. Our system is used to test the Dominance problem in TCP-nets as well. After that, we evaluate the planning methods and planning systems in our system to show the advantages and disadvantages. The running time of each planner shows which planner performs the best as well. |
| Year | 2008 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Phan Minh Dung; |
| Examination Committee(s) | Guha, Sumanta;Huynh Trung Luong; |
| Scholarship Donor(s) | Asian Institute of Technology Fellowship; |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 2008 |