单项选择题
A.深度优先算法 B.宽度优先算法 C.盲搜索算法 D.A算法
用产生式系统来描述一个具体问题。设字符转换问题规则如下：1.A∧B→C；2.A∧C→D；3.B∧C→G；4.B...
单项选择题用产生式系统来描述一个具体问题。设字符转换问题规则如下：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
基于规则的逆向演绎系统对事实、规则和目标的化简过程（）A.用Skolem函数（对偶形）消去目标公式中的全称量词...
多项选择题基于规则的逆向演绎系统对事实、规则和目标的化简过程（）
A.用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。 B.用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。 C.对规则的处理同（*）式。 D.用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）
基于规则的逆向演绎系统的使用条件（）A.事实表达式是文字合取形式B.事实表达式是任意形式C.规则形式为：W→L...
多项选择题基于规则的逆向演绎系统的使用条件（）
A.事实表达式是文字合取形式 B.事实表达式是任意形式 C.规则形式为：W→L或W→L1∧L2其中L为单文字，W为任意形式。 D.目标公式是任意形式
