[论文解读] Corrections and Higher-Order Unification

Claire Gardent, Michael Kohlhase+1 more|ArXiv.org|Sep 2, 1996

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

一句话总结

本文提出了一种使用高阶合一与等价关系（HOU-E）的语义分析方法，将句法合一与指称等价性结合，以建模上下文敏感的更正。结果表明，HOU-E能自然地处理更正、代词回指和定指性之间的相互作用，为自然语言处理中的动态语义提供统一框架。

ABSTRACT

We propose an analysis of corrections which models some of the requirements corrections place on context. We then show that this analysis naturally extends to the interaction of corrections with pronominal anaphora on the one hand, and (in)definiteness on the other. The analysis builds on previous unification--based approaches to NL semantics and relies on Higher--Order Unification with Equivalences, a form of unification which takes into account not only syntactic beta-eta-identity but also denotational equivalence.

研究动机与目标

• 建模更正在自然语言理解中如何影响话语上下文。
• 解决将更正与代词回指及定指标记相结合的挑战。
• 将基于合一的语义框架扩展至处理更正等动态、上下文转移现象。
• 形式化句法合一与语义等价性在语言推理中的相互作用。
• 为自然语言理解系统中话语修改的处理提供稳健的语义基础。

提出的方法

• 使用高阶合一与等价关系（HOU-E），结合β-η-同一性与指称等价性。
• 将HOU-E应用于更正处理中的语义表示统一，保持上下文敏感性。
• 将现有基于合一的语义框架扩展，以处理来自更正的动态更新。
• 将更正建模为通过合一约束修改话语上下文的语义更新。
• 通过等价类将代词回指与定指性整合到合一过程中。
• 采用基于λ演算与类型理论的正式语义框架来表示意义。

实验结果

研究问题

• RQ1 如何形式化地建模更正，以在话语中保持上下文与连贯性？
• RQ2 在动态语义框架中，更正如何与代词回指相互作用？
• RQ3 指称等价性在更正处理过程中解决歧义时起到什么作用？
• RQ4 高阶合一与等价关系能否同时处理更正中的句法与语义约束？
• RQ5 在存在更正性话语转移的情况下，如何一致地解决定指性与回指问题？

主要发现

• 所提出的HOU-E框架成功地将更正建模为上下文敏感的语义更新。
• 代词回指与定指性被无缝整合到更正机制中，无需临时扩展。
• 指称等价性使得在更正处理过程中能够稳健地解决语义歧义。
• 该方法在动态话语语义中实现了句法与语义合一的统一处理。
• 该框架在处理更正、回指与定指性之间复杂相互作用方面表现出可行性。
• 该方法具有形式化基础，可扩展至动态语义中的其他现象。