指利用计算机自动翻译自然语言。它以语言学、数学和计算机科学为基础：语言学家提供适合于计算机加工的词典和语法规则，数学家把语言学家提供的材料形式化、代码化，计算机科学家给机器翻译提供软件手段和硬件设备。整个翻译过程由源语分析、源语目的语转换和目的语生成三个阶段构成。按照翻译过程中处理的源语和目的语的数目多寡，可将机器翻译分为“一对一”、“一对多”、“多对一”、“多对多”等系统。按照翻译过程中加工深度的不同，又可将机器翻译分为“以词汇为主”、“以句法为主”、“以语义为主”等系统。参见“一对一机器翻译系统”、“一对多机器翻译系统”、“多对一机器翻译系统”、“多对多机器翻译系统”、“以词汇为主的机器翻译系统”、“以句法为主的机器翻译系统”、“以语义为主的机器翻译系统”。
以句法为主的机器翻译系统(语言)：第二代机器翻译系统。产生于本世纪六十年代以后，是目前世界上广泛采用的机器翻译系统。其特点是：⑴以句法转换为中心，首先用代码化的结构标志来标记源语文句的结构，再把源语的结构标志转换..
机器翻译(语言)：指利用计算机自动翻译自然语言。它以语言学、数学和计算机科学为基础：语言学家提供适合于计算机加工的词典和语法规则，数学家把语言学家提供的材料形式化、代码化，计算机科学家给机器翻译提供软件手段和硬..
数理逻辑(语言)：①也叫“符号逻辑”、“现代形式逻辑”。一门以研究推理规律为核心内容并具有数学性质的工具性学科。一方面是由于在研究中广泛地使用了人工的符号语言，并发展为使用一种形式化的公理方法，同时也应用了某..
语义网络理论(语言)：表示词与词之间语义关系的一种理论。由美国人工智能专家西蒙(R．F．Simmons)提出。其原理是以句中词的概念为网络的结点，以沟通结点之间的有向弧来表示概念与概念之间的语义关系，构成一个彼此相联的网络，..
语义元素(语言)：也叫“语义因子”、“语义基元”。构成复合概念的基本概念。选择语义元素的原则是：⑴它的数目应是有限的；⑵应适合于表达各种复合概念；⑶语义元素之间应是彼此独立的；⑷语义元素之间不能循环定义；⑸语义元素..