产生式系统的问题求解过程

产生式系统的问题求解过程可以归纳如下:

①事实库初始化。

②若存在未用规则前提能与事实库相匹配则转③，否则转⑤。

③使用规则，更新事实库；并标记所用规则。

④判定事实库是否包含解。若包含，则终止求解过程，否则转②。

⑤要求更多的关于问题的信息，若不能提供所要信息，则求解失败，否则更新事实库并转②。

上述简单的产生式系统，其前提和结论部分都是一些简单的断言。实用的产生式系统无论在结构上还是在规模上都更为复杂。