[논문 리뷰] Valuations and Metrics on Partially Ordered Sets

Chris Orum, Cliff Joslyn|ArXiv.org|2009. 03. 16.

Rough Sets and Fuzzy Logic참고 문헌 8인용 수 9

한 줄 요약

이 논문은 부분순서집합(posets) 위의 평가 이론을 확장하여 등호성과 반등호성 상위 및 하위 평가를 도입하고, 이러한 평가의 로그 변환과정이 평가 성질을 유지하는 조건을 조사한다. 주요 결과는 양의 상위 평가의 로그는 여전히 상위 평가이지만, 하위 평가의 로그는 반드시 하위 평가 성질을 유지하지는 않는다는 것이다. 이는 계산어학 및 생물학 분야의 유사도 측정법에 영향을 미친다.

ABSTRACT

We extend the definitions of upper and lower valuations on partially ordered sets, and consider the metrics they induce, in particular the metrics available (or not) based on the logarithms of such valuations. Motivating applications in computational linguistics and computational biology are indicated.

연구 동기 및 목표

• 부분순서집합 위의 상위 및 하위 평가 정의를 등호성 사상까지 확장하여 평가 이론의 대칭성을 향상시키는 것.
• 양의 평가의 로그가 상위 또는 하위 평가 성질을 유지하는지 조사하여 정보량 및 유사도 측정법의 핵심 문제를 해결하는 것.
• 정보량 기반의 유사도 측정법의 거리 성질을 명확히 하며, 특히 Jiang-Conrath 거리 공식을 다루는 것.
• 로그 변환된 평가의 조합이 유효한 상위 또는 하위 평가를 생성할 수 있는 조건을 제공하여 거리 측정법 구축에 활용하는 것.
• Jiang-Conrath 거리 공식이 일반적인 부분순서집합에서 거리로 정의되지 않음을 입증하고, 트리일 경우에만 유효한 거리로 정의됨을 보여주는 것.

제안 방법

• 부분순서집합 위에 등호성 및 반등호성 상위 및 하위 평가를 도입하여 이전 정의를 단조성 방향을 모두 포함하도록 일반화하는 것.
• 주 이상 이상 또는 이상 필터의 교차에 대한 하한 및 상한을 기반으로 핵심 함수 $ v^{-}(x,y) $ 및 $ v^{+}(x,y) $ 를 정의하는 것.
• 상위 및 하위 평가를 위한 핵심 부등식 조건을 수립: 상위 평가의 경우 $ v^{-}(x,y) + v^{+}(x,y) \leq v(x) + v(y) $, 하위 평가의 경우 $ v(x) + v(y) \leq v^{-}(x,y) + v^{+}(x,y) $.
• 양의 상위 평가 $ u $ 에 대해 $ \ell(x) = \log u(x) $ 의 행동을 분석하고, 로그 부등식 변환을 통해 이것이 여전히 상위 평가임을 증명하는 것.
• 불리안 격자 $ M_2 $ 를 사용한 반례를 구성하여 하위 평가 $ v $ 에 대해 $ \log v(x) $ 가 반드시 하위 또는 상위 평가가 되지 않음을 보여주는 것.
• 상위 평가에 대해 $ L(x) = \log(K \cdot u(x) + A) $ 와 하위 평가에 대해 $ L'(x) = -\log(K \cdot v(x) + A) $ 를 적용하고, 평가 유형을 유지하는 조건을 설정하는 것.

실험 결과

연구 질문

• RQ1 부분순서집합 위의 양의 상위 평가의 로그가 언제 상위 평가로 남는가?
• RQ2 부분순서집합 위의 양의 하위 평가의 로그가 반드시 하위 또는 상위 평가로 이어지는가?
• RQ3 Jiang-Conrath 거리 공식 $ \text{dist}_{JC}(x,y) = \mathcal{I}(x) + \mathcal{I}(y) - 2\mathcal{I}^{+}(x,y) $ 는 일반적인 부분순서집합에서 유효한 거리인가?
• RQ4 부분순서집합이 어떤 구조적 조건을 만족해야 Jiang-Conrath 공식이 거리로 정의되는가?
• RQ5 로그 변환과 거리 측정법 구축의 맥락에서 등호성 및 반등호성 평가 간의 관계는 어떠한가?

주요 결과

• strikely 양의 등호성 또는 반등호성 상위 평가의 로그는 여전히 상위 평가이므로 평가 구조를 유지한다.
• strikely 양의 등호성 하위 평가의 로그는 반드시 하위 또는 상위 평가가 되지 않으며, 불리안 격자 $ M_2 $ 에서의 반례로 이를 입증하였다.
• 상위 평가 $ u $ 에 대해 $ K > 0 $ 이고 $ A > -\min_{x} K \cdot u(x) $ 를 만족할 경우, 변환 $ L(x) = \log(K \cdot u(x) + A) $ 는 상위 평가를 생성한다.
• 하위 평가 $ v $ 에 대해 $ K < 0 $ 이고 $ A > \max_{x} |K| \cdot v(x) $ 를 만족할 경우, 변환 $ L'(x) = -\log(K \cdot v(x) + A) $ 는 하위 평가를 생성한다.
• Jiang-Conrath 거리 공식은 일반적인 부분순서집합에서 거리로 정의되지 않으며, 삼각 부등식 위반 가능성이 있다.
• Jiang-Conrath 거리 공식은 부분순서집합이 트리일 경우에만 유효한 거리로 정의되며, 이는 거리 성립을 위한 충분조건이다.