基础推理应用