用于机器翻译的一种语义学理论。该理论运用五种语义单位来描写从单词、句子到段落的语义。*语义元素是最基本的语义单位。由语义元素构成义式，用于描写单词的语义。如“审问”一词的义式可写为：审问→【(MAN SUBJ)((MANOBJE)(TELL FORCE))】。这一义式中的“MAN(人类)”、“SUBJ(施事)”、“OBJE(受事)”、“TELL(告诉)”、“FORCE(强迫)”等都是语义元素。义式中最重要的元素永远位于最右端，称为义式的首部。上例义式的首部是“FORCE”。首部直接或间接地支配着义式中其他的语义元素。上例“审问”一词的语义被描写为“强迫说出某事，优先表现为人对人的动作”。由一个行为主体义式首部(N1)、一个动作义式首部(V)和一个客体义式首部(N2)组成的能直观地解释得通的序列，称为“裸模板”，其形式为：N1－V—N2。这样的形式实际上就是表示句子主要成分——主语、谓语、直接宾语的语义类。由这些义式以及可能依附于其上的其他义式所组成的序列就称为“模板”；相当于在裸模板所代表的句子主要成分的语义类上附加了代表状语、补语、定语等句子次要成分的语义类。裸模板和模板都是用来描写单句的语义的。把模板结合起来就形成“超模板”，用于描写复句或段落的语义。在结合时，要找出各模板之间的指代关系和照应关系等。如在“把香蕉给猴子，它们饿了”这两个句子中，“它们”是指代“猴子”而不是指代“香蕉”的。因为“饿”的义式满足“猴子”义式中的条件，而不满足“香蕉”义式中的条件。
优选语义学(语言)
优选语义学(语言)：