[论文解读] 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

一句话总结

本文证明，在特定双重条件下，模糊命题逻辑坍缩为四值相关性逻辑——其中命题的真值取值于{真, 假, 不确定, 矛盾}——表明模糊推理在概念和逻辑上介于四值逻辑与经典二值逻辑之间。主要贡献在于通过推理关系在模糊逻辑与相关性逻辑之间建立形式化桥梁。

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⟩来表达真值的边界。
• 引入一种元逻辑ℒf，其元原子取值为真(1)或假(0)，用以表示对模糊真值的约束。
• 通过先前由安德森、贝尔纳普等人定义的真值集合{真, 假, 不确定, 矛盾}，形式化四值相关性逻辑。
• 通过模型论语义，比较模糊推理(|≈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 ⊨4 B或⊨2 ¬A ∧ B时，A |≈r B成立，确立了精确的逻辑等价性。
• 定义|≈a与经典推理⊨2完全对应，因为|≈a B等价于⊨2 ¬A ∨ B。
• 定义|≈b对应析取关系：B是经典重言式，或A ⊨4 B。
• 定义|≈c对应析取范式上的析取条件：对A的每个析取支Aj，要么¬Aj是重言式，要么Aj ⊨4 B。