The Algorithm of Searching for Valid Plan Through Goal Decomposition

First, there are several new concepts proposed, such as valid sub plan, independent graph, maximal independent set, importance coefficient and so on. Then the algorithm of finding the maximal independent sets is described. Given the preconditions of entering the stage of searching for valid plan which are different from all the same kind of researches, not only the planning graph of which all the goal propositions turn out can be searched for valid plan, but also the planning graph of which only a part of goal propositions turn out can be searched when the planning graph levels off. Based on these, in order to make planning graph, which can not be searched for valid plan, can be searched for a part of sub plans, the algorithm of searching for valid plan through goal decomposition is proposed. According to the important extent of these goals, which can be achieved, select a sub plan to execute to make these goals achieve. So the problem-solving capability of the planner will be improved