2025-11-29T11:58:18.326653

Characterization of t-norms for type-2 fuzzy sets

Sun
Type-2 fuzzy set (T2 FS) were introduced by Zadeh in 1965, and the membership degrees of T2 FSs are type-1 fuzzy sets (T1 FSs). Owing to the fuzziness of membership degrees, T2 FSs can better model the uncertainty of real life, and thus, type-2 rule-based fuzzy systems (T2 RFSs) become hot research topics in recent decades. In T2 RFS, the compositional rule of inference is based on triangular norms (t-norms) defined on complete lattice (L, \le ) ( L is the set of all convex normal functions from [0,1] to [0,1], and , \le is the so-called convolution order). Hence, the choice of t-norm on (L,\le) may influence the performance of T2 RFS. Therefore, it is significant to broad the set of t-norms among which domain experts can choose most suitable one. To construct t-norms on (L,\le), the mainstream method is convolution which is induced by two operators on the unit interval [0,1]. A key problem appears naturally, when convolution is a t-norm on (L,\le). This paper gives the necessary and sufficient conditions under which convolution is a t-norm on (L,\le). Moreover, note that the computational complexity of operators prevent the application of T2 RFSs. This paper also provides one kind of convolutions which are t-norms on (L,\le) and extremely easy to calculate.
academic

Characterization of t-norms for type-2 fuzzy sets

基本信息

  • 论文ID: 2511.17640
  • 标题: Characterization of t-norms on normal convex functions
  • 作者: Jie Sun (Southwest Minzu University, China)
  • 分类: math.GM (General Mathematics)
  • 发表时间: 2025年11月 (arXiv v2)
  • 论文链接: https://arxiv.org/abs/2511.17640

摘要

本文研究type-2模糊集(T2 FS)理论中的三角范数(t-norms)构造问题。Type-2模糊集由Zadeh于1965年引入，其隶属度本身是type-1模糊集，能更好地建模现实生活中的不确定性。在type-2基于规则的模糊系统(T2 RFS)中，推理的合成规则基于定义在完全格(L,⊑)上的t-norms（L是从0,1到0,1的所有凸正规函数集合，⊑是卷积序）。t-norm的选择会影响T2 RFS的性能，因此扩展可供领域专家选择的t-norms集合具有重要意义。本文给出了卷积∗△成为(L,⊑)上t-norm的充要条件，并提供了一类计算极其简单的t-norms。

研究背景与动机

1. 要解决的核心问题

本文要解决的关键问题是：在什么条件下，由两个区间0,1上的算子∗和△诱导的卷积∗△是完全格(L,⊑)上的t-norm？

2. 问题的重要性

  • 理论意义: Type-2模糊集理论是模糊集理论的重要扩展，其隶属度的模糊性使其能更好地处理不确定性
  • 实际应用: Type-2规则模糊系统(T2 RFS)在工业过程控制、复杂系统分析等领域有广泛应用
  • 系统性能: t-norm的选择直接影响推理规则的合成，进而影响整个模糊系统的性能
  • 计算复杂性: 现有算子的计算复杂度阻碍了T2 RFS的实际应用

3. 现有方法的局限性

  • 2014年Hernández等人的工作: 仅提供了卷积成为tr-norm（满足更严格公理的t-norm）的充分但非必要条件
  • 理论不完备: 缺乏完整的充要条件刻画
  • 计算效率: 现有卷积算子的计算复杂度高

4. 研究动机

  • 提供t-norm构造的完整理论刻画，使领域专家能更灵活地选择适合的t-norm
  • 降低计算复杂度，促进T2 RFS的实际应用
  • 深化对卷积序⊑的理解，推动聚合算子研究

核心贡献

  1. 充要条件定理: 给出了卷积∗△成为(L,⊑)上t-norm的充分必要条件（定理3.6和定理4.19），完全解决了这一开放问题
  2. t-norm与tr-norm的等价性: 证明了在(L,⊑)上，卷积∗△是t-norm当且仅当它是tr-norm（定理3.6）
  3. 易计算的t-norms: 提供了一类极易计算的卷积t-norms（定义4.15和命题4.21），形式为∧△，其中△是边界连续t-norm
  4. 卷积序的新刻画: 给出了卷积序⊑的新等价刻画（命题4.11），通过α-截集和强α-截集表达，使卷积序更加直观
  5. 对偶结果: 提供了t-conorms和tr-conorms的完整对偶理论（定理5.7和定理5.8）

