多项选择题
用产生式系统求解某一个问题时，如果按照规则使用的方式或者说按推理方向来划分的话，产生式系统可分为（）
A.单向 B.正向 C.逆向 D.双向
单项选择题 如果一个产生式系统可以分解为几个子问题，当子问题得以求解时，则原始问题被求解。这样的产生式系统称为（）
单项选择题 基于规则的正向演绎系统的的子集形式（）
单项选择题 在句法分析问题中，为了实现目标条件，最后执行的文法重写规则是（）
