历史说明

自然语言处理最早在计算上使用陈述式意义表示，是在问答系统的语境中（Green et al., 1961；Raphael, 1968；Lindsey, 1963）。这些系统用特设表示来表示回答问题所需的事实，再把问题转换成能够与知识库事实匹配的形式。Simmons（1965）综述了这些早期工作。

Woods（1967）研究了在问答中使用类 FOL 表示，以取代当时所用的特设表示。Woods（1973）又在具有里程碑意义的 Lunar 系统中进一步发展并扩展了这些思想。有趣的是，Lunar 所用表示兼具真值条件语义和程序语义。Winograd（1972）在 SHRDLU 系统中采用了基于 Micro-Planner 语言的类似表示。

同一时期，对语言和记忆的认知建模感兴趣的研究者也一直在研究各种形式的联想网络表示。Masterman（1957）率先在计算中使用类似语义网络的知识表示，不过语义网络通常被归功于 Quillian（1968）。当时，在语义网络框架内开展了大量工作（Norman and Rumelhart, 1975；Schank, 1972；Wilks, 1975b, 1975a；Kintsch, 1974）。也是在这一时期，一些研究者开始把 Fillmore 的格角色概念（Fillmore, 1968）纳入其表示。Simmons（1973）最早在自然语言处理表示中采用格角色。

Woods（1975）和 Brachman（1979）为弄清语义网络究竟意味着什么而作的细致分析，促成了多种更复杂的类网络语言，包括 KRL（Bobrow and Winograd, 1977）和 KL-ONE（Brachman and Schmolze, 1985）。随着这些框架变得更复杂、定义更完善，人们逐渐认识到，它们是 FOL 的受限变体，并配有专门的索引推理程序。Brachman and Levesque（1985）收录了一组很有价值的论文，涵盖这方面的大部分工作。Russell and Norvig（2002）则从现代视角描述了这些表示工作。

生成语法时代，为自然语言句子指派语义结构的语言学研究始于 Katz and Fodor（1963）。他们的简单特征式表示存在局限，而逻辑又天然适合处理当时的许多语言学问题，这很快使各种谓词–论元结构成为首选的语义表示（Lakoff, 1972；McCawley, 1968）。随后，Montague（1973）把真值条件模型论框架引入语言学理论，使形式句法理论与各种形式语义框架的结合大为紧密。关于蒙太古语义及其在语言学理论中作用的优秀入门材料，可参阅 Dowty et al.（1981）和 Partee（1976）。

把事件表示为实体化对象的思想来自 Davidson（1967）。这里介绍的、显式实体化事件参与者的方法则来自 Parsons（1990）。

van Benthem and ter Meulen（1997）对逻辑与语言作了较新的综合论述。Lyons（1977）是经典语义学著作。McCawley（1993）是一本不可或缺的教材，广泛涵盖逻辑与语言的各种主题。Chierchia and McConnell-Ginet（1991）也从语言学角度广泛讨论语义问题。Heim and Kratzer（1998）是从当代生成理论视角写成的一部较新著作。