推理接口