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

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