单项选择题
用产生式系统来描述一个具体问题。设字符转换问题规则如下：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，最后执行的被触发规则是（）
A.5.IF-D-THEN-E B.2.IFA∧CTHEN-D C.3.IFB∧CTHEN-G D.4.IFB∧ETHEN-F
多项选择题 基于规则的逆向演绎系统对事实、规则和目标的化简过程（）
多项选择题 基于规则的逆向演绎系统的使用条件（）
多项选择题 产生式系统的特点可以概括为（）
