可交换的生产系统

Question

对于以下生产系统，我如何测试和证明它们是否可交换？

生产系统1

知识库：

如果A＆amp; B然后C，

如果是C则D，

如果A＆amp; D然后E

初始工作记忆： {A，B}

生产系统2

知识库：

如果A＆amp; B然后C，

如果X＆amp; Y然后C，

如果A然后E，

如果B则F

初始工作记忆： {A，B，X，Y}