相关考题
-
单项选择题
反演归结（消解）证明定理时，若定理得证时，则当前归结式是（）。
A.永真式
B.包孕式
C.空子句
D.永假式 -
单项选择题
AI的英文缩写是（）。
A.Automatic Intelligence
B.Artifical Intelligence
C.Automatice Information
D.Artifical Information -
单项选择题
如果问题存在最优解，则下面几种搜索算法中，可以认为“智能程度相对比较高”的算法是（）。
A.广度优先搜索
B.深度优先搜索
C.有界深度优先搜索
D.启发式搜索
