[論文レビュー] 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.

研究の動機と目的

• 形式的（内在的）意味論と分布的（ベクトル）意味論の principled な連結を動機づける。
• Kripke風の内在的モデルをベクトル空間へ埋め込みながら組成を保持することを示す。
• 複数の指標系（世界、時刻、場所）を扱うベクトル-論理フレームワークを開発する。
• 可用性関係に対応する線形演算子としてモーダル演算子を代数的に導出する。
• 可算でないインデックス領域に対して測度理論的意味論を拡張する。

提案手法

• 複合インデックス空間を持つ内在的型を定義し、内在的intensionsをインデックスからの拡張への関数として定義する。
• 拡張的な領域をベクトル空間へ写像する injective な型埋め込み h_τ を構築する。
• 拡張的意味関数を（多重）線形写像 f′ へリフトし、画像空間間で h_{τ_{n+1}}(f(a)) = f′(h_{τ1}(a1),…,h_{τn}(an)) を満たす。
• 意味合成が拡張モデルとベクトルモデルの可換図を介して保存されることを証明する。
• 可用性関係を線形演算子とし、モーダル真条件をしきい値に基づく蓄積値として表現する □_σ を導出する。
• 無限集合ではなく測度論的概念を用いて一般化し、必然性を“almost everywhere”として扱う。

実験結果

リサーチクエスチョン

• RQ1 Kripke風の内在的モデルをベクトル空間へ注入的に埋め込むと意味の区別が崩れずに表現できるか。
• RQ2 拡張的意味関数はベクトル体系で多重線形写像へリフトされ、組成を保存するか。
• RQ3 複数の指標系を含むベクトル-論理系においてモーダル演算子を代数的に表現できるか（世界・時刻・場所という複数の指標系を含む）。
• RQ4 測度理論を用いた不可算なインデックス領域の一般化は何が必要か。
• RQ5 指標系の相互作用は結合世界-時刻-場所の必然性のような複合モーダリティを生み出すか。

主な発見

• 内在的領域をベクトル空間へ注入的に埋め込み、意味関数は組成を保存する（多重線形写像へリフトする）。
• 各拡張的型は injective な h_τ によってベクトル空間へ埋め込まれ、拡張表現とベクトル表現の間に可換図を可能にする。
• モーダル演算子は代数的に導出され、可用性関係は線形演算子、モーダル真理条件はしきい値ベースの検査となる。
• フレームワークは複数の指標系を S という複合インデックス空間を形成して拡張関数を S から拡張への関数として解釈することで対応する。
• 不可算なインデックス領域に対しては、必要性は“almost everywhere”の真理、可能性は正の測度を持つ集合上の真理として表現する測度論的一般化を開発する。