产生式系统的推理过程中，从可触发规则中选择一个规则来执行，被执行的规则称为（）。