推理类型