利用计算机来模拟人类的某些思维活动，如医疗诊断、定理证明等，这些应用属于（）

利用计算机来模拟人类的某些思维活动，如医疗诊断、定理证明等，这些应用属于（）
A、人工智能
B、数值计算
C、自动控制
D、模拟仿真
正确答案：人工智能