方法详解

任务定义

输入: 两个二元算子∗: 0,1² → 0,1和△: 0,1² → 0,1，其中∗是满射

输出: 判定由∗和△诱导的卷积∗△: L² → L是否为(L,⊑)上的t-norm

约束条件:

  • L是从0,1到0,1的所有凸正规函数集合
  • ⊑是卷积序，定义为f ⊑ g当且仅当f ∧∧ g = f
  • (L,⊑,0̄,1̄)是完全分配格

核心概念

1. 卷积定义（Definition 2.6）

对于n元算子∗和△，卷积∗△: Mⁿ → M定义为：

∗△(f₁,...,fₙ)(x) = ⋁_{∗(y₁,...,yₙ)=x} △(f₁(y₁),...,fₙ(yₙ))

对于二元情况：

(f ∗△ g)(x) = ⋁_{y∗z=x} f(y)△g(z)

2. t-norm定义（Definition 2.1）

二元算子∗: P² → P是有界偏序集(P,≤,0_P,1_P)上的t-norm，如果：

  • 交换性：x∗y = y∗x
  • 结合性：(x∗y)∗z = x∗(y∗z)
  • 单位元：1_P∗x = x
  • 单调性：y ≤ z ⟹ x∗y ≤ x∗z

3. 凸正规函数

  • 正规性: sup{f(x) | x ∈ 0,1} = 1
  • 凸性: x ≤ y ≤ z ⟹ f(y) ≥ f(x) ∧ f(z)

主要结果的证明思路

必要性分析（Section 3）

关键引理3.3: 如果∗△是(L,⊑)上的t-norm，则：

  • ∗△在J（单点特征函数集）和J2（闭区间特征函数集）上封闭
  • ∗是连续t-norm

证明要点:

  1. 利用单位元性质1̄∗△x̄ = x̄
  2. 通过引理3.2证明Ā∗△B̄ = A∗B
  3. 建立同构τ: 0,1 → J, x ↦ x̄
  4. 由命题2.4得∗是t-norm，进而证明连续性

关键引理3.4: 如果∗△是(Lu,⊑)或(L,⊑)上的t-norm，则△是t-norm

