[논문 리뷰] The Lattice of Fuzzy Intervals and Sufficient Conditions for its Distributivity

Athanasios Kehagias|arXiv (Cornell University)|2002. 06. 17.

Fuzzy Logic and Control Systems참고 문헌 15인용 수 4

한 줄 요약

이 논문은 완전 격자 (X, ⊑)에서 p-컷이 닫힌 구간인 퍼지 집합으로서의 퍼지 간격을 도입하며, 이러한 퍼지 간격의 집합이 완전 격자임을 증명한다. 주요 기여는 (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.

연구 동기 및 목표

• 기준 격자 (X, ⊑)에서 p-컷이 닫힌 구간인 퍼지 집합으로서의 퍼지 간격을 형식화하기 위해.
• 완전 격자 (X, ⊑) 위의 모든 퍼지 간격의 집합이 완전 격자를 이룬다는 것을 확립하기 위해.
• 특히 (X, ⊑)의 완전 분배 가능성이라는 조건이 퍼지 간격의 격자가 분배 가능해지기 위한 충분조건임을 규명하기 위해.
• 실수 간격 기반의 고전적 퍼지 간격 이론을 임의의 완전 격자로 일반화하기 위해.
• 퍼지 간격의 볼록성 및 퍼지 대수적 구조의 향후 연구를 지원하는 격자 이론적 기반을 제공하기 위해.

제안 방법

• 각 p-컷 M_p가 (X, ⊑)에서의 닫힌 구간이 되는 함수 M: X → [0,1]로 퍼지 간격을 정의한다.
• p-컷과 그 성질(단조성, 교차 보존성)을 이용하여 퍼지 간격과 그 격자 연산을 특성화한다.
• 점별 최대·최소 연산에 대해 닫혀 있는 점유 집합 ˜I가 완전 격자를 이룬다는 것을 증명한다.
• 퍼지 간격의 합 연산 ⊗.∨를 p-컷의 교차로 정의한다: (M ⊗.∨ N)_p = M_p ∪̇ N_p, 즉 M_p와 N_p를 모두 포함하는 가장 작은 닫힌 구간.
• p-컷의 등식과 격자 항등식을 사용하여, (X, ⊑)가 완전 분배 가능할 경우 격자 (˜I, ≤, ⊗.∨, ∧)가 분배 가능하다는 것을 보인다.
• 표현 정리(정리 2.7)를 활용하여 p-컷과 퍼지 집합 간의 이중성을 이용해 구간 가족으로부터 퍼지 집합을 재구성한다.

실험 결과

연구 질문

• 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, ⊑)의 완전 분배 가능성에 의해 결정되며, 이는 초월 및 최소화 항등식이 구간 연산에서 성립함을 보장한다.
• 결과는 실수 간격 기반의 고전적 퍼지 간격 이론을 임의의 완전 격자로 일반화한다.