相关考题
-
单项选择题
下列哪个属于归结推理方法（）
A.宽度优先搜索法
B.等代价搜索法
C.贝叶斯网络法
D.消解推理方法 -
单项选择题
状态空间知识表示方法中的状态节点可用于表示哪些要素（）？
A.文字
B.图、集合、符号、文件
C.棋局
D.B、C -
单项选择题
下列（）解释了什么是Skolem范式。
A.含有量词的合取范式。
B.含有存在量词的析取范式。
C.不含有存在量词的合取范式或析取范式。
D.不含有全称量词的合取范式或析取范式。
