用产生式系统求解某一个问题时，如果按照规则使用的方式或者说按推理方向来划分的话，产生式系统可分为（）

如果一个产生式系统可以分解为几个子问题，当子问题得以求解时，则原始问题被求解。这样的产生式系统称为（）

A.双向产生式系统
B.可交换的产生式系统
C.可分解的产生式系统
D.正向产生式系统

点击查看答案&解析

基于规则的正向演绎系统的的子集形式（）

A.子句的合取式（合取范式）
B.子句的析取式（析取范式）
C.文字的析取式
D.文字的合取式

点击查看答案&解析