编码推理