[论文解读] Lattice-valued Overlap and Quasi-Overlap Functions

Rui Paiva, Eduardo S. Palmeira+2 more|arXiv (Cornell University)|Jan 31, 2019

Multi-Criteria Decision Making参考文献 17被引用 7

一句话总结

本文引入了格值重叠函数与拟重叠函数，作为[0,1]上重叠函数的推广，通过新提出的拟重叠概念消除了连续性要求。研究建立了同质性、可迁性、幂等性及消去性等关键性质，并对有界格上的阿基米德L-重叠函数进行了表征，表明此类函数仅在特定格点处具有非平凡的幂等元素。

ABSTRACT

Overlap functions were introduced as class of bivariate aggregation functions on [0, 1] to be applied in image processing. This paper has as main objective to present appropriates definitions of overlap functions considering the scope of lattices and introduced a more general definition, called of quasi-overlaps, which arise of abolishes the continuity condition. In addition, are investigated the main properties of (quasi-)overlaps on bounded lattices, namely, convex sum, migrativity, homogeneity, idempotency and cancellation law. Moreover, we make a characterization of Archimedian overlaps.

研究动机与目标

• 将重叠函数从单位区间[0,1]推广至有界格，以拓展其在模糊逻辑与图像处理中的应用范围。
• 通过去除连续性条件，引入拟重叠函数，实现更广泛的格基聚合。
• 在格框架下研究基本性质——同质性、可迁性、幂等性、消去性及凸组合。
• 对阿基米德L-重叠函数进行表征，并确立其存在非平凡幂等元素的条件。
• 探讨拟重叠函数、可除t-范数与剩余格结构之间的联系。

提出的方法

• 通过推广标准重叠函数的五个公理（对称性、边界条件、单调性与连续性）来定义有界格上的重叠函数。
• 通过去除连续性条件，同时保留对称性、边界条件与单调性公理，引入拟重叠函数。
• 利用格论工具（如斯科特连续性、收缩映射与序收敛）分析非线性格上函数的行为。
• 通过存在某个a ∈ L  {0L,1L}使得limx→a+ O(x,x) = a来表征阿基米德L-重叠函数，并证明O在a处必有非平凡幂等元素。
• 应用权函数族概念，将同质性推广至格值函数，保持函数在格元素间的功能行为一致。
• 利用剩余格结构替代分配律假设，使方法在链之外的更广泛结构中具有适用性。

实验结果

研究问题

• RQ1 如何在保持基本性质的前提下，将重叠函数从单位区间推广至有界格？
• RQ2 去除连续性定义重叠函数的影响是什么？由此产生的拟重叠类与原类有何不同？
• RQ3 阿基米德L-重叠函数在何种条件下存在非平凡幂等元素？
• RQ4 在非线性格结构中，可迁性、同质性与消去性等性质如何表现？
• RQ5 在附加代数约束下，拟重叠函数中的消去性质是否可被恢复？

主要发现

• 本文证明，对于阿基米德L-重叠函数，存在非平凡元素a ∈ L  {0L,1L}，使得limx→a+ O(x,x) = a，且存在b ∈ L  {0L,1L}满足O(b,b) = a。
• 在缺乏连续性的情况下，一般格中消去性质与严格单调性不再等价，这与单位区间情形不同。
• 严格拟重叠函数是消去的，当且仅当结构⟨L,≤L,O,1L⟩构成一个以1L为单位元的整环交换拟群，并对所有x,y,z ∈ L满足O(x,y∨z) = O(x,y)∨O(x,z)。
• 通过权函数族，可将同质性推广至格值函数，保持函数在格元素间的功能行为。
• 可除拟重叠概念推广了中间值性质，并在与格上t-范数结合时，支持更强的结构分析。
• 研究结果表明，拟重叠中的消去性质并非自动成立，需额外的代数约束（如对并运算的分配性）来保证。