轻量级推理