4.1.4 基于解释的推理