单项选择题
在人工智能发展早期，麦约翰·卡锡于历史性的1958年做出了多项至关重要的贡献，不包括（）
A.定义高级语言LispB.建造几何定理证明器C.发明分时技术D.发表题为“有常识的程序”的论文
单项选择题 解决一个实例所需时间是否会随实例规模成指数级增长，研究的是问题的（）
单项选择题 由心理学途径产生，认为人工智能起源于数理逻辑的研究学派是（）
单项选择题 用于极大极小分析法中计算各节点分数的是（）
