7.4.3 推理计算