为语言赋予自旋：一元联结词的量子解释及其在语言中的应用

当前计算语言学中所用的兰贝克演算（Lambek Calculus）扩展版本依赖一元模态来实现影响词序和短语结构的结构规则的可控应用。这些受控结构操作产生了原始兰贝克演算或其前群简化所遗漏的推导歧义。已有在FVect和线性映射的紧闭范畴中对扩展兰贝克演算进行组合解释的提议，但在这些提议中，语法-语义映射忽略了控制模态，实际上将其作用限制于语法。我们的目标是将模态变为向量解释中的一等公民。基于方向密度矩阵语义，我们通过一个额外的自旋密度矩阵空间来扩展类型系统的解释。于是证明的解释导致歧义推导与正交自旋态进行张量积。我们的方法引入了一种同时表示歧义话语共存解释的方式，并为词汇歧义与推导歧义的整合提供了统一框架。