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