4.4.2 产生式系统的组成和推理 产生式推理可以在与或图的基础上进行