Extracting State-marks in Planning

For a planning problem, during transitions from the initial state to the goal there will be several mid-states that should satisfy some constraints, which are described with sets of formulae and called state-mark in the paper. After extracting these state-marks and orders, a planning problem can be decomposed and solved step-by-step. For extracting state-marks, the paper introduced a new analysis method, which is orienting parameters in the specification of a planning problem. In a planning problem, parameters represent objects of the world and the state of a world is composed with states of these objects together. In this point, planning problems can be regard as how to make objects of a world transforming from their own initial states to their own goals, and state-marks of transitions of objects will also be state-marks of the original problem