2.3.3 产生式系统的推理方式