辖域歧义、单子与强度
逻辑
2016-08-02 v2
摘要
在本文中，我们将讨论三种语义上不同的辖域指派策略：传统的移位策略、多元策略和基于延续的策略。由于集合 X 上的广义量词是 C(X) 的元素，即延续单子 C 作用于 X 的值，因此在所有三种方法中，量化短语 (QP) 都被解释为 C-计算。本文的主要目标是将这三种策略与关联于单子 C 的计算机制（强度及其导出操作）联系起来。正如将要展示的，多元策略和基于延续的策略都大量使用了单子构造。在传统的移位策略中，虽然没有使用单子构造，但我们仍然需要它们来解释这三种策略如何相互关联，以及在处理简单句中的辖域歧义方面，我们可以对它们有何期望。
引用
@article{arxiv.1605.03981,
title = {Scope ambiguities, monads and strengths},
author = {Justyna Grudzinska and Marek Zawadowski},
journal= {arXiv preprint arXiv:1605.03981},
year = {2016}
}
备注
47 pages, small corrections