单项选择题

利用评价函数f（n）＝g（n）＋h（n）来排列OPEN表节点顺序的图搜索算法称为（）

A.深度优先算法
B.宽度优先算法
C.盲搜索算法
D.A算法

点击查看答案&解析

上一题目录下一题

单项选择题

A.5.IF-D-THEN-E
B.2.IFA∧CTHEN-D
C.3.IFB∧CTHEN-G
D.4.IFB∧ETHEN-F

多项选择题

A.用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。
B.用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。
C.对规则的处理同（*）式。
D.用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）

多项选择题

A.事实表达式是文字合取形式
B.事实表达式是任意形式
C.规则形式为：W→L或W→L1∧L2其中L为单文字，W为任意形式。
D.目标公式是任意形式