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

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

①事实库初始化。

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

③使用规则,更新事实库;并标记所用规则。

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

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

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