[论文解读] The Lattice of Fuzzy Intervals and Sufficient Conditions for its Distributivity

Athanasios Kehagias|arXiv (Cornell University)|Jun 17, 2002

Fuzzy Logic and Control Systems参考文献 15被引用 4

一句话总结

本文引入模糊区间作为模糊集，其p-截面在完备格 (X, ⊑) 中为闭区间，证明此类模糊区间的集合构成一个完备格。主要贡献在于：若 (X, ⊑) 是完全分配的，则模糊区间的格是分配的，从而将经典的模糊区间理论推广至一般的格结构。

ABSTRACT

Given a reference lattice, we define fuzzy intervals to be the fuzzy sets such that their p-cuts are crisp closed intervals. We show that: given a complete reference lattice, the collection of its fuzzy intervals is a complete lattice. Furthermore we show that: if the reference lattice is completely distributive then the lattice of its fuzzy intervals is distributive.

研究动机与目标

• 将模糊区间形式化为p-截面在参考格 (X, ⊑) 中为闭区间的模糊集。
• 建立在完备格 (X, ⊑) 上所有模糊区间的集合构成一个完备格。
• 识别出模糊区间格为分配格的充分条件——具体而言，(X, ⊑) 的完全分配性。
• 将基于实数区间的经典模糊区间理论推广至任意完备格。
• 为模糊区间提供格论基础，以支持凸性及模糊代数结构的进一步研究。

提出的方法

• 将模糊区间定义为函数 M: X → [0,1]，使得每个 p-截面 M_p 是 (X, ⊑) 中的闭区间。
• 利用 p-截面及其性质（单调性、交集保持性）刻画模糊区间及其格运算。
• 证明所有模糊区间的集合，记为 ˜I，在逐点上确界与下确界下封闭，从而构成一个完备格。
• 通过 p-截面交集定义模糊区间的并运算 ⊗.∨：(M ⊗.∨ N)_p = M_p ∪̇ N_p，即同时包含 M_p 与 N_p 的最小闭区间。
• 利用 p-截面等式与格恒等式，证明当 (X, ⊑) 完全分配时，格 (˜I, ≤, ⊗.∨, ∧) 是分配的。
• 借助 p-截面与模糊集之间的对偶性，通过表示定理（命题 2.7）从区间族重构模糊集。

实验结果

研究问题

• RQ1 在何种条件下，完备格 (X, ⊑) 上的模糊区间集合构成一个完备格？
• RQ2 在何种条件下，模糊区间的格是分配的？
• RQ3 模糊区间的 p-截面在并与交等格运算下如何表现？
• RQ4 基格 (X, ⊑) 的分配性与模糊区间格的分配性之间存在何种关系？
• RQ5 基于实数的古典模糊区间理论在多大程度上可推广至任意格？

主要发现

• 在完备格 (X, ⊑) 上所有模糊区间的集合在逐点序、并与交运算下构成一个完备格。
• 若基格 (X, ⊑) 是完全分配的，则模糊区间的格是分配的。
• 模糊区间并运算 M ⊗.∨ N 的 p-截面是同时包含 M_p 与 N_p 的最小闭区间，即 (M ⊗.∨ N)_p = M_p ∪̇ N_p。
• 模糊区间上的格运算保持 p-截面结构，确保结果模糊集确实是模糊区间。
• 分配性证明的关键在于 (X, ⊑) 的完全分配性，这保证了涉及上确界与下确界运算的格恒等式在区间运算中成立。
• 本研究将基于实数区间上的经典模糊区间理论推广至任意完备格。