知识表示之产生式表示

注意：冲突解决的策略有很多：主要有专一性排序，规则排序，规模排序，就近排序是比较常见的的冲突解决策略

 扩展：产生式系统推理机的推理方式有正向推理，反向推理和双向推理3种