[论文解读] Intensional Verbs Without Type-Raising or Lexical Ambiguity

Mary Dalrymple, John Lamping+2 more|ArXiv.org|Apr 27, 1994

Natural Language Processing Techniques参考文献 11被引用 10

一句话总结

本文提出了一种基于线性逻辑推理的无类型语义分析方法，用于解释诸如'seek'之类的模态动词，无需类型提升或词汇歧义即可实现de dicto和de re两种解读。该方法在保持精确句法-语义对应关系的同时，相较于传统范畴语法展现出更高的句法与语义灵活性。

ABSTRACT

We present an analysis of the semantic interpretation of intensional verbs such as seek that allows them to take direct objects of either individual or quantifier type, producing both de dicto and de re readings in the quantifier case, all without needing to stipulate type-raising or quantifying-in rules. This simple account follows directly from our use of logical deduction in linear logic to express the relationship between syntactic structures and meanings. While our analysis resembles current categorial approaches in important ways, it differs from them in allowing the greater type flexibility of categorial semantics while maintaining a precise connection to syntax. As a result, we are able to provide derivations for certain readings of sentences with intensional verbs and complex direct objects that are not derivable in current purely categorial accounts of the syntax-semantics interface. The analysis forms a part of our ongoing work on semantic interpretation within the framework of Lexical-Functional Grammar.

研究动机与目标

• 解决对诸如'seek'之类的模态动词进行语义解释时，其直接宾语为个体或量词类型时的挑战。
• 消除在语义分析中对类型提升或量化引入规则的依赖。
• 在不依赖词汇歧义或临时句法变换的前提下，维持精确的句法-语义接口。
• 在保持形式严谨性的同时，扩展范畴语义的类型灵活性。
• 支持在范畴语义框架中推导出标准范畴系统无法推导的复杂解读。

提出的方法

• 在线性逻辑中运用逻辑推理，以建模句法结构与其意义之间的关系。
• 采用无类型的语义框架，避免显式的类型提升操作。
• 通过基于线性逻辑的资源敏感推理的推理规则，形式化模态动词的语义。
• 将分析整合进词典功能语法（LFG）框架，以确保句法精确性。
• 通过统一的推理机制，直接组合个体和量词类型补语的意义。
• 利用线性逻辑的结构特性，自然地处理范围歧义（de dicto与de re之分）。

实验结果

研究问题

• RQ1 如何在不使用类型提升的前提下，对诸如'seek'之类的模态动词实现对个体和量词类型直接宾语的语义解释？
• RQ2 何种形式机制能够在统一的语义框架中实现de dicto和de re两种解读？
• RQ3 范畴式语义能否在保持句法精确性的同时实现更大的类型灵活性？
• RQ4 当前范畴方法在推导模态动词复杂解读方面存在哪些局限性？
• RQ5 线性逻辑如何支持对模态结构进行资源敏感的、无类型的语义组合？

主要发现

• 所提出的分析方法成功推导出模态动词的de dicto和de re两种解读，且无需类型提升或词汇歧义。
• 该框架支持在标准范畴语法的句法-语义接口中无法推导出的解读。
• 线性逻辑提供了一个形式基础，使语义组合更具灵活性，同时保持句法约束。
• 该方法维持了句法结构与意义之间的精确联系，避免了临时规则的使用。
• 该方法表明，范畴语义可以在不牺牲形式严谨性的前提下实现更大的类型灵活性。
• 该分析已整合进词典功能语法（LFG）框架，支持其在语义解释中的更广泛应用。