An Effective Approach to Realizing Planning Programs

Vol. 21 (2011): Twenty-First International Conference on Automated Planning and Scheduling

Volume

Vol. 21 (2011): Twenty-First International Conference on Automated Planning and Scheduling

Short Papers

Planning programs are loose, high-level, declarative representations of the behavior of agents acting in a domain and following a path of goals to achieve. Such programs are specified through transition systems that can include cycles and decisions to make at certain points. We investigate a new effective approach for solving the problem of realizing a planning program, i.e., informally, for finding and combining a collection of plans that guarantee the planning program executability. We focus on deterministic domains and propose a general algorithm that solves the problem exploiting a planning technique handling goal constraints and preferences. A preliminary experimental analysis indicates that our approach dramatically outperforms the existing method based on formal verification and synthesis techniques.

10.1609/icaps.v21i1.13486