[論文レビュー] DimDraw -- A novel tool for drawing concept lattices

Dominik Dürrschnabel, Tom Hanika+1 more|arXiv (Cornell University)|Mar 2, 2019

Rough Sets and Fuzzy Logic参考文献 5被引用数 1

ひとこと要約

DimDraw は、ラティスの順序次元を活用することで、人間が読みやすい概念ラティス図の自動生成を実現する新規ツールである。このツールは、フェルラース関係から導かれる線形順序の最小実現器を計算し、概念を多次元空間に埋め込み、それを平面に投影することで、特に 3D S3 や対名詞的スケールのような複雑なラティスにおいて、熟練者が手で描いたものに非常に近い図を生成する。

ABSTRACT

Concept lattice drawings are an important tool to visualize complex relations in data in a simple manner to human readers. Many attempts were made to transfer classical graph drawing approaches to order diagrams. Although those methods are satisfying for some lattices they unfortunately perform poorly in general. In this work we present a novel tool to draw concept lattices that is purely motivated by the order structure.

研究の動機と目的

• 手作業で描かれた図の品質に匹敵する、読みやすい自動生成された概念ラティス図の作成という課題に取り組む。
• 既存のグラフ描画ツールが順序構造の処理が不十分であるため、複雑なラティスに対しては性能が劣るという制限を克服する。
• 概念ラティスの内在的な順序次元を活用することで、視覚的な明瞭性と構造の保存を向上させる手法を開発する。
• 任意の順序付き集合に一般化可能であり、同時に形式的概念分析に特化したツールを提供する。

提案手法

• ラティスの順序関係の最小実現器を計算する。具体的には、クロステーブルの空欄セルをフェルラース関係の最小数で埋める。
• 順序次元の代理としてフェルラース次元を用い、線形順序の効率的計算を可能にする。
• 実現器の各線形順序における各概念のランクに基づき、d次元座標（d は順序次元）を各概念に割り当てる。
• これらの座標を用いて ℝ^d にラティスを埋め込み、成分ごとの順序によって部分概念関係を保証する。
• ℝ^d から ℝ² への洗練された射影を適用して、読みやすい 2D 線図を生成する。射影手法の詳細は今後の研究で提示する。
• 加法的でない、構造に基づいたアプローチを採用し、バランスの取れたレイアウト、交差の最小化、傾きの最適化を通じて可読性を優先する。

実験結果

リサーチクエスチョン

• RQ1 ラティス図作成ツールは、順序の構造的性質のみを用いて、熟練者が手で描いた図と同等の視覚的品質を達成できるか？
• RQ2 概念ラティスの順序次元を効果的に活用することで、階層的関係を保存する座標系を生成できるか？
• RQ3 フェルラース関係を用いて、効率的かつ正確なラティス埋め込みのための最小実現器を計算できるか？
• RQ4 高次元埋め込みから 2D への射影によって、元のラティス構造の可読性と美しさを保持できるか？

主な発見

• DimDraw は、3次元 S3 ラティスのような複雑なラティスに対しても、熟練者が手で描いたものに非常に近い視覚的品質の概念ラティス図を成功裏に生成した。
• ツールはフェルラース次元を用いて最小実現器を計算し、線形順序に基づく効率的で正確な座標割り当てを可能にした。
• n 要素の対名詞的スケールに対しては順序次元が n であり、DimDraw は正しく対応する n 次元埋め込みを生成した。
• 得られた 2D 射影は視覚的ごちゃごちゃを最小限に抑え、階層的構造を保持しており、加法的図法に比べて手描き基準に近い忠実度を示した。
• この手法は概念ラティスに限らず、既知の順序次元を持つ任意の有限半順序集合へ一般化可能である。
• conexp-clj に統合されていることから、実用的導入と広範な形式的概念分析分野への継続的展開が示されている。