产生式系统中，推理机的推理方式有几种，在产生推理过程中，如发生策略冲突如何解决

产生式系统中，推理机的推理方式主要有正向推理和反向推理两种。

1. 正向推理：从前提出发，逐步推导得出结论的过程。正向推理适用于结论比较明确的问题，例如诊断问题。

2. 反向推理：从结论出发，逆推回前提的过程。反向推理适用于需要搜索解空间的问题，例如路径规划问题。

在产生式推理过程中，有可能会出现策略冲突的情况。比如，产生式库中有两个规则都能匹配当前的问题，但它们的结论是相互矛盾的。为了解决这种策略冲突，可以采用以下几种方法：

1. 选择优先级高的规则：在产生式库中为每个规则设置优先级，当多个规则都能匹配当前问题时，选择优先级最高的规则。

2. 选择置信度高的规则：为每个规则设置置信度，当多个规则都能匹配当前问题时，选择置信度最高的规则。

3. 选择最特定的规则：选择最特定的规则进行匹配，即选择能够匹配当前问题中最多条件的规则，这样可以减少策略冲突的发生。

4. 合并规则：将多个规则合并为一个规则，这个规则能够覆盖多个规则的结论，从而避免策略冲突的发生。

这些方法可以在规则匹配时进行判断，根据不同的情况选择相应的处理方式，从而避免策略冲突的发生。