嵌入式推理