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