[論文レビュー] Non-distributive logics: from semantics to meaning

Willem Conradie, Alessandra Palmigiano+2 more|arXiv (Cornell University)|Feb 11, 2020

Advanced Algebra and Logic参考文献 60被引用数 6

ひとこと要約

本稿は、双対性理論と統一対応理論に根ざした双対的特徴付け手法を用いて、非分配的論理——特に正規ラティス拡張論理（LE論理）——の関係的意味論を提示する。2つの異なる意味的枠組みを提示する：形式的概念論理として論理を解釈する極性に基づくフレーム、および三値真偽値を持つ超構成的システムとして論理を解釈するグラフに基づくフレーム。主な貢献は、これら意味論が、特に認識的不確実性、情報エントロピー、および段階的真偽を含む非分配的推論の直感的で概念的根拠を持つ解釈を提供することにある。

ABSTRACT

We discuss an ongoing line of research in the relational (non topological) semantics of non-distributive logics. The developments we consider are technically rooted in dual characterization results and insights from unified correspondence theory. However, they also have broader, conceptual ramifications for the intuitive meaning of non-distributive logics, which we explore.

研究の動機と目的

• 双対性および表現定理に根ざした、非分配的論理、特に正規LE論理の体系的で関係的（非位相的）な意味論の構築。
• 意味的枠組みを認識的および情報的文脈における直感的解釈と結びつけることにより、非分配性の概念的意味の解明。
• 関係的意味論が、Kripke意味論がモダリティ論理に果たしたのと同様の概念的および技術的利点を非分配的論理に対しても提供できることの示唆。
• 極性に基づくフレームとグラフに基づくフレームという異なる意味的枠組みが、同じ論理的枠組み内で、形式的概念と超構成的推論という異なる解釈を生み出す仕組みの提示。
• 多値論理およびベクトル空間に基づくモデルへの拡張の基盤を築くこと。これにより、記号的AI手法と統合可能な道筋を提供。

提案手法

• 完全ラティスの随伴関係および表現定理を用いた双対的特徴付け技法を適用し、LE論理の代数的意味論から関係的意味論を導出する。
• 集合、関係、および概念ラティスを含む形式的文脈を用いて極性に基づくフレームを構築し、カテゴリおよび概念に関する論理的推論をモデル化する。
• 有向グラフに三値満たし関係（真、偽、両方でない）を導入し、認識的不確実性および情報エントロピー下での推論をモデル化するグラフに基づくフレームを構築する。
• 包含および合成条件などのフレーム性質を用いて、Sahlqvist式および帰納的式を含む、標準的なモダリティ対応結果の一般化を実現する。
• パrametric関係（極性用にI、グラフ用にE）を介して、モダリティ公理とフレーム条件の対応関係を示し、古典的および直観主義的意味論の一般化を達成する。
• 真の値に段階的帰属や支持を許容することで多値意味論への拡張を図り、AIおよび自然言語処理分野の統計的モデルを介してベクトル空間意味論へと展開する。

実験結果

リサーチクエスチョン

• RQ1 関係的意味論は、非分配的論理における分配法則の不成立を、技術的用語を避けた直感的説明としてどのように提供できるか？
• RQ2 非分配性が欠陥ではなく、正しい推論において必須の特徴となる文脈は、どのようなものか？
• RQ3 極性に基づくフレームとグラフに基づくフレームは、同一の論理的記号体系に対して、それぞれが認識的論理としての概念や情報エントロピーとしての論理として、一貫した異なる解釈を可能にするか？
• RQ4 パラメトリック構造（IおよびE関係を介して）が、異なる論理的体系にわたり、対応理論および表現力に関する結果をどの程度一般化できるか？
• RQ5 これらの意味論は、多値論理およびベクトル空間に基づくモデルへとどの程度拡張可能か。これにより、AIにおける記号的・非記号的統合が可能になるか？

主な発見

• 極性に基づく意味論は、LE論理を形式的概念の論理として解釈可能にし、カテゴリおよび概念階層に関する認識的推論を可能にする。
• グラフに基づく意味論は、排中律がメタ言語的レベルで成立しない超構成的解釈を可能にし、真、偽、両方でないという三値真偽値状態を許容する。
• 双対的特徴付け手法により、同一の代数的基盤から2つの異なる関係的意味論が成功裏に生成され、それぞれが独自の概念的根拠を持つことが実証された。
• モダリティ公理のフレーム条件は、適切な関係（I または E）に置き換えることで自然に一般化され、対応理論のパラメトリック枠組みの可能性を示唆する。
• 真の値に段階的帰属を許容することで、多値意味論への拡張が可能となり、頻度、適合性、証拠的支持といった現実世界の現象を反映する。
• 同じ手法を用いて導出されたベクトル空間意味論は、単語埋め込みや情報検索などの非記号的AI手法と記号的論理を統合する道筋を提供する。