证明要点:

  1. 构造特殊函数族P = {p_a | a ∈ 0,1}，其中 
    p_a(x) = {1,  x=0
         {a,  x∈(0,1] (当a<1)
  2. 证明映射p: 0,1 → P是序同构
  3. 利用命题2.4得出结论

命题3.7: 如果∗△是(L,⊑)上的t-norm，则△是边界连续t-norm

命题3.11: 如果∗△是(L,⊑)上的t-norm且∗≠∧，则△是左连续t-norm

证明策略: 构造特殊函数f,g,h ∈ L，利用结合律和单调性，通过精巧的不等式链证明a△1⁻ = a

充分性分析（Section 4）

4.1 封闭性（命题4.2）

如果∗是连续t-norm，△在(1,1)处连续，则∗△在L上封闭

证明要点:

  1. 正规性: 利用△在(1,1)处的连续性，对任意a<1存在b₁,c₁使得b₁△c₁>a
  2. 凸性: 关键引理4.1证明满足交集非空条件的凸集族的并是凸的

4.2 单调性（命题4.13）

引入新的序关系≼在子区间集I上：

A≼B ⟺ A∧B = A

关键引理4.8: A≼B ⟺ ↑B⊆↑A 且 ↓A⊆↓B

其中↑A = ⋃{x∈A}x,1, ↓A = ⋃{x∈A}0,x

命题4.11（新的卷积序刻画）: 对f,g ∈ L，以下等价：

  1. f ⊑ g
  2. f^â≼g^â 对所有a∈(0,1)
  3. f^a≼g^a 对所有a∈(0,1)

4.3 结合性

命题4.14: 若∗和△都是t-norms且△左连续，则∗△在M上结合

命题4.17: 若△是边界连续t-norm，则∧△在L上结合

证明核心: 引入f⁺定义（Definition 4.15）：

f⁺ = ∪{[0,a] | f在[0,a]上单调递增}

证明(f∧△g)⁺ = f⁺∩g⁺，然后分情况讨论证明结合律

主定理（Theorem 4.19）

卷积∗△是(L,⊑)上的t-norm 当且仅当：

  1. ∗是连续t-norm
  2. 若∗≠∧，则△是左连续t-norm
  3. 若∗=∧，则△是边界连续t-norm

技术创新点

  1. 统一框架: 将t-norm和tr-norm统一在同一框架下，证明二者等价（定理3.6）
  2. 精细的连续性分类: 区分∗=∧和∗≠∧两种情况，对△的连续性要求不同：
    • ∗≠∧需要左连续
    • ∗=∧只需边界连续
  3. 新的序关系工具: 引入≼关系和↑、↓算子，提供了处理卷积序的新工具
  4. 构造性证明: 通过构造特殊函数（如p_a族，特定的f,g,h）巧妙地提取算子性质
  5. 简化计算: 命题4.21给出∧△的显式计算公式：
    (f∧△g)(x) = {f(x)∨g(x),     x∈f⁺∩g⁺
             {f(x),           x∈g⁺\f⁺
             {g(x),           x∈f⁺\g⁺
             {f(x)△g(x),      x∉f⁺∪g⁺

实验设置

本文是纯理论数学论文，不涉及实验验证。研究方法为：

  1. 严格的数学证明
  2. 反例构造
  3. 引理链式推导
  4. 充分性和必要性双向证明

实验结果

理论结果总结

主要定理:

  • 定理3.6: t-norm ⟺ tr-norm（在L上）
  • 定理4.19: 充要条件定理
  • 定理5.7: 对偶的t-conorm充要条件
  • 定理5.8: t-conorm ⟺ tr-conorm

关键命题:

  • 命题4.11: 卷积序的三个等价刻画
  • 命题4.21: ∧△的简化计算公式

理论贡献的验证

  1. 完备性: 充要条件的双向证明确保了理论的完备性
  2. 一般性: 结果适用于所有满足条件的∗和△组合
  3. 可构造性: 提供了具体的t-norm构造方法

相关工作

主要研究方向

  1. T-norms基础理论:
    • Schweizer & Sklar (1961): 在0,1上引入t-norms
    • Alsina, Frank & Schweizer (2006): 关联函数和copulas
  2. 偏序集上的t-norms:
    • Zhang (2005): 偏序集上的三角范数
    • Deschrijver et al. (2004): 直觉模糊t-norms
  3. Type-2模糊集理论:
    • Zadeh (1975): 语言变量和近似推理
    • Walker & Walker (2005): 模糊真值代数
    • Harding et al. (2008, 2010): 凸正规函数格
  4. 卷积算子:
    • Zhang & Hu (2019, 2025): 卷积的分配律和α-截集
    • Hu & Wang (2014, 2015): Type-2模糊集和区间值type-2模糊集
    • Hernández et al. (2014): Type-2模糊集的t-norms（充分条件）

本文的优势

  1. 理论完备: 相比Hernández et al. (2014)只给出充分条件，本文给出充要条件
  2. 计算效率: 提供了∧△的显式公式，计算复杂度显著降低
  3. 理论深化:
    • 证明了t-norm与tr-norm的等价性
    • 给出了卷积序的新刻画
    • 完整的对偶理论
  4. 系统性: 统一处理了t-norms和t-conorms

结论与讨论

主要结论

  1. 充要条件: 在∗满射的假设下，完全刻画了∗△成为(L,⊑)上t-norm的条件
  2. 等价性结果: 在(L,⊑)上，t-norm概念与tr-norm概念等价
  3. 计算简化: 当△是边界连续t-norm时，∧△有简单的计算公式
  4. 对偶理论: t-conorms的充要条件通过对偶方式获得

局限性

  1. 满射假设: 要求∗是满射，这排除了一些算子（如Drastic t-norm在某些情况下）
  2. 连续性要求: 对∗要求连续性，对△要求左连续或边界连续，限制了适用范围
  3. 未涉及Lu: 论文提到将来研究(Lu,⊑)上t-norms的刻画，说明对上半连续情况尚未完全解决
  4. 计算复杂度: 虽然∧△有简化公式，但一般卷积∗△的计算仍可能复杂
  5. 实际应用验证: 缺乏在具体T2 RFS中的应用验证和性能比较

未来方向

  1. Lu上的刻画: 研究正规、凸、上半连续函数集(Lu,⊑)上t-norms的充要条件
  2. 放松连续性: 探索是否可以放松对∗和△的连续性要求
  3. 计算优化: 进一步优化一般卷积的计算算法
  4. 应用研究: 在具体的T2 RFS中测试不同t-norms的性能
  5. 其他算子: 研究uninorms、copulas等其他聚合算子在(L,⊑)上的刻画

深度评价

优点

  1. 理论严谨性:
    • 证明完整，逻辑严密
    • 充分性和必要性双向证明
    • 引理和定理层次清晰
  2. 问题解决的完备性:
    • 完全解决了Hernández等人留下的开放问题
    • 提供了充要条件而非仅充分条件
    • 覆盖了t-norms和t-conorms
  3. 技术创新:
    • 引入≼关系和↑、↓算子，提供了新的分析工具
    • f⁺的定义巧妙地刻画了函数的单调性区域
    • 构造性证明展示了高超的技巧
  4. 实用价值:
    • 命题4.21的显式公式显著降低计算复杂度
    • 推论4.20提供了易于验证的充分条件
    • 为T2 RFS设计者提供了理论指导
  5. 写作质量:
    • 结构清晰，从预备知识到主要结果层层递进
    • 定义和记号使用一致
    • 关键证明思路解释清楚

不足

  1. 可读性:
    • 对非专业读者门槛较高
    • 部分证明（如命题3.11）技术性强，直觉解释不足
    • 缺少图示辅助理解
  2. 假设的限制性:
    • 满射假设排除了一些重要算子
    • 连续性要求可能过强
    • 未讨论假设的必要性
  3. 应用导向不足:
    • 缺乏具体应用场景的案例分析
    • 未与现有T2 RFS实现进行比较
    • 没有计算复杂度的定量分析
  4. 完备性:
    • Lu上的问题留待未来工作
    • 未讨论n元卷积（n>2）的情况
    • 对非正规或非凸函数的推广未涉及
  5. 实验验证:
    • 作为纯理论论文，缺少数值实验或应用验证
    • 未提供代码实现

影响力

  1. 理论贡献:
    • 完全解决了一个重要的开放问题
    • 为模糊集理论提供了新的分析工具
    • 可能成为该领域的经典引用文献
  2. 实用价值:
    • 为T2 RFS设计提供理论基础
    • 简化的计算公式有助于实际应用
    • 扩展了可用t-norms的范围
  3. 可复现性:
    • 所有定理都有完整证明
    • 结果可以被独立验证
    • 构造方法明确
  4. 后续研究:
    • 为Lu上的研究指明方向
    • 可推广到其他偏序集
    • 启发聚合算子的研究

适用场景

  1. 理论研究:
    • 模糊逻辑理论研究
    • 格论和序理论
    • 聚合算子理论
  2. 系统设计:
    • Type-2模糊推理系统设计
    • 不确定性推理系统
    • 决策支持系统
  3. 应用领域:
    • 工业过程控制（如Mamdani控制器）
    • 复杂系统分析
    • 模式识别和分类
    • 信息融合
  4. 教学:
    • 模糊集理论高级课程
    • 数理逻辑课程
    • 格论课程

参考文献（关键文献）

  1. Zadeh (1965, 1975): 模糊集和Type-2模糊集的奠基性工作
  2. Schweizer & Sklar (2011): T-norms的经典专著
  3. Harding, Walker & Walker (2008, 2010): 凸正规函数格的重要性质
  4. Hernández et al. (2014): 本文直接改进的前期工作
  5. Zhang & Hu (2025): α-截集的最新结果
  6. Alsina, Frank & Schweizer (2006): 关联函数理论

总体评价: 这是一篇高质量的理论数学论文，完全解决了Type-2模糊集理论中的一个重要开放问题。理论严谨，证明完整，具有重要的理论价值和潜在的实用价值。主要不足在于缺乏应用验证和直观解释，但这对于理论论文是可以接受的。建议后续工作结合具体应用场景进行验证，并探索假设条件的进一步放松。