移动环境推理