[论文解读] A vector logic for intensional formal semantics

Daniel Quigley|arXiv (Cornell University)|Feb 3, 2026

Logic, Reasoning, and Knowledge被引用 0

一句话总结

该论文证明将 Kripke 风格的意向性模型的可注入嵌入到向量空间中，将语义函数提升为多线性映射，并在统一的向量逻辑框架内代数地推导模态运算符。

ABSTRACT

Formal semantics and distributional semantics are distinct approaches to linguistic meaning: the former models meaning as reference via model-theoretic structures; the latter represents meaning as vectors in high-dimensional spaces shaped by usage. This paper proves that these frameworks are structurally compatible for intensional semantics. We establish that Kripke-style intensional models embed injectively into vector spaces, with semantic functions lifting to (multi)linear maps that preserve composition. The construction accommodates multiple index sorts (worlds, times, locations) via a compound index space, representing intensions as linear operators. Modal operators are derived algebraically: accessibility relations become linear operators, and modal conditions reduce to threshold checks on accumulated values. For uncountable index domains, we develop a measure-theoretic generalization in which necessity becomes truth almost everywhere and possibility becomes truth on a set of positive measure, a non-classical logic natural for continuous parameters.

研究动机与目标

• 在形式（意向性）语义与分布式（向量）语义之间建立一个有原则的联系。
• 证明 Kripke 风格的意向性模型在保持组合性的同时可以嵌入向量空间。
• 开发一个处理多种指标排序（世界、时间、位置）的向量-逻辑框架。
• 将模态运算符代数化地推导为对应可及关系的线性运算符。
• 将框架推广到测度理论语义，以处理不可数的指标域。

提出的方法

• 用具有复合指标空间的意向类型来定义，意向作为从指标到扩展的函数。
• 构造从扩展领域到向量空间的可注入类型嵌入 h_τ。
• 将扩展语义函数提升为在像空间之间的（多）线性映射 f′，使其满足 h_{τ_{n+1}}(f(a)) = f′(h_{τ1}(a1),…,h_{τn}(an))。
• 通过在扩展模型与向量模型之间的易变对角线图，证明语义组合保持不变。
• 推导模态运算符 □_σ，语义表示为经过阈值化的、在可及指标上的累积值。
• 使用测度理论概念将不可数指标域推广，其中必要性为“在几乎处处”为真。

实验结果

研究问题

• RQ1 Kripke 风格的意向性模型是否可以在不压缩不同意义的前提下可注入地嵌入到向量空间？
• RQ2 扩展语义函数是否能够在向量框架中提升为多线性映射，同时保持组合性？
• RQ3 如何在向量-逻辑系统中代数化地表示模态运算符，包括多种指标排序（世界、时间、位置）？
• RQ4 在通过测度论处理不可数指标域的意向性语义中，需要哪些一般化？
• RQ5 指标排序如何相互作用以产生复合模态，如组合的世界-时间-位置必要性？

主要发现

• 存在将意向领域可注入嵌入到向量空间中的嵌入，语义函数提升为（多）线性映射并保持组合性。
• 每个扩展类型通过可注入的 h_τ 被嵌入到向量空间，实现扩展表示与向量表示之间的可交换图。
• 模态运算符在代数上被推导，及可及关系转化为线性运算符，模态真值条件转化为阈值判断。
• 框架通过形成复合指标空间 S 来容纳多种指标排序，并将意向解释为从 S 映射到扩展的函数。
• 对于不可数指标域，发展出一个测度论一般化，其中必要性对应几乎处处为真，可能性对应在正测度集合上为真。