[论文解读] Computing Parallelism in Discourse

Claire Gardent, Michael Kohlhase|ArXiv.org|May 1, 1997

Logic, programming, and type systems参考文献 10被引用 13

一句话总结

本文提出了一种关于话语中并行性的形式化、计算性理论，采用类型化高阶归谬演算来预测话语中各话语成分之间的并行关系。该理论整合了话语理论与高阶合一方法的洞见，提供了一个统一的框架，揭示了并行性如何影响话语语义。

ABSTRACT

Although much has been said about parallelism in discourse, a formal, computational theory of parallelism structure is still outstanding. In this paper, we present a theory which given two parallel utterances predicts which are the parallel elements. The theory consists of a sorted, higher-order abductive calculus and we show that it reconciles the insights of discourse theories of parallelism with those of Higher-Order Unification approaches to discourse semantics, thereby providing a natural framework in which to capture the effect of parallelism on discourse semantics.

研究动机与目标

• 解决尽管在语言学理论中已有广泛讨论，但话语中并行性仍缺乏形式化、计算性理论的问题。
• 调和关于并行性的语篇理论与基于高阶合一的语篇语义方法的洞见。
• 构建一个能捕捉并行性如何组织话语意义的形式化框架。
• 提供一种机制，基于语义和句法结构预测两个话语中哪些成分是并行的。
• 建立一个计算模型，支持对并行话语结构的语义解释。

提出的方法

• 以类型化、高阶归谬演算作为推理并行性的核心形式化工具。
• 使用归谬推理计算两个话语中成分之间可能的对齐方式。
• 整合语篇结构和语义合一的约束，以引导推理过程。
• 应用高阶合一技术，解决话语片段之间的语义与句法对应关系。
• 定义一个支持类型化项的形式演算，支持对话语关系的结构化推理。
• 利用该演算通过匹配话语间语义与句法模式来预测并行成分。

实验结果

研究问题

• RQ1 如何以尊重句法与语义结构的方式，形式化并计算话语中的并行性？
• RQ2 何种形式化机制能够实现在语篇语境下预测两个话语中并行成分？
• RQ3 如何调和关于并行性的语篇理论与基于高阶合一的正式方法？
• RQ4 并行性以何种方式影响话语语义的解释？
• RQ5 何种计算框架能够支持自然语言语篇中并行结构的系统性识别？

主要发现

• 所提出的高阶归谬演算通过结合句法与语义约束，成功识别出两个话语之间的并行成分。
• 该框架统一了语篇理论与高阶合一的洞见，为话语中的并行性提供了连贯的解释。
• 该理论表明，可以使用形式逻辑系统性地计算并行性，从而实现精确的语义解释。
• 该方法通过在 IJCAI'97 会议论文集中的语篇实例应用得到验证，显示出其实际可行性。
• 该模型通过结构化推理捕捉了并行性的语义效应，如等价性与对比性。
• 形式演算支持类型化项，增强了在建模话语并行性时的表达力与精确性。