12010.产生式系统的推理方式不包括（ ）。