[論文レビュー] On the relationship between fuzzy logic and four-valued relevance logic

Umberto Straccia|ArXiv.org|Oct 31, 2000

Rough Sets and Fuzzy Logic参考文献 12被引用数 3

ひとこと要約

本稿では、特定の二重条件の下で、曖昧論理が四値関連論理に崩壊することを確立している。ここでの命題は {true, false, unknown, contradiction} の真理値を取る。曖昧含意が四値論理と古典的二値論理の間で概念的かつ論理的に位置づけられることを示している。主な貢献は、含意関係を通じて曖昧論理と関連論理の間の形式的ブリッジを確立することにある。

ABSTRACT

In fuzzy propositional logic, to a proposition a partial truth in [0,1] is assigned. It is well known that under certain circumstances, fuzzy logic collapses to classical logic. In this paper, we will show that under dual conditions, fuzzy logic collapses to four-valued (relevance) logic, where propositions have truth-value true, false, unknown, or contradiction. As a consequence, fuzzy entailment may be considered as ``in between'' four-valued (relevance) entailment and classical entailment.

研究の動機と目的

• 曖昧命題論理と四値関連論理の論理的関係を調査すること。
• 曖昧論理が四値論理に還元される条件を特定すること。
• 曖昧含意が古典的論理と四値論理の含意の相対的位置を明確にすること。
• 真理値に対するメタレベル制約を用いて、曖昧論理における含意関係を形式化すること。
• 曖昧含意が四値含意の下限で、古典的含意の上限にあることを示すこと。

提案手法

• 本稿では、命題が [0,1] の真理値をとる曖昧命題論理を定義し、真理値の上限を表すメタレベル制約 ⟨A ≥ n⟩ および ⟨A ≤ n⟩ を用いる。
• メタアトムが真理値 1（真）または 0（偽）であるメタ論理 ℒf を導入し、曖昧真理値に対する制約を表現する。
• 本稿では、Anderson や Belnap らの先行研究に基づき、真理値集合 {true, false, unknown, contradiction} を用いて四値関連論理を形式化する。
• モデル理論的意味論を用いて、曖昧含意 (|≈r)、四値含意 (⊨4)、古典的含意 (⊨2) を比較することで含意関係を確立する。
• A |≈r B が成り立つのは、A ⊨4 B または ⊨2 ¬A ∧ B のいずれかが成り立つときであると証明し、曖昧含意が非自明な場合に四値含意を包含することを示す。
• 曖昧含意の代替定義 |≈a, |≈b, |≈c を分析し、メタ論理的制約を用いて古典的論理または四値論理の含意に写像する。

実験結果

リサーチクエスチョン

• RQ1 曖昧命題論理がどのような条件下で四値関連論理に崩壊するか。
• RQ2 曖昧含意が論理的強さの観点で古典的含意と四値含意の間でどのように関係するか。
• RQ3 曖昧含意が四値含意と古典的含意の間にあると形式的に特徴付けられるか。
• RQ4 ⟨A ≥ n⟩ のようなメタレベル制約が曖昧論理と四値論理を結ぶ役割を果たすか。
• RQ5 曖昧含意の異なる定義 |≈a, |≈b, |≈c が古典的論理または四値論理の含意にどのように写像されるか。

主な発見

• 曖昧含意 |≈r は論理的に四値含意 ⊨4 で下限され、古典的含意 ⊨2 で上限を受ける。
• すべての非自明な場合（前提が古典的に充足可能で、結論がタートロジーでない場合）において、曖昧含意 |≈r は四値含意 ⊨4 と等価である。
• A |≈r B が成り立つのは、A ⊨4 B または ⊨2 ¬A ∧ B が成り立つときであり、曖昧含意が四値含意を包含する明確な論理的同値性を確立する。
• 定義 |≈a は古典的含意 ⊨2 に正確に一致する。|≈a B は ⊨2 ¬A ∨ B と同値である。
• 定義 |≈b は論理和の形をとり、B が古典的タートロジーであるか、A ⊨4 B であるかのいずれかが成り立つ。
• 定義 |≈c は、A の各項 Aj に対して、¬Aj がタートロジーであるか、Aj ⊨4 B であるかの論理和の条件を満たす。