[论文解读] Lattice compatible operators for fuzzy logic

Daniel J. Greenhoe|arXiv (Cornell University)|Sep 15, 2014

Advanced Algebra and Logic被引用 1

一句话总结

本文挑战了长期以来认为模糊子集逻辑无法同时满足布尔性质（如分配律、排中律和幂等律）的信念。通过放松对交与并运算符逐点计算的假设，证明了即使在幂等律下，(min, max) 也不是唯一的有效 (交, 并) 运算符对，且可以构建出具有所有布尔性质的非平凡模糊逻辑。

ABSTRACT

Constructing a fuzzy subset logic L with Boolean properties is notoriously difficult because under a handful of reasonable conditions, we have the following three debilitating constraints: (1) Bellman and Giertz in 1973 showed that if L is distributive, then it must be idempotent. (2) Dubois and Padre in 1980 showed that if L has the excluded middle or the non-contradiction property or both, then it must be non-idempotent. (3) Bellman and Giertz also demonstrated in 1973 that even if L is idempotent, then the only choice available for the (meet,join) logic operator pair is the (min,max) operator pair. Thus it would seem impossible to construct a non-trivial fuzzy subset logic with Boolean properties. However, this paper examines these three results in detail, and shows that hidden in the hypotheses of the three is the assumption that the operator pair (meet,join) is pointwise evaluated. It is further demonstrated that removing this constraint yields the following results: (A) It is indeed possible to construct fuzzy subset logics that have all the Boolean properties, including that of idempotency, non-contradiction, excluded middle, and distributivity. (B) Even if idempotency holds, (min,max) is not the only choice for (meet,join).

研究动机与目标

• 解决长期以来的悖论：模糊子集逻辑无法同时满足分配律、排中律和非矛盾律等关键布尔性质。
• 研究先前结果中隐含的假设，即交与并运算符必须逐点计算，这一假设限制了逻辑结构的构建。
• 证明放松该假设后，可构建出具有完整布尔行为（包括幂等律和分配律）的模糊逻辑。
• 表明即使在保留幂等律的前提下，(min, max) 也不是唯一的可能 (交, 并) 运算符对。
• 提供一种新的模糊逻辑框架，支持更丰富的逻辑结构，同时保留理想的代数性质。

提出的方法

• 分析 Bellman 和 Giertz (1973) 以及 Dubois 和 Padé (1980) 的基础假设，特别是对交与并运算符逐点计算的依赖。
• 提出一种非逐点的 (交, 并) 运算符评估框架，允许在模糊子集上实现更灵活且结构化的逻辑运算。
• 构建在格结构上定义运算符的模糊子集逻辑，无需依赖逐点计算，从而保持分配律和布尔恒等式。
• 证明在新框架下，幂等律、分配律和排中律逻辑可共存而不退化为平凡逻辑。
• 通过重新定义运算符语义，超越逐点计算，提供满足所有布尔性质的模糊逻辑的正式代数构造。
• 利用格论形式化新运算符语义，并证明由此产生的逻辑系统具有一致性和非平凡性。

实验结果

研究问题

• RQ1 能否构建一种满足所有布尔性质（包括分配律、排中律和非矛盾律）的模糊子集逻辑，且不退化为平凡逻辑？
• RQ2 逐点计算在限制非平凡模糊逻辑具备布尔行为方面起到何种作用？
• RQ3 当要求幂等律时，(min, max) 是否是唯一的可能 (交, 并) 运算符对，还是在放宽假设下存在其他可能？
• RQ4 如何定义与格兼容的运算符，以在模糊逻辑中保持分配律和布尔恒等式？
• RQ5 在何种条件下，模糊逻辑既能满足幂等律又能满足分配律，而不退化为经典逻辑？

主要发现

• 可以构建满足所有布尔性质（包括分配律、排中律、非矛盾律和幂等律）的非平凡模糊子集逻辑。
• 关键洞见在于：Bellman 和 Giertz (1973) 以及 Dubois 和 Padé (1980) 的不可能性结果依赖于对交与并运算符逐点计算的假设。
• 通过移除逐点计算约束，本文构建的模糊逻辑即使在幂等律下，(min, max) 也不是唯一的有效 (交, 并) 运算符对。
• 新框架允许更丰富的运算符结构，同时保持格兼容性并维持布尔行为。
• 结果表明，当运算符在格结构上而非逐点定义时，早期的不可能性定理不再适用。
• 本文提供了此类逻辑的正式构造，证明其在新语义框架下具有一致性和非平凡性。