一阶谓词的个体不能是（）

产生式规则的形式化描述遵循（）A.巴科斯范式B.前置范式C.斯科林范式D.合取范式

单项选择题产生式规则的形式化描述遵循（）

极大极小分析法中，用于极大极小分析法中计算各节点分数的是（）A.估价函数B.代价函数C.启发式函数D.价值函数

单项选择题极大极小分析法中，用于极大极小分析法中计算各节点分数的是（）

在有序搜索中，如果节点x在希望树中，若x是（），则其所有子节点都在希望树中。A.终叶节点B.端节点C.与节点D...

单项选择题在有序搜索中，如果节点x在希望树中，若x是（），则其所有子节点都在希望树中。