Booleansatisfiability布尔可满足性;constraintsatisfaction约束满足;firstorderlogicaldeduction一阶逻辑推理;planninggraph规划图;planrefinement规划精进;statespacesearch状态空间搜索