4.3.1 基于规则的演绎推理