Abstract: Intelligent planning is a challenge topic on the field of artificial intelligence,and it has broad application back- ground. The first problem in automated planning is how to formally represent the realistic planning problem. In this pa- per, we systemati

Key words: Intelligent planning, Formal representation, Situation calculus, STRIPS, PDDL, HTN