产生式规则与推理方向 — 计算机选择题

某设备诊断系统的规则库为：R1：如果传感器甲异常，则记录告警；R2：如果记录告警且传感器乙正常，则启动复核；R3：如果启动复核，则判定为需检修；R4：如果传感器甲异常，则判定为需检修。已知事实为“传感器甲异常”和“传感器乙正常”。现要判断目标“需检修”是否成立，并比较正向与反向推理。下列说法唯一正确的是哪一项？ A. 正向推理可由R1、R2、R3推出目标；反向推理验证目标时可直接由R4及事实成立 B. 正向推理只能由R4推出目标；反向推理必须先推出规则R1的结论才能验证目标 C. 正向推理不能推出目标，因为R2含有两个条件；反向推理可忽略R4的条件 D. 正向推理可推出目标；反向推理必须遍历所有规则，不能从目标相关规则入手