图 书 馆
针对广义计划使用古典规划者搜索Directed Search for Generalized Plans Using Classical Planners |
|
| 课程网址: | http://videolectures.net/icaps2011_srivastava_planners/ |
| 主讲教师: | Siddharth Srivastava |
| 开课单位: | 马萨诸塞大学 |
| 开课时间: | 2011-07-21 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | We consider the problem of finding provably correct generalized plans for situations where the number of objects may be unknown and unbounded during planning. The input is a domain specification, a goal condition, and a class of concrete problem instances or initial states to be solved, expressed in an abstract first-order representation. Starting with an empty generalized plan, our overall approach is to incrementally increase the applicability of the plan by identifying a problem instance that it cannot solve, invoking a classical planner to solve that problem, generalizing the obtained solution and merging it back into the generalized plan. The main contributions of this paper are methods for (a) generating and solving small problem instances not yet covered by an existing generalized plan, (b) translating between concrete classical plans and abstract plan representations, and (c) extending partial generalized plans and increasing their applicability. We analyze the theoretical properties of these methods, prove their correctness, and illustrate experimentally their scalability. The resulting hybrid approach shows that solving only a few, small, classical planning problems can be sufficient to produce a generalized plan that applies to infinitely many problems with unknown numbers of objects. |
| 关 键 词: | 输入; 推广计划; 可扩展性 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2020-06-29：zyk |
| 阅读次数: | 53 |