Publication Details
Title: Turning an Action Formalism Into a Planner–A Case Study
Author: J. Hertzberg and S. Thiebaux
Group: ICSI Technical Reports
Date: July 1993
PDF: ftp://ftp.icsi.berkeley.edu/pub/techreports/1993/tr-93-033.pdf
Overview:
The paper describes a case study that explores the idea of building a planner with a neat semantics of the plans it produces, by choosing some action formalism that is "ideal" for the planning application and building the planner accordingly. In general–and particularly so for the action formalism used in this study, which is quite expressive–this strategy is unlikely to yield fast and efficient planners if the formalism is used naively. Therefore, we adopt the idea that the planner approximates the theoretically ideal plans, where the approximation gets closer, the more run time the planner is allowed. As the particular formalism underlying our study allows a significant degree of uncertainty to be modeled and copes with the ramification problem, we end up in a planner that is functionally comparable to modern anytime uncertainty planners, yet is based on a neat formal semantics.
Bibliographic Information:
ICSI Technical Report TR-93-033
Bibliographic Reference:
J. Hertzberg and S. Thiebaux. Turning an Action Formalism Into a Planner–A Case Study. ICSI Technical Report TR-93-033, July 1993
Author: J. Hertzberg and S. Thiebaux
Group: ICSI Technical Reports
Date: July 1993
PDF: ftp://ftp.icsi.berkeley.edu/pub/techreports/1993/tr-93-033.pdf
Overview:
The paper describes a case study that explores the idea of building a planner with a neat semantics of the plans it produces, by choosing some action formalism that is "ideal" for the planning application and building the planner accordingly. In general–and particularly so for the action formalism used in this study, which is quite expressive–this strategy is unlikely to yield fast and efficient planners if the formalism is used naively. Therefore, we adopt the idea that the planner approximates the theoretically ideal plans, where the approximation gets closer, the more run time the planner is allowed. As the particular formalism underlying our study allows a significant degree of uncertainty to be modeled and copes with the ramification problem, we end up in a planner that is functionally comparable to modern anytime uncertainty planners, yet is based on a neat formal semantics.
Bibliographic Information:
ICSI Technical Report TR-93-033
Bibliographic Reference:
J. Hertzberg and S. Thiebaux. Turning an Action Formalism Into a Planner–A Case Study. ICSI Technical Report TR-93-033, July 1993