初始状态集合：定义了问题的初始状态;路径费用函数：对每条路径赋予一定费用的函数;操作符集合：把一个问题从一个状态变换为另一个状态的动作集合;目标检测函数：用来确定一个状态是不是目标