The remarkable fruits have been made: the improvements on Graphplan including CGP, SGP, the different class of universal plan via model checking.

• 在这方面已取得的重要成果有:基于图规划所做的一系列改进如CGP、SGP,基于模型检测方法生成各种通用规划等。