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