Dynamic abstraction planning
Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark Boddy · 1997
ion Planning Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy Automated Reasoning Group Honeywell Technology Center 3660 Technology Drive Minneapolis, MN 55418 fgoldman,musliner,krebsbac,[email protected] Abstract This paper describes Dynamic Abstraction Planning (DAP), an abstraction planning technique that improves the efficiency of state-enumeration planners for real-time embedded systems such as CIRCA. Abstraction is used to remove detail from the state representation, reducing both the size of the state space that must be explored to produce a plan and the size of the resulting plan. The intuition behind this approach is simple: in some situations, certain world features are important, while in other situations those same features are not important. By automatically selecting the appropriate level of abstraction at each step during the planning process, DAP can significantly reduce the size of the search space. Furthermore, the planning process can...