________是计算机应用的一个新的领域，这方面的研究和应用正处于发展阶段，在医疗诊断、定理证明、模式识别、智能检索、语言翻译、机器人等方面，已有了显著的成效。