2、简单阐述产生式系统的组成： 答： 5、证明G是否是F1、F2的逻辑结论： F1:Vx(P(x)((x)R(x)) F2:x(P(x)AS(x)) G:x(S(x)A R(x)) 证： 3、补齐产生式系统与图搜索的对比表 产生式系统 图搜索 初始节点 目标条件 状态转换规则 问题变换规则 规则库 操作集 节点（状态/问题） 答： 控制策略 4、已知W=P(f(x,g(A,y),z),P(f(x,z),z)},求MGU 解： 22 2、简单阐述产生式系统的组成： 答： 3、补齐产生式系统与图搜索的对比表 答： 4、已知 W={P(f(x,g(A,y)),z),P(f(x,z),z)}，求 MGU 解： 5、证明 G 是否是 F1、F2 的逻辑结论； ( ( ) ( )) 2 ( ( ) ( )) 1 ( ( ) ( ( ) ( )) G x S x R x F x P x S x F x P x Q x R x      →  ： ： ： 证: