①也叫“符号逻辑”、“现代形式逻辑”。一门以研究推理规律为核心内容并具有数学性质的工具性学科。一方面是由于在研究中广泛地使用了人工的符号语言，并发展为使用一种形式化的公理方法，同时也应用了某些数学的工具和具体结果；另一方面则是由于现代逻辑的发展受到数学基础研究的推动，特别是受到深入研究证明的逻辑规律和数学基础研数学究中提出来的逻辑问题的推动，故名。②指纯逻辑演算。③除纯逻辑演算外，还包括已成为数学分支的集合论、证明论、模型论和递归论。④指一切应用特制人工符号语言和形式化方法研究演绎推理和逻辑问题的各种逻辑理论。
优选语义学(语言)：用于机器翻译的一种语义学理论。该理论运用五种语义单位来描写从单词、句子到段落的语义。*语义元素是最基本的语义单位。由语义元素构成义式，用于描写单词的语义。如“审问”一词的义式可写为：审问→..
语义网络理论(语言)：表示词与词之间语义关系的一种理论。由美国人工智能专家西蒙(R．F．Simmons)提出。其原理是以句中词的概念为网络的结点，以沟通结点之间的有向弧来表示概念与概念之间的语义关系，构成一个彼此相联的网络，..
语义元素(语言)：也叫“语义因子”、“语义基元”。构成复合概念的基本概念。选择语义元素的原则是：⑴它的数目应是有限的；⑵应适合于表达各种复合概念；⑶语义元素之间应是彼此独立的；⑷语义元素之间不能循环定义；⑸语义元素..
概念依存理论(语言)：简称”CD理论”。美国人工智能专家杉克(R．Schank)于1973年所提一种自然语言自动处理的理论。该理论认为，对于任何两个意义相同的句子，其意义的表达式只有一个。CD表达式可由数目有限的若干语义基元组..
基于逻辑的知识表示(语言)：也叫“有定子句文法”。标准的知识表示方式之一。它使用谓词逻辑来控制一组规则子句的分析。每个规则子句的形式为：结论：前提1，前提2，……前提n。其中的“前提”，是一个能够测试真假值的谓词逻辑..