①也叫“符号逻辑”、“现代形式逻辑”。一门以研究推理规律为核心内容并具有数学性质的工具性学科。一方面是由于在研究中广泛地使用了人工的符号语言，并发展为使用一种形式化的公理方法，同时也应用了某些数学的工具和具体结果；另一方面则是由于现代逻辑的发展受到数学基础研究的推动，特别是受到深入研究证明的逻辑规律和数学基础研数学究中提出来的逻辑问题的推动，故名。②指纯逻辑演算。③除纯逻辑演算外，还包括已成为数学分支的集合论、证明论、模型论和递归论。④指一切应用特制人工符号语言和形式化方法研究演绎推理和逻辑问题的各种逻辑理论。
语义网络理论(语言)：表示词与词之间语义关系的一种理论。由美国人工智能专家西蒙(R．F．Simmons)提出。其原理是以句中词的概念为网络的结点，以沟通结点之间的有向弧来表示概念与概念之间的语义关系，构成一个彼此相联的网络，..
语义元素(语言)：也叫“语义因子”、“语义基元”。构成复合概念的基本概念。选择语义元素的原则是：⑴它的数目应是有限的；⑵应适合于表达各种复合概念；⑶语义元素之间应是彼此独立的；⑷语义元素之间不能循环定义；⑸语义元素..
形式文法(语言)：用于生成语言中的合格句子，并排除不合格句子的一套数目有限的规则的集合。它山初始符号S、非终极符号VN、终极符号VT和改为规则P四个部分组成，记为：G=(VN，VT，S，P)。句子的生成，表现为从初始符号开始，反复应用改..
基于逻辑的知识表示(语言)：也叫“有定子句文法”。标准的知识表示方式之一。它使用谓词逻辑来控制一组规则子句的分析。每个规则子句的形式为：结论：前提1，前提2，……前提n。其中的“前提”，是一个能够测试真假值的谓词逻辑..
树形分析法(语言)：自然语言自动处理中借助于树形图来说明句子的结构、层次、语义等的方法。树形图由树节和树枝构成。每一树节或者有-个或一串受其支配的子辈树节，或者有一个支配它的父辈树节，或者兼而有之。子辈树节处..