指利用计算机自动翻译自然语言。它以语言学、数学和计算机科学为基础：语言学家提供适合于计算机加工的词典和语法规则，数学家把语言学家提供的材料形式化、代码化，计算机科学家给机器翻译提供软件手段和硬件设备。整个翻译过程由源语分析、源语目的语转换和目的语生成三个阶段构成。按照翻译过程中处理的源语和目的语的数目多寡，可将机器翻译分为“一对一”、“一对多”、“多对一”、“多对多”等系统。按照翻译过程中加工深度的不同，又可将机器翻译分为“以词汇为主”、“以句法为主”、“以语义为主”等系统。参见“一对一机器翻译系统”、“一对多机器翻译系统”、“多对一机器翻译系统”、“多对多机器翻译系统”、“以词汇为主的机器翻译系统”、“以句法为主的机器翻译系统”、“以语义为主的机器翻译系统”。
数理逻辑(语言)：①也叫“符号逻辑”、“现代形式逻辑”。一门以研究推理规律为核心内容并具有数学性质的工具性学科。一方面是由于在研究中广泛地使用了人工的符号语言，并发展为使用一种形式化的公理方法，同时也应用了某..
优选语义学(语言)：用于机器翻译的一种语义学理论。该理论运用五种语义单位来描写从单词、句子到段落的语义。*语义元素是最基本的语义单位。由语义元素构成义式，用于描写单词的语义。如“审问”一词的义式可写为：审问→..
语义网络理论(语言)：表示词与词之间语义关系的一种理论。由美国人工智能专家西蒙(R．F．Simmons)提出。其原理是以句中词的概念为网络的结点，以沟通结点之间的有向弧来表示概念与概念之间的语义关系，构成一个彼此相联的网络，..
形式文法(语言)：用于生成语言中的合格句子，并排除不合格句子的一套数目有限的规则的集合。它山初始符号S、非终极符号VN、终极符号VT和改为规则P四个部分组成，记为：G=(VN，VT，S，P)。句子的生成，表现为从初始符号开始，反复应用改..
概念依存理论(语言)：简称”CD理论”。美国人工智能专家杉克(R．Schank)于1973年所提一种自然语言自动处理的理论。该理论认为，对于任何两个意义相同的句子，其意义的表达式只有一个。CD表达式可由数目有限的若干语义基元组..