A. 初始状态集合:定义了问题的初始状态

B. 操作符集合:把一个问题从一个状态变换为另一个状态的动作集合

C. 目标检测函数:用来确定一个状态是不是目标

D. 路径费用函数:对每条路径赋予一定费用的函数