[논문 리뷰] Lattice-valued Overlap and Quasi-Overlap Functions

Rui Paiva, Eduardo S. Palmeira외 2명|arXiv (Cornell University)|2019. 01. 31.

Multi-Criteria Decision Making참고 문헌 17인용 수 7

한 줄 요약

이 논문은 [0,1]에서의 오버랩 함수의 일반화로서, 연속성 조건을 제거한 새로운 개념인 준오버랩( quasi-overlap )을 통해 격자값 오버랩 함수를 제안한다. 이는 동차성, 이행성, 등급성, 취소성 등의 주요 성질을 확립하고, 유계 격자에서 아르키메데스적 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-노름과 결합할 경우 더 강력한 구조적 분석을 가능하게 한다.
• 결과적으로, 준오버랩에서 취소성 성질은 자동으로 성립하지 않으며, 합 연산에 대한 분배법칙과 같은 추가적인 대수적 제약 조건이 필요하다.