单项选择题 用产生式系统来描述一个具体问题。设字符转换问题规则如下：1.A∧B→C；2.A∧C→D；3.B∧C→G；4.B∧E→F；5.D→E；已知：A，B求：F。设综合数据库用集合{x}表示，其中x为字符。采用顺序排队的控制策略。初始状态{A，B}。为了得到F，最后执行的被触发规则是（）

多项选择题 基于规则的逆向演绎系统对事实、规则和目标的化简过程（）

多项选择题 基于规则的逆向演绎系统的使用条件（）