规划与调度

极少数我能看懂的学术论述之一（摘自http://www.ifi.uzh.ch/ailab/aiwiki/aiw.cgi?Planning）：

Types of planners

Planning systems and problems are sometimes divided into the two categories of planning and scheduling. Dean and Kambhampati describe the distinction as follows: “To distinguish between planning and scheduling we note that scheduling is primarily concerned with figuring out when to carry out actions while planning is concerned with what actions need to be carried out.” Roughly speaking, planners tend to focus on choosing and properly sequencing actions such that they achieve a goal without interacting in detrimental ways, while schedulers focus more on resource constraints, including timing.

A different sort of distinction can be made between the process of constructing plans and executing plans. Some problems seem straightforward if they are viewed at a high enough level of abstraction: what could be simpler than going to the store to buy groceries? But executing a plan to do this may encounter difficulties not foreseen during the planning process: the store may be closed (information not available during planning), the car may break down (an unexpected occurrence outside the control of the planner), the lines at the store may be so long to make shopping impractical (the passage of time may not have been considered earlier), and so forth.

Yet another way to think about planning is given by Weld, who identifies the dimensions of construction strategy and component size. On one end of the first dimension we find refinement, “the process of gradually adding actions and constraints; retraction eliminates previously added components from a plan.” On the other end of this dimension we find transformation, which “interleaves refinement and retraction activities.” As for component size, we see a distinction between generative planning, in which plans are built directly from primitive actions, and case-based planning, in which plans are synthesized from existing plans and partial plans recorded in a library.

Of course, there are lots of systems that fall on neither or both sides of these various dichotomies.