一般来说，置换是可交换的，即两个置换合成的结果与置换使用的次序无关。

当一个解图中所有涉及的置换构成的置换集是一致的时，该解图称为一致解图。

判断题当一个解图中所有涉及的置换构成的置换集是一致的时，该解图称为一致解图。

由于规则之间是相互独立的，因此一般来说，问题的求解与规则的排列顺序无关。

判断题由于规则之间是相互独立的，因此一般来说，问题的求解与规则的排列顺序无关。

用产生式系统求解问题时的主要任务就是如何把问题的知识组织成陈述、过程和控制这三种组成部分，以便在产生式系统中更...

判断题用产生式系统求解问题时的主要任务就是如何把问题的知识组织成陈述、过程和控制这三种组成部分，以便在产生式系统中更充分地得到应用。