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