12010.产生式系统的推理方式不包括( )。