Customized Plans Transmitted by Flexible Refinement.
Dietmar Dengler · 1996
. So far, well-founded planning concentrates ultimately on the generation of action sequences which produce desired behaviors. But, to promote a planner's success in human assistance and support, varied representational and operational flexibility is needed. The paper argues that a compositional temporal logic framework is well-suited to reach the necessary flexibility. Planning is viewed as an inference process based on various refinements and plans work as transmitters of appropriate information about this process. Among other things nonlinear planning is explained in terms of concurrent refinements. 1 Introduction Whatever kind of planner is used, the ultimate aim of well-founded classical planning is to find a ground operator sequence, which when executed in the given initial state, will produce desired behaviors. Thereby, most techniques used have concentrated on the sub-class of behavioral constraints called the goals of attainment, i.e. a single goal state has been specified. S...