University of Illinois Urbana-Champaign

Solving Automated Planning Problems with Parallel Decomposition

Hsu, Chih-Wei

Content Files
Hsu_ChihWei.pdf

Permalink

https://hdl.handle.net/2142/29488

Description

Title
Solving Automated Planning Problems with Parallel Decomposition
Author(s)
Hsu, Chih-Wei
Issue Date
2012-02-01T00:48:57Z
Director of Research (if dissertation) or Advisor (if thesis)
Wah, Benjamin W.
Committee Member(s)
  • DeJong, Gerald F.
  • LaValle, Steven M.
  • Wong, Martin D.F.
Department of Study
Computer Science
Discipline
Computer Science
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
Ph.D.
Degree Level
Dissertation
Date of Ingest
2012-02-01T00:48:57Z
Keyword(s)
  • Planning
  • Scheduling
  • Parallel Decomposition
  • Action Partitioning Heuristic Search
Abstract
In this dissertation, we present a parallel decomposition method to address the complexity of solving automated planning problems. We have found many planning problems have good locality which means their actions can be clustered in such a way that nearby actions in the solution plan are usually also from the same cluster. We have also observed that the problem structure is regular and has lots of repetitions. The repetitions come from symmetric objects in the planning problem and a simplified instance with similar problem structure can be generated by reducing the number of symmetric objects. We improve heuristic search in planning by utilizing locality and symmetry and applying parallel decomposition. Our parallel decomposition approach exploits these structural properties in a domain-independent way in three steps: action partitioning, constraint resolution, and subproblem solutions. In each step, we propose solutions to exploit localities and symmetries for minimizing solution time. Our key contribution lies in the design of simplification and generalization procedures to find good heuristics in action partitioning and constraint resolution. In application of our method to solve propositional and temporal planning problems in three of the past International Planning Competitions, our results show that $\SGPlansix$, our proposed planner, can solve more instances than other top planners. We demonstrate $\SGPlansix$ performs well when action partitioning is useful in decreasing heuristic value. We also show $\SGPlansix$ can achieve better quality-time trade-off. By using the symmetry and locality, we are able to achieve good coverage using our domain-independent planner but still have good performance like domain-specific planners.
Graduation Semester
2011-12
Permalink
http://hdl.handle.net/2142/29488
Copyright and License Information
Copyright 2011 Chih-Wei Hsu

Owning Collections

Graduate Dissertations and Theses at Illinois PRIMARY
Graduate Theses and Dissertations at Illinois
Dissertations and Theses - Computer Science
Dissertations and Theses from the Siebel School of Computer Science