[论文解读] A variable-free dynamic semantics

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

Logic, Reasoning, and Knowledge参考文献 13被引用 39

一句话总结

本文提出了一种无变量的动态语义学，整合了非确定性、输入/输出处理以及基于类型的语篇追踪，以组合方式建模山羊回指及其相关现象，且无需赋值函数。通过用函数组合子和类型构造子（如 $∘$（in）和 $∜$（out））替代变量，该理论推导出新颖的经验预测，例如“山羊弱交叉”现象，同时保持组合性并消除表征约束。

ABSTRACT

I propose a variable-free treatment of dynamic semantics. By "dynamic semantics" I mean analyses of donkey sentences ("Every farmer who owns a donkey beats it") and other binding and anaphora phenomena in natural language where meanings of constituents are updates to information states, for instance as proposed by Groenendijk and Stokhof. By "variable-free" I mean denotational semantics in which functional combinators replace variable indices and assignment functions, for instance as advocated by Jacobson. The new theory presented here achieves a compositional treatment of dynamic anaphora that does not involve assignment functions, and separates the combinatorics of variable-free semantics from the particular linguistic phenomena it treats. Integrating variable-free semantics and dynamic semantics gives rise to interactions that make new empirical predictions, for example "donkey weak crossover" effects.

研究动机与目标

• 开发一种组合性、无变量的动态语义学，避免使用赋值函数，同时建模语篇回指。
• 在不依赖表征约束的前提下，解决动态语义学中的经验挑战，如山羊弱交叉和先行语可及性问题。
• 通过整合基于类型的语篇指代物追踪与计算副作用，实现无变量语义学与动态语义学的统一。
• 提供一个形式化框架，通过组合类型结构与函数复合推导出新颖的语言现象。

提出的方法

• 通过集合函子变换语义类型，以表示非确定性，使短语表示个体的集合而非个体本身。
• 引入类型构造子 $∘$（in）以表示依赖输入的意义，其中表达式表示从语篇状态到语义值的函数。
• 使用类型构造子 $∜$（out）表示输出效应，建模动态解释中的信息更新。
• 采用类型转换操作 $g^{∘}$ 和 $g^{∜}$ 处理函数复合与绑定，其灵感来自类型构造子的函子性质。
• 在所有类型上统一应用λ抽象与函数应用记号，通过区分 $∘$ 和 $∜$ 防止非法组合。
• 通过类型追踪语篇指代物：即使短语表示常值函数，含有自由变量的短语仍被赋予如 $e∘1$ 的类型，以阻止非法回指。

实验结果

研究问题

• RQ1 如何在不使用赋值函数的前提下重新表述动态语义学，同时保持组合性并建模语篇回指？
• RQ2 将无变量语义学与动态语义学结合，其经验后果是什么，特别是关于弱交叉效应？
• RQ3 如何通过类型系统以非表征方式追踪语篇指代物？
• RQ4 函数组合子与类型构造子能否在一个统一框架中建模输入和输出效应？
• RQ5 变量无依赖与动态语义学的相互作用会产生哪些新颖预测，例如“山羊功能性”问题？

主要发现

• 该理论成功推导出‘山羊弱交叉’违规现象，例如在 *Who loves every farmer who owns a donkey? *His mother* 中，通过类型追踪语篇指代物并阻止非法回指。
• 它预测了 (16a) 中的‘山羊功能性’问题-答案对及其在 (16b) 中的弱交叉违规，将无变量语义学扩展至动态语境。
• 该理论通过将第二句话的类型赋为 $e∘1$ 而非 $1$，阻止了如 *No girl walks. If she talks, she talks.* 这类句子，从而在无表征约束下追踪自由语篇指代物。
• 通过组合类型结构，该理论预测了 (18) 中的普遍绑定现象，同一无变量机制同时适用于两个并列分句。
• (15a) 中的功能性问题-答案对通过标准无变量机制推导得出，而 (16a) 展示了其向动态语义学的扩展。
• 该框架通过使用类型构造子与函子性来建模计算副作用，实现直接组合性，避免使用赋值函数，并在语义组合中保持清晰性。