推理集成