3.6 基于规则的演绎推理