[论文解读] Monads for natural language semantics

Chung-chieh Shan|ArXiv.org|May 17, 2002

Logic, programming, and type systems参考文献 19被引用 44

一句话总结

本文引入单子作为自然语言语义的统一框架，展示单子复合规则与单子原语（η 和 ⋆）如何以组合方式统一建模意向性、量化、焦点和变量绑定。其主要贡献在于表明，通过使用相同的单子机制可分析多种语义现象，从而通过解耦语义复合与类型重构，简化语义理论。

ABSTRACT

Accounts of semantic phenomena often involve extending types of meanings and revising composition rules at the same time. The concept of monads allows many such accounts -- for intensionality, variable binding, quantification and focus -- to be stated uniformly and compositionally.

研究动机与目标

• 解决语义理论碎片化问题，即每种新现象（如意向性、量化）的引入都需要对类型和复合规则进行全局修改。
• 证明单子提供了一种模块化、可重用的框架，在扩展语义理论时可保持原有词义和复合规则不变。
• 表明单子原语（η 和 ⋆）可统一建模多种语义现象，从而减少对临时类型和规则修改的需求。
• 探索将单子组合以建模语义现象之间相互作用的可行性，例如意向性与量化之间的相互作用。

提出的方法

• 将单子形式化为三元组 (M, η, ⋆)，其中 M 为类型构造器，η 将值注入单子，⋆ 用于复合单子计算。
• 将单子应用于建模四种核心语义现象：疑问句（幂集单子）、焦点（带点幂集单子）、意向性（读取单子）和变量绑定（状态单子）。
• 使用名调用翻译推导出可容纳复杂语义类型的较大类型，例如涉及世界类型 s 多次出现的类型。
• 通过递归类型和项翻译（⌈τ⌉ 和 ⌈e⌉）定义单子态射，将基础单子映射到更复杂的单子结构。
• 证明单子复合规则通过在不同单子间重用相同的句法和语义结构，保持了组合性。
• 引入一种名调用翻译，将延续单子映射为基于读取单子的类型结构，从而为表达式如 'to date every professor' 获得所需的语义类型 (s→t)→s→t。

实验结果

研究问题

• RQ1 单子能否为分析自然语言中多样化的语义现象（如意向性、量化和焦点）提供统一且组合式的框架？
• RQ2 如何利用单子模块化地扩展语义理论，而无需对词义和复合规则进行全局修改？
• RQ3 单子态射在实现保持语义组合性的类型级变换中起什么作用？
• RQ4 能否将单子组合以建模语义现象之间的相互作用，例如意向性与量化之间的相互作用？
• RQ5 是否可以通过单子类型翻译（如名调用）推导出复杂语义类型（例如 (s→t)→s→t），而不会违反单子定律？

主要发现

• 幂集单子通过绑定操作对多个值的结果进行并集，成功建模了非确定性解释，如模糊个体或属性。
• 带点幂集单子在幂集单子基础上扩展，用于建模焦点，其中一组替代项被标记为一个特殊元素，从而实现对焦点敏感表达式的组合式分析。
• 读取单子通过将可能世界嵌入类型系统，建模意向性，使表达式能够依赖于上下文或世界参数。
• 状态单子通过结构化地追踪变量赋值和替换，为变量绑定提供了组合式解释。
• 名调用翻译通过将延续单子转换为基于读取单子的结构，成功推导出 'to date every professor' 的正确类型 (s→t)→s→t，尽管所得对象在标准定义下并非单子态射。
• 本文表明，单子能够统一封装语义现象，减少对临时类型和规则修改的需求，提示单子可作为语义理论的基础工具。