[論文レビュー] Independence and abstract multiplication

Dov Gabbay, Karl Schlechta|arXiv (Cornell University)|Jan 18, 2010

Logic, Reasoning, and Knowledge参考文献 7被引用数 3

ひとこと要約

本稿は、抽象的サイズ乗算の概念を通じて、非単調論理における独立性の形式的枠組みを導入し、独立性と論理的体系の構成的挙動との強い関連を確立する。関数 f が二つの演算 ∘ および ∘′ に関して合成を保存し、かつ成分を双方向に回復可能にできる場合、それは意味論的補間を可能にし、合理的単調性やモジュラー修正といった重要な性質を支持する。

ABSTRACT

We investigate the notion of independence, which is at the basis of many, seemingly unrelated, properties of logic like Rational Monotony in non-monotonic logics, and interpolation theorems.

研究の動機と目的

• 論理的体系、特に非単調論理における独立性の概念を形式化すること。ここでは、成分が独立に合成され、再構成可能であることを目的とする。
• 非単調論理および順序付き論理における、論理的構造における独立性と抽象的サイズの乗算との関係を調査すること。
• 意味論的補間が成立する条件を、特に単調および非単調な文脈において、独立性枠組みを通じて確立すること。
• 理論修正および距離に基づく推論における独立性の役割を、特にモジュラーおよび階層的論理的体系において分析すること。
• 整合的でない、または非モジュラーな文脈（たとえば、整合性の欠如が成分の再構成を曇らせる状況）における独立性の関連性と限界を扱うこと。

提案手法

• 関数 f が f(Σ₁∘Σ₂) = f(Σ₁)∘′f(Σ₂) を満たし、かつ f(Σ₁∘Σ₂) から f(Σ₁) および f(Σ₂) を再び f を再適用せずに回復可能である場合、三重組 ⟨f, ∘, ∘′⟩ を用いた独立性の形式的定義を提案する。
• 順序構造、言語断片が互いに素である古典論理、および順序付き論理に、独立性枠組みを適用し、特定の条件下で独立性が成立することを示す。
• サイズ乗算の二つの状況を導入する：ネストされた部分集合と積空間。それぞれが異なる構造的性質（たとえば、順序性対モジュラリティ）をもたらす。
• モデル作用素 μ および M(φ) を用いて、順序付き論理および古典論理における独立性を示し、最小モデルおよびモデル集合が合成に関して乗法的に振る舞うことを示す。
• 特にパリクスタイルのモジュラー修正にリンクすることで、修正系にこの枠組みを適用し、独立性条件およびサイズ乗算と関連付ける。
• 論理的規則 (GH)、(GH+)、(s*s)、および (b*b⇔b) を用いて、さまざまな論理的体系における抽象的サイズおよび独立性の挙動を形式化する。

実験結果

リサーチクエスチョン

• RQ1 関数 f が演算 ∘ および ∘′ に関して合成を保存し、かつ成分を双方向に回復可能にできる条件は何か？
• RQ2 非単調論理および単調論理における論理的体系の独立性は、抽象的サイズの乗算とどのように関係するか？
• RQ3 どのような文脈で意味論的補間が独立性条件から導かれるのか、特に順序付き論理および古典論理において。
• RQ4 整合性の欠如の存在下でなぜ独立性が失敗するのか、そして成分再構成を回復するための対策は何か？
• RQ5 独立性枠組みをどのように拡張することで、論理的体系におけるモジュラー修正および距離に基づく推論をサポートできるか？

主な発見

• f が最小モデル作用素 μ で ∘ = ∘′ = ∪ である場合、順序構造において独立性が成立する。μ(X∪Y) = μ(X)∪μ(Y) であり、成分は交差によって回復可能である。
• 言語断片が互いに素で整合的な論理式に対して、古典論理では独立性が成立する。f(φ∧ψ) = M(φ)∩M(ψ) であり、M(φ) は共同モデル集合の射影として回復可能である。
• 整合的でない論理式、たとえば M(a∧¬a∧b) では独立性が失敗する。これは整合性の欠如が一意に特定された成分に帰属できないため、再構成が不可能である。
• 順序付き論理では、μ(X×Y) = μ(X)×μ(Y) かつ帰結関係 ∼∣ が ∼∣∘∼∣ の規則を満たす場合、独立性が満たされる。これにより非単調補間が可能になる。
• 独立性枠組みは、モジュラー修正および距離に基づく修正をサポートする。これは (GHD) および (GHD+) の規則が独立性条件と整合することから明らかである。
• 本稿では、A×B⊆X×Y ⇒ A⊆X, B⊆Y の方向が、サイズ乗算における比例性の懸念から、逆の方向よりも直感的に妥当であると特定している。