第三章

3.产生式系统的分类

---*按推理方向划分为：前向、后向、双向产生式系统
---*按表示知识的确定性分为：确定性及不确定性产生式系统
---*按规则库及综合数据库的性质及结构特征分类：
可交换的产生式系统
可分解的产生式系统
可恢复的产生式系统

--(1)可交换的产生式系统

-----***产生式系统求解问题的过程是一个反复从规则库中选用合适规则并执行规则的过程
-----***在执行中，不同的控制策略将会得到不同的规则执行次序，有不同的求解效率
-----***如果一个产生式系统对规则的使用次序是可交换的，无论先使用哪一条规则都可达到目的，即规则的使用次序是无关紧要的，称这样的产生式系统为可交换的产生式系统
-----***例设综合数据库DB的初始状态是{a,b,c},其中a,b,c均为整数，设规则库RB有下述规则
------------r1:IF {a,b,c} THEN {a,b,c,a*b}
------------r2:IF {a,b,c} THEN {a,b,c,b*c}
------------r3:IF {a,b,c} THEN {a,b,c,a*c}
------------推理数据库DB为{a,b,c,a*b,b*c,a*c}

无论先使用哪一条规则，都可达到目的，由RB和DB构造的产生式系统是一个可交换的产生式系统

一个可交换的产生式系统，它的RB和每一个DB都具有如下性质：
------***设RS为可应用于DBi的规则集，当使用RS中任何一条规则R使DB的状态改变后，该RS对DB仍然适用         对任何规则R?RS，RS仍然是R(DBi)= DBi+1的可用规则集
------***如果DBi满足目标条件，则当应用RS中任何一条规则所生成的新综合数据库DBi+1仍然满足目标条         件
------***若对当前的综合数据库DBi使用某一规则序列r1,r2…rk得到一个新的综合数据库DBk,即
        DBi->DBi+1 ...->DBk,则当改变规则的使用次序后，仍然可以得到DBk
        搜索过程不必回溯，每一个规则的执行都要为综合数据库添加新内容

--(4)可分解的产生式系统

一个产生式系统可分解的条件是：
----*它的综合数据库DB及终止条件都可分解为若干独立的部分
----*产生式规则一般具有如下形式:IF P THEN {DBi1, DBi2,… Dbim}
当前综合数据库是DBi ，则当前提条件p被满足时，就把DBi分解为m个独立的子库
------例设综合数据库的初始内容是{C,B,Z}
---------规则库中有如下规则：
---------r1:IF C THEN {D,L}
---------r2:IF C THEN {B,M}
---------r3:IF B THEN {M,M}
---------r4:IF Z THEN {B,B,M}
---------终止条件是生成只包含M的综合数据库{M....M}

点击看大图

--(3)可恢复的产生式系统

------***在问题的求解过程中既可以对综合数据库添加内容，又可删除或修改老内容的产生式系统为可恢复产生式系统