[論文レビュー] Ultrametric and Generalized Ultrametric in Computational Logic and in Data Analysis

Fionn Murtagh|arXiv (Cornell University)|Aug 20, 2010

Rough Sets and Fuzzy Logic参考文献 26被引用数 4

ひとこと要約

本稿は、計算論理学およびデータ解析に、超距離および一般化超距離構造を統合する統一フレームワークを提案し、線形時間アルゴリズムを用いた効率的な階層的クラスタリングを可能にする。メトリック、超距離、一般化超距離空間がデータにおける幾何的・位相的推論を支える仕組みであることが示され、論理プログラミング、近似鎖、ラティスに基づく類似度表現を用いた形式的概念分析への応用が行われる。

ABSTRACT

Following a review of metric, ultrametric and generalized ultrametric, we review their application in data analysis. We show how they allow us to explore both geometry and topology of information, starting with measured data. Some themes are then developed based on the use of metric, ultrametric and generalized ultrametric in logic. In particular we study approximation chains in an ultrametric or generalized ultrametric context. Our aim in this work is to extend the scope of data analysis by facilitating reasoning based on the data analysis; and to show how quantitative and qualitative data analysis can be incorporated into logic programming.

研究の動機と目的

• 情報の幾何学的・位相的性質をモデル化するため、メトリック、超距離、一般化超距離フレームワークを統合してデータ解析を拡張すること。
• 超距離および一般化超距離埋め込みを用いて、階層的構造の線形時間計算を可能にする。
• 計算可能な実数と球的完備系における不動点収束を介して、定量的データ解析と定性的な論理プログラミングを橋渡しすること。
• 形式的概念分析におけるラティスに基づく類似度表現の有効性を、階層的クラスタリングの文脈で示すこと。
• 超距離および一般化超距離空間における近似鎖における対称性および帰納的極限構造を調査すること。

提案手法

• ペアワイズ類似度を入力とし、分散の変化を最小化する凝集基準を用いて階層的クラスタ構造にマッピングする。
• 階層から超距離を構築する際、ネストされたクラスタに増加する値を割り当てる凝集レベル関数 ν を定義する。
• 超距離 D(q, q') = ν(q'') を定義し、ここで q'' は階層内のクラスタ q と q' の最も低い共通祖先である。
• 一般化超距離を適用する際、対象のペアを結合半順序集合（例えば属性のべき集合）の要素にマッピングし、ラティスに基づく類似度表現を可能にする。
• 属性ごとの類似度を計算するために単純一致係数を用い、結果を部分集合の基数による順序付けられたラティスノードにマッピングする。
• 球的完備性と拡張的自己同型を用いて、一般化超距離系における不動点への収束をモデル化する。

実験結果

リサーチクエスチョン

• RQ1 超距離および一般化超距離構造を、データ解析における情報の幾何学的・位相的性質のモデル化にどのように応用できるか。
• RQ2 従来のメトリックベースのアプローチと比較して、一般化超距離に基づくクラスタリングにどのような計算上の利点があるか。
• RQ3 形式的概念分析におけるラティス順序構造を用いて、属性に基づく類似度に基づく階層的クラスタリングをどのように形式化できるか。
• RQ4 超距離空間における近似鎖が、論理的推論および不動点計算をどのように支援するか。
• RQ5 球的完備系および拡張的自己同型を用いることで、一般化超距離フレームワークにおける収束をどのように実現できるか。

主な発見

• 一般化超距離に基づくクラスタリングは、標準的なメトリックベースの階層的クラスタリングの O(n²) と対照的に、線形時間 O(n) の計算複雑性を達成する。
• 階層（デンドログラム）と超距離空間の間には全単射が存在し、クラスタリング結果をメトリック構造に変換可能である。
• 形式的概念分析におけるラティスに基づく類似度表現により、共有される属性部分集合によって定義されるクラスタを用いた階層的クラスタリングが可能になる。
• 属性ベースの類似度マッピングに単純一致係数を用いることで、ペアワイズ対象関係の結合半順序集合表現が構築可能である。
• 球的完備系と拡張的自己同型は、一般化超距離系における不動点への収束を形式的に記述する枠組みを提供する。
• 超距離構造を論理に統合することで、収縮する有理数区間による計算可能な実数表現を通じて、近似鎖による推論と不動点計算が可能になる。