代理人式推理