组合语义学与语义分析
从句子的组成部分构建句子的意义，并将自然语言映射到形式意义表示，例如逻辑形式和可执行查询。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
组合语义学根据复杂表达式的组成部分的意义及其组合方式来计算其意义；语义分析将自然语言映射到形式意义表示。
Scope
涵盖句子层面意义的构建：组合性原则、逻辑形式表示、句法-语义接口，以及将话语映射到可用于推理或数据库查询的形式表示的语义分析。它包括形式化方法和学习方法。词汇层面的意义在词汇语义学中涵盖，语篇层面的意义在相关主题中涵盖。
Core questions
- 句子的意义是如何从词义和结构中组合起来的？
- 量词、范围和否定如何在逻辑形式中表示？
- 语义分析器如何从数据中学习？
- 意义表示如何用于推理和查询？
Key concepts
- 组合性
- 逻辑形式
- Lambda演算
- 量词范围
- 句法-语义接口
- 语义分析
- 意义表示
- 推理
Key theories
- 蒙塔古语法
- 蒙塔古的程序，旨在以形式逻辑的严谨性处理自然语言，将句法规则与语义操作配对，以计算真值条件意义。
- 学习型语义分析
- 通过使用概率范畴语法和结构化预测，从带注释的示例中归纳出将句子映射到逻辑形式的分析器。
History
蒙塔古在20世纪70年代的工作表明，自然语言可以被赋予精确的模型理论语义，这启发了布莱克本和博斯所调查的计算实现。从21世纪初中期开始，语义分析转向机器学习，Zettlemoyer和Collins从数据中学习逻辑形式映射，这一路线一直延续到神经语义分析。
Debates
- 手工构建与学习型意义表示
- 形式逻辑形式是应该手工设计还是从数据中归纳，以及神经系统需要多少明确的逻辑结构才能进行可靠的推理。
Key figures
- Richard Montague
- Patrick Blackburn
- Johan Bos
- Luke Zettlemoyer
Related topics
Seminal works
- montague1973
- blackburn2005
- zettlemoyer2005
Frequently asked questions
- 什么是逻辑形式？
- 逻辑形式是句子意义的一种形式化、无歧义的表示，通常采用Lambda演算等逻辑形式，计算机可以利用它进行推理或查询数据库。