Planning with tokens: an approach between satisfaction and optimisation

Patrick Fabiani, Yannick Meiller
2000 Planen und Konfigurieren  
This paper presents an initial approach in an attempt to integrate powerful propositional planning tools within a general planning process possibly involving both numerical and symbolic uncertainties. Recently developed propositional approaches to planning allow to build and search efficiently a planning graph. Yet, handling uncertainty and numerical optimization criteria within such frameworks remains difficult. A potentially powerful solution is to combine symbolic reasoning tools with
more » ... n theoretic representations. A first proposal is to begin with a colored Petri net representation of the propositional planning domain. Sample formalizations of planning problems and subsequent implementations are presented together with the propagation mechanisms with tokens. The plan is output as a Petri net, so that all information about dependency relations among actions is preserved. The preliminary results on deterministic planning problems seem encouraging. Besides, useful information concerning the planning process, uncertainty or risk can then be attached to the colored tokens and thus travel throughout the planning graph. This is meant to be later exploited for optimization.
dblp:conf/puk/FabianiM00 fatcat:it5kpe54hzazfmv3g5gqr3wsxm