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

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

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