古典线性逻辑,流形和范畴语法
提出一种基于经典乘法线性逻辑的范畴文法,使用标记的端点将单词组成元组而不是抽象的 λ 项,称为 Multiwords;Multiwords 可以组成一个具有基本代数结构的类别,并且研究它可能有助于理解语言语义和为其他形式主义提供分类表示。
Oct, 2018
我们提出了一个具体的表面表示法,用于在字母表中使用词语装饰的特定双分图中表示抽象范畴语法,这些图形推广了线性逻辑证明网。我们还介绍和研究了直接基于双分图的线性逻辑语法,并使用经典乘性线性逻辑作为类型系统。
Jul, 2021
通过将对角线方法扩展到一个张量范畴中,我们展示了表征不同范畴语法的一个一阶乘性线性逻辑子集相当于最近引入的扩展张量类型演算,它不仅提供了先前的某些替代语法和直观几何表示,还具有本质的演绎系统。
Jun, 2022
本研究表明混合类型逻辑语法是一阶线性逻辑的一个片段,并提供了新的证明理论和解析策略。同时,还揭示了 λ 语法 / 抽象范畴语法存在超生成问题和句法 - 语义界面问题等独特问题。
May, 2014
使用 DisCoCat 模型构建的语义理论在 Lambek 的 pregroup 语法和单调性生物闭合类别中得到了进一步的扩展,并利用矢量空间模型建立了完整句子的向量。
Feb, 2013
提出了一种新的范畴语法家族,通过丰富基本的范畴语法,引入了一个连接操作。证明了这种方式得到的形式与带有连接的上下文无关文法具有相同的表达能力。还证明了带有连接的范畴语法可以自然地嵌入到带有连接和析取操作的 Lambek 演算中。这进一步意味着可以在带有连接的 Lambek 演算中定义一个特定的 NP 完全集。还展示了如何处理与空字符串相关的一些微妙问题。最后,证明了由连词语法生成的语言可以由不带有连接但具有析取的 Lambek 语法描述。
May, 2024
本研究使用紧闭类别和 Frobenius 代数为基础,构建了一个单一空间中的分布式语义模型,从而扩展了之前 Coecke-Clark-Sadrzadeh 提出的句子意义分布模型的应用范围并在多项语言任务上进行了实验证实。
Jan, 2014
我们提出了一种新的高阶 DisCoCat(分类组合分布)模型的定义,其中词的意义不是一个图表,而是一个图表值的高阶函数。我们的模型可以看作是基于 lambda 演算的 Montague 语义的变体,其中的原始操作作用于字符串图表而不是逻辑公式。作为特例,我们展示了如何从 Lambek 演算翻译为一阶逻辑中的 Peirce 系统贝塔。这使我们能够在自然语言语义中以纯图表的方式处理高阶和非线性过程:副词、介词、否定和量词。这篇文章中提出的理论定义带有 DisCoPy 的概念验证实现,这是用于字符串图表的 Python 库。
Nov, 2023
本论文提出了三种新的方法,一方面提出了基于 Frobenius 代数的抽象框架的具体实例,另外则提出了一种新的组合算法处理不同级别的词汇歧义,并引入了用于解释词汇歧义的量子力学方法。
May, 2015
本文介绍了位移演算为 Lambek 演算的一般化,它保留了 Lambek 演算的证明论特性,同时将不连续性融合到其中,并涵盖了它。我们举例说明语言应用,并证明减少消除,子公式属性和可决定性。
Apr, 2010