2.3.2 产生式系统的组成和求解过程