[论文解读] Symmetric categorial grammar: residuation and galois connections

Michael Moortgat|arXiv (Cornell University)|Aug 1, 2010

semigroups and automata theory参考文献 14被引用 7

一句话总结

本文通过在 Lambek-Grishin 演算中引入对偶的反序（antitone）操作（即格罗伊森连接操作），扩展了对称范畴语法，与单调的剩余操作形成对比。该工作将分配律推广至包含负向操作（如差和余积）的情形，并提出了延续传递风格的翻译方法，从而增强了对句法对偶性的语言建模能力。

ABSTRACT

The Lambek-Grishin calculus is a symmetric extension of the Lambek calculus: in addition to the residuated family of product, left and right division operations of Lambek's original calculus, one also considers a family of coproduct, right and left difference operations, related to the former by an arrow-reversing duality. Communication between the two families is implemented in terms of linear distributivity principles. The aim of this paper is to complement the symmetry between (dual) residuated type-forming operations with an orthogonal opposition that contrasts residuated and Galois connected operations. Whereas the (dual) residuated operations are monotone, the Galois connected operations (and their duals) are antitone. We discuss the algebraic properties of the (dual) Galois connected operations, and generalize the (co)product distributivity principles to include the negative operations. We give a continuation-passing-style translation for the new type-forming operations, and discuss some linguistic applications.

研究动机与目标

• 通过在 Lambek-Grishin 演算中引入剩余（单调）操作与格罗伊森连接（反序）操作之间的正交对偶性，实现其扩展。
• 在对称范畴框架下，形式化格罗伊森连接操作及其对偶的代数性质。
• 将线性分配律原则推广，以纳入差和余积等负向操作。
• 为新类型形成操作开发延续传递风格的翻译方法，以支持计算解释。
• 通过实证示例展示扩展演算在建模涉及对偶性与否定的句法现象方面的语言适用性。

提出的方法

• 引入一对反序操作——差与余积——作为原始单调剩余操作的对偶补充。
• 通过箭头反转的对偶原理，建立剩余操作与格罗伊森连接操作之间的代数对偶性。
• 将线性分配律推广至乘积/余积与除法/差操作之间的交互。
• 定义延续传递风格的翻译，将复杂类型映射为控制流结构，同时保持类型动态特性。
• 利用代数语义验证扩展演算的一致性及其对偶性。
• 将系统应用于语言学示例，以说明其在处理句法否定与对偶性方面的表达能力。

实验结果

研究问题

• RQ1 如何系统性地将反序操作整合到对称范畴语法中，以与单调剩余操作并行？
• RQ2 在类型形成操作的语境下，格罗伊森连接操作及其对偶满足哪些代数性质？
• RQ3 如何将分配律原则扩展，以包含差和余积等负向操作？
• RQ4 扩展演算的计算解释是什么？它如何通过延续传递风格翻译实现？
• RQ5 在哪些语言学现象中，格罗伊森连接操作的引入相较于传统剩余系统提供了更恰当的形式化？

主要发现

• 格罗伊森连接操作为反序的，为 Lambek-Grishin 演算中单调剩余操作提供了正式对偶。
• 扩展演算支持一种广义的分配律形式，统一了乘积、余积、除法与差之间的交互。
• 延续传递风格的翻译有效编码了新类型形成操作，实现了对复杂句法类型的计算解释。
• 代数框架确保了在所提出的对偶原理下，剩余操作与格罗伊森连接操作之间的对偶性得以保持。
• 语言学应用表明，该系统在建模涉及否定与对偶性的现象方面，比原始 Lambek 演算更为自然。
• 对称扩展为类型逻辑语法提供了更均衡、更全面的形式化体系，尤其在建模否定与对偶结构方面表现出色。