产生式系统有三部分组成综合数据库，知识库和推理机。其中推理可分为（）和反向推理。