11、依赖类型语义学中的并列结构辖域平行性

依赖类型语义学中的并列结构辖域平行性

在语义分析中，量化词解释的标准假设在不同版本的理论中存在一些局限性，尤其是在处理某些句子的语义解读时会出现过度生成的问题。为了解决这些问题，我们采用依赖类型语义学（DTS）作为混合类型逻辑范畴语法（HTLCG）的动态组合语义理论，即HTLCG+DTS。

1. 依赖类型语义学中的回指分析

我们先通过一个简单的例子来理解DTS中回指消解的分析。
- 示例句子 ：“A man entered. He sat down.”
- 语义翻译 ：

λc.
⎡
⎢⎢⎣
v :
⎡
⎣u :
 x : Ent
Man(x)

Enter(π1u)
⎤
⎦
Sit-down(@1(c, v))
⎤
⎥⎥⎦

在这个翻译中， u 是依赖和类型 x : Ent Man(x) 的证明项，大致对应存在量化 ∃x.Man(x) 。 π1u 对应变量 x ， v 大致是命题 ∃x.[Man(x) ∧ Enter(x)] 为真的证明。代词通过 @ 运算符编码未指定的证明项，解决这种未指定性就相当于解决回指问题。通过将未指定项实例化为 @1 = λc.π1π1π2c ，我们可以得到预期的解读，即坐下的人是进入的那个男