A system-theoretic approach to planning and programming

This paper deals with a multiple planning problem, which is a collection of planning problems defined for the same partial transition system and have the same set of goal states. It is shown that a solution to the multiple planning problem can be written in procedural (imperative) languages like Pascal. The formal definition of the syntax and semantics of conditional-iterative actions is provided. It is proven that a multiple plan can be generated by a conditional-iterative action. A language of formal representation of partial transition systems with a vector-state space is proposed.