test

产生式系统

产生式系统是给定事实与推理规则，进行自动推理的推理系统。

产生式系统由3个部分组成：总数据库、产生式规则、控制策略。

• 总数据库是存放求解过程中各种当前信息的数据结构，包括已知事实与推理过程中得到的结论
• 产生式规则是一个规则库，存放形如"if <前提>, then <结论>" 的推理规则.
• 控制策略决定了推理过程中如何应用规则，即确定下一步应该选用什么规则，类比于图搜索中的图搜索策略（DFS，BFS，etc.)

产生式系统	图搜索
初始事实数据	初始节点
目标条件	目标节点
产生式规则	状态转换规则 问题变换规则
规则集	操作集
动态数据库	节点(状态/问题)
控制策略	搜索策略

按照搜索方向，产生式系统可分为正向推理、逆向推理和双向推理。

例 正向推理 设$P_1,P_2,P_3,P_4$ 为谓词公式或命题, 初始总数据库 $DB=\{P_1\},$ 规则库 $R=\{R_1:P_1\to P_2, R_2:P_2\to P_3, R_3:P_3 \to P_4 \},$ 则推理步骤如下

1. $P_1 \in DB,$ 在规则库$R$中寻找到可用的规则 $R_1:P_1\to P_2,$ 得到 $P_2,$ 当前$DB=\{P_1,P_2\}$
2. $P_2 \in DB,$ 在规则库$R$中寻找到可用的规则 $R_2:P_2\to P_3,$ 得到 $P_3,$ 当前$DB=\{P_1,P_2,P_3\}$
3. $P_3 \in DB,$ 在规则库$R$中寻找到可用的规则 $R_3:P_3\to P_4,$ 得到 $P_4,$ 当前$DB=\{P_1,P_2,P_3,P_4\}$

if True:
    print('hello')