粒度コンピューティングは、 情報処理 における新たなコンピューティング パラダイムであり、「情報グラニュール 」と呼ばれる複雑な情報エンティティの処理に関係します。情報グラニュールは、データの抽象化や情報またはデータからの知識導出のプロセスで発生します。一般的に、情報グラニュールとは、通常は数値レベルで発生し、 類似性 、機能的または物理的な隣接性、区別不能性、一貫性などにより一緒に配置されるエンティティの集合です。
現時点では、粒度コンピューティングは、一貫した手法や原則の集合というよりも、むしろ理論的な視点 です。理論的視点として、粒度コンピューティングは、様々な解像度やスケールのデータに存在する知識を認識し、活用するデータへのアプローチを推奨します。この意味で、粒度コンピューティングは、知識や情報を抽出し、表現する解像度において柔軟性と適応性を提供するあらゆる手法を包含します。
造粒の種類 サイクロンの衛星画像。 マンハッタンの衛星画像。 前述のように、粒度コンピューティングは アルゴリズムやプロセスではなく、「粒度コンピューティング」と呼ばれる特定の手法も存在しません。粒度レベルの違いによって、データ内の様々な興味深い規則性がどのように現れるかを認識するデータ解析手法です。これは、解像度の異なる衛星画像 で異なる特徴が際立つのと同様です。例えば、低解像度の衛星画像では、サイクロンなどの大規模な気象現象を表す興味深い雲模様に気づくかもしれません。一方、高解像度の画像では、これらの大規模な気象現象は見逃され、代わりに マンハッタン の街路の興味深い模様のような、より小規模な現象に気づくでしょう。これは一般的にすべてのデータに当てはまります。解像度や粒度が異なると、異なる特徴や関係性が浮かび上がります。粒度コンピューティングの目的は、この事実を利用して、より効果的な機械学習および推論システムを設計することです。
データマイニング や機械学習 でよく遭遇する粒度にはいくつかの種類があり、以下でそれらについて説明します。
値の粒度化(離散化/量子化)粒度分布の1つのタイプは、変数の量子化 です。データマイニングや機械学習アプリケーションでは、意味のある規則性を抽出するために変数の解像度を下げる 必要があることは非常に一般的です。例えば、「外気温」(temp )のような変数は、特定のアプリケーションでは(センサー装置に応じて)小数点以下数桁の 精度 で記録される場合があります。しかし、「外気温」と、例えば「ヘルスクラブの申込数」(club )との関係を抽出する目的では、「外気温」をより少ない間隔に量子化する方が一般的に有利です。
動機 このように変数を細分化する理由はいくつかあり、それらは相互に関連しています。
事前のドメイン知識 に基づくと、温度の微細な変化(例えば、80~80.7 °F(26.7~27.1 °C)の差)が、ヘルスクラブの申込回数に影響を与える行動に影響を及ぼすことは予想されません。このため、学習アルゴリズムがこの解像度レベルで検出する可能性のある「規則性」は、過剰適合の産物である偽物 である必要があります。温度変数を、(事前のドメイン知識に基づいて)ヘルスクラブの申込回数に影響を与えると予想される差の間隔に粗くすることで、これらの偽のパターンを検出する可能性を排除します。したがって、この場合、解像度を下げることは 過剰適合 を制御する方法です。温度変数の区間数を減らす(つまり、粒度を 大きくする)ことで、各区間指定でインデックス付けされたサンプルデータの量が増加します。このように、変数を粗くすることでサンプルサイズが増加し、より正確な統計的推定が可能になります。この意味で、粒度を大きくすることは、次元数または変数のカーディナリティの増加に伴う統計的検出力の指数関数的低下に関連する、いわゆる「次元の呪い」 に対する解毒剤となります。 事前のドメイン知識とは無関係に、意味のある規則性(つまり、特定の学習方法、表現言語などによって検出できるもの)が、ある解像度レベルでは存在し、別の解像度レベルでは存在しないことがよくあります。 値の粒度分布の利点: ここでの含意は、特にのより高い解像度では存在しないもののの解像度で存在するが、同時に、{ X 私 、 はい j } {\displaystyle \{X_{i},Y_{j}\}} { × 私 、 y j } ; {\displaystyle \{x_{i},y_{j}\};} た × 私 、 y j : × 私 ↛ y j 、 {\displaystyle \forall x_{i},y_{j}:x_{i}\not \to y_{j},} た X 私 ∃ はい j : X 私 ↔ はい j 。 {\displaystyle \forall X_{i}\exists Y_{j}:X_{i}\leftrightarrow Y_{j}.} 例えば、単純な学習器やパターン認識システムは、条件付き確率 閾値を満たす規則性を抽出しようとする場合があります。この特別なケースでは、この認識システムは本質的に、形式の論理的含意 、つまり「もし~ならば~」を検出しています。 このような含意(あるいは一般的には、閾値を超える条件付き確率)を認識するシステムの能力は、システムが変数を分析する解像度に部分的に依存します。 p ( はい = y j | X = × 私 ) ≥ α 。 {\displaystyle p(Y=y_{j}|X=x_{i})\geq \alpha .} α = 1 、 {\displaystyle \alpha =1,} X = × 私 → はい = y j {\displaystyle X=x_{i}\rightarrow Y=y_{j}} X = × 私 、 {\displaystyle X=x_{i},} はい = y j {\displaystyle Y=y_{j}}
この最後の点の例として、右に示す特徴空間を考えてみましょう。 変数はそれぞれ 2 つの異なる解像度で考えることができます。 変数は、の 4 つの値をとる高 (4 値) 解像度、または の 2 つの値をとる低 (2 値) 解像度で考えることができます 。 同様に、 変数は、 またはの値をそれぞれと取る高 (4 値) 解像度、または低 (2 値) 解像度で考えることができます。 高解像度では、すべての が1 つ以上と関連付けられており、したがってすべて についてとなるため、の形式の検出可能な含意はありません 。しかし、低 (2 値) 変数解像度では、 および の 2 つの双方向含意が検出可能になります。 これは、すべての が の場合に限り 発生し、の場合に限り 発生するためです。 したがって、この種の含意をスキャンするパターン認識システムは、2 値変数解像度では含意を見つけますが、高次の 4 値変数解像度では見つけることができません。 X {\displaystyle X} { × 1 、 × 2 、 × 3 、 × 4 } {\displaystyle \{x_{1},x_{2},x_{3},x_{4}\}} { X 1 、 X 2 } 。 {\displaystyle \{X_{1},X_{2}\}.} はい {\displaystyle Y} { y 1 、 y 2 、 y 3 、 y 4 } {\displaystyle \{y_{1},y_{2},y_{3},y_{4}\}} { はい 1 、 はい 2 } 、 {\displaystyle \{Y_{1},Y_{2}\},} X = × 私 → はい = y j 、 {\displaystyle X=x_{i}\rightarrow Y=y_{j},} × 私 {\displaystyle x_{i}} y j 、 {\displaystyle y_{j},} × 私 、 {\displaystyle x_{i},} p ( はい = y j | X = × 私 ) < 1. {\displaystyle p(Y=y_{j}|X=x_{i})<1.} X = X 1 ↔ はい = はい 1 {\displaystyle X=X_{1}\leftrightarrow Y=Y_{1}} X = X 2 ↔ はい = はい 2 {\displaystyle X=X_{2}\leftrightarrow Y=Y_{2}} X 1 {\displaystyle X_{1}} はい 1 {\displaystyle Y_{1}} X 2 {\displaystyle X_{2}} はい 2 。 {\displaystyle Y_{2}.}
問題と方法 どの組み合わせの解像度が興味深い、あるいは有意な結果をもたらすかを判断するために、すべての変数に対してあらゆる離散化解像度を網羅的にテストすることは現実的ではありません。その代わりに、特徴空間を前処理(多くの場合、何らかのエントロピー 分析によって)し、離散化プロセスをどのように進めるべきかについての何らかの指針を与える必要があります。さらに、各変数を個別に単純に分析・離散化しても、一般的に良好な結果は得られません。なぜなら、発見したいと思っていた相互作用そのものが失われてしまう可能性があるからです。
変数の離散化全般、特に多変数の離散化の問題を扱った論文の例は次のとおりです:Chiu、Wong & Cheung (1991) 、Bay (2001) 、 Liu et al. (2002) 、Wang & Liu (1998) 、Zighed、Rabaséda & Rakotomalala (1998) 、Catlett (1991) 、Dougherty、Kohavi & Sahami (1995) 、Monti & Cooper (1999) 、Fayyad & Irani (1993) 、Chiu、Cheung & Wong (1990) 、Nguyen & Nguyen (1998) 、Grzymala-Busse & Stefanowski (2001) 、Ting (1994) 、Ludl & Widmer (2000) 、Pfahringer (1995) 、An & Cercone (1999) 、 Chiu & Cheung (1989) 、Chmielewski &グジマラ・ブッセ (1996) 、Lee & Shin (1994) 、Liu & Wellman (2002) 、Liu & Wellman (2004) 。
可変粒度化とは、様々な手法を指す用語であり、その多くは次元数、冗長性、そしてストレージ要件の削減を目的としています。ここでは、いくつかのアイデアを簡単に説明し、参考文献を紹介します。
主成分分析 、多次元尺度法 、因子分析 、構造方程式モデリング などの古典的な手法や、それらの類似手法の多くは、「変数変換」の属に分類されます。また、次元削減 、射影追跡 、独立成分分析 などのより現代的な研究分野もこのカテゴリに含まれます。これらの手法の一般的な共通の目標は、新しい変数によるデータの表現を見つけることです。新しい変数は元の変数の線形または非線形変換であり、重要な統計的関係が出現します。結果として得られる変数セットはほとんどの場合、元の変数セットよりも小さくなるため、これらの手法は特徴空間に粒度分布を課すと大まかに言えます。これらの次元削減手法はすべて、Duda、Hart、Stork(2001) 、Witten、Frank(2005) 、Hastie、Tibshirani、Friedman(2001) などの標準的なテキストでレビューされています。
変数の集約 変数粒度分布の異なるクラスは、上記の方法の基礎となっている線形システム理論よりも、データクラスタリングの 手法に由来することが多い。関連する変数の「クラスタリング」は、関連するデータのクラスタリングと全く同じ方法で考えられることが、かなり早い段階で指摘されていた。データクラスタリングでは、類似したエンティティのグループを特定し(ドメインに適した「類似度の尺度」を用いて — Martino, Giuliani & Rizzi (2018) )、その後、ある意味でそれらのエンティティを何らかのプロトタイプに置き換える 。プロトタイプは、特定されたクラスター内のデータの単純平均、あるいは他の代表的な尺度となる可能性がある。しかし、重要な考え方は、後続の操作において、データクラスターの単一のプロトタイプ(そしておそらくプロトタイプからどのように標本が導出されるかを記述した統計モデル)を使用して、はるかに大規模な標本集合の代わりに使用できる可能性があるという点である。 これらのプロトタイプは、一般的に、エンティティに関する関心のある情報のほとんどを捉えるようなものである。
渡辺-クラスコフ変数凝集木。変数は下から上へと凝集(または「ユニット化」)され、各マージノードは、凝集する変数の結合エントロピーに等しいエントロピーを持つ(構築された)変数を表す。したがって、個別のエントロピーを持つ2つのm 元変数を凝集すると、エントロピーを持つ単一のm 2 元変数が得られる。これらの変数が高度に依存性(つまり冗長性)を持ち、相互情報量が大きい場合、 となり、これは簡素なユニット化または集約と見なされる。X 1 、 X 2 {\displaystyle X_{1},X_{2}} H ( X 1 ) 、 H ( X 2 ) {\displaystyle H(X_{1}),H(X_{2})} X 1 、 2 {\displaystyle X_{1,2}} H ( X 1 、 2 ) = H ( X 1 、 X 2 ) 。 {\displaystyle H(X_{1,2})=H(X_{1},X_{2}).} X 1 、 X 2 {\displaystyle X_{1},X_{2}} 私 ( X 1 ; X 2 ) 、 {\displaystyle I(X_{1};X_{2}),} H ( X 1 、 2 ) ≪ H ( X 1 ) + H ( X 2 ) {\displaystyle H(X_{1,2})\ll H(X_{1})+H(X_{2})} H ( X 1 、 X 2 ) = H ( X 1 ) + H ( X 2 ) − 私 ( X 1 ; X 2 ) 、 {\displaystyle H(X_{1},X_{2})=H(X_{1})+H(X_{2})-I(X_{1};X_{2}),} 同様に、大規模な変数集合を、変数間の最も顕著な関係を捉える、より小規模なプロトタイプ変数集合に集約できるかどうかを問うことは理にかなっています。 線形相関 に基づく変数クラスタリング手法が提案されていますが(Duda, Hart & Stork 2001 ; Rencher 2002 )、より強力な変数クラスタリング手法は、変数間の 相互情報 量に基づいています。渡辺は(Watanabe 1960 ; Watanabe 1969 )、任意の変数集合に対して、一連の変数の集塊を表す 多項式 (すなわちn項)ツリーを構築できることを示しました。このツリーでは、完全な変数集合間の最終的な「全体的」相関は、集塊を形成する各サブセットが示す「部分的」相関の合計となります(図参照)。渡辺は、観察者がこのようにしてシステムを分割し、各部分間の相互依存性を最小化しようとするかもしれないと示唆しています。「まるで自然な分割や隠れた亀裂を探しているかのように」
このようなツリーを構築するための実用的なアプローチの一つは、最も高い相互情報量を持つ2つの変数(原子変数または既に凝集済みの変数)を順に凝集対象として選択することである(Kraskov et al. 2003 )。各凝集の積は、2つの凝集変数の局所的な 結合分布 を反映する新しい(構築された)変数であり、したがって、そのエントロピーはそれらの結合エントロピー に等しい。 (手順の観点から、この凝集ステップでは、属性値テーブル内の 2 つの列 (2 つの凝集変数を表す) を、置き換えられた列の値のすべての一意の組み合わせに対して一意の値を持つ 1 つの列に置き換えます ( Kraskov ら、2003 年 )。このような操作によって情報が失われることはありません。ただし、変数間の関係についてデータを調査している場合、通常は冗長な変数をこの方法で結合することは望ましくありません 。このようなコンテキストでは、変数間の冗長性または依存関係 が重要である可能性が高いためです。冗長な変数を結合すると、それらの相互関係を調査できなくなります。
システムの粒度分布(集約)データベースシステム における集計(OLAP集計 やビジネスインテリジェンス システムなど)は、元のデータテーブル(多くの場合、情報システムと呼ばれる)を、行と列のセマンティクスが異なるテーブルに変換します。行は元のタプルのグループ(グラニュル)に対応し、列は各グループ内の元の値に関する集計情報を表します。このような集計は通常、SQLとその拡張に基づいています。結果として得られるグラニュルは通常、事前に選択された元の列において同じ値(または範囲)を持つ元のタプルのグループに対応します。
行の物理的な隣接関係などに基づいてグループを定義する他のアプローチもあります。例えば、Infobright は、データが64Kの物理的に連続した(またはほぼ連続した)行で構成される大まかな行に分割される データベースエンジン を実装しました。大まかな行には、データ列の値に関する簡潔な情報が自動的にラベル付けされ、複数の列や複数のテーブル間の関係が含まれることがよくあります。その結果、オブジェクトが大まかな行と属性(つまり大まかな情報のさまざまな側面)に対応する、より高次の粒度情報が生成されました。このような新しいフレームワークでは、元のデータ部分へのアクセスを引き続き利用しながら、データベース操作を効率的にサポートできます(Slezak et al. 2013 )。
概念の粒度化(成分分析)粒度計算の 思想の起源は、ラフ集合 とファジィ集合に関する 文献に見出すことができます。ラフ集合研究における重要な洞察の一つは(決してラフ集合研究に特有のものではありませんが)、一般的に、異なる特徴や変数の集合を選択することで、異なる概念の 粒度が得られるというものです。ここで「概念」とは、初等ラフ集合理論と同様に、観察者にとって区別がつか ない、あるいは識別できない 実体の集合(すなわち、単純概念)、あるいはそのような単純概念から構成される実体の集合(すなわち、複雑概念)を指します。言い換えれば、データセット(値属性システム )を異なる変数集合に投影することで、データ内の同値類「概念」の代替集合を認識し、これらの異なる概念集合は、一般的に異なる関係性や規則性の抽出に役立ちます。
同値類の粒度 例を挙げて説明します。以下の属性値システムを考えてみましょう。
サンプル情報システム 物体 P 1 {\displaystyle P_{1}} P 2 {\displaystyle P_{2}} P 3 {\displaystyle P_{3}} P 4 {\displaystyle P_{4}} P 5 {\displaystyle P_{5}} お 1 {\displaystyle O_{1}} 1 2 0 1 1 お 2 {\displaystyle O_{2}} 1 2 0 1 1 お 3 {\displaystyle O_{3}} 2 0 0 1 0 お 4 {\displaystyle O_{4}} 0 0 1 2 1 お 5 {\displaystyle O_{5}} 2 1 0 2 1 お 6 {\displaystyle O_{6}} 0 0 1 2 2 お 7 {\displaystyle O_{7}} 2 0 0 1 0 お 8 {\displaystyle O_{8}} 0 1 2 2 1 お 9 {\displaystyle O_{9}} 2 1 0 2 2 お 10 {\displaystyle O_{10}} 2 0 0 1 0
属性の完全なセットを考慮すると、次の 7 つの同値クラスまたはプリミティブ (単純) 概念があることがわかります。 P = { P 1 、 P 2 、 P 3 、 P 4 、 P 5 } {\displaystyle P=\{P_{1},P_{2},P_{3},P_{4},P_{5}\}}
{ { お 1 、 お 2 } { お 3 、 お 7 、 お 10 } { お 4 } { お 5 } { お 6 } { お 8 } { お 9 } {\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{7},O_{10}\}\\\{O_{4}\}\\\{O_{5}\}\\\{O_{6}\}\\\{O_{8}\}\\\{O_{9}\}\end{cases}}} したがって、最初の同値クラスに属する2つのオブジェクトは、利用可能な属性に基づいて互いに区別することができず、2番目の同値クラスに属する3つのオブジェクトも、利用可能な属性に基づいて互いに区別することはできません。残りの5つのオブジェクトは、それぞれ他のすべてのオブジェクトと識別可能です。ここで、属性値システムを属性のみに投影したものを想像してみましょう。これは、例えば、この単一の属性しか検出できない観察者からの視点を表します。すると、次のような、はるかに粗い同値クラス構造が得られます。 { お 1 、 お 2 } 、 {\displaystyle \{O_{1},O_{2}\},} { お 3 、 お 7 、 お 10 } 、 {\displaystyle \{O_{3},O_{7},O_{10}\},} P 1 {\displaystyle P_{1}}
{ { お 1 、 お 2 } { お 3 、 お 5 、 お 7 、 お 9 、 お 10 } { お 4 、 お 6 、 お 8 } {\displaystyle {\begin{ケース}\{O_{1},O_{2}\}\\\{O_{3},O_{5},O_{7},O_{9},O_{10}\}\\\{O_{4},O_{6},O_{8}\}\end{ケース}}} これはある意味では以前のものと同じ構造ですが、解像度が低い(粒度が大きい)という点が異なります。値の粒度化(離散化/量子化) の場合と同様に、ある粒度レベルでは他の粒度レベルでは見られない関係性(依存関係)が出現する可能性があります。この例として、概念の粒度化が属性依存関係( 相互情報量 のより単純な類似指標)に与える影響を考えてみましょう。
この依存性の概念を確立するために(ラフ集合 も参照)、特定の概念粒度を表すものとする。ここで、各粒度は属性集合Q によって誘導される概念構造からの同値類である。例えば、上記のように属性集合Qが 属性のみで構成されている場合、概念構造は以下で構成される。 [ × ] 質問 = { 質問 1 、 質問 2 、 質問 3 、 … 、 質問 北 } {\displaystyle [x]_{Q}=\{Q_{1},Q_{2},Q_{3},\dots ,Q_{N}\}} 質問 私 {\displaystyle Q_{i}} P 1 {\displaystyle P_{1}} [ × ] 質問 {\displaystyle [x]_{Q}}
質問 1 = { お 1 、 お 2 } 、 質問 2 = { お 3 、 お 5 、 お 7 、 お 9 、 お 10 } 、 質問 3 = { お 4 、 お 6 、 お 8 } 。 {\displaystyle {\begin{aligned}Q_{1}&=\{O_{1},O_{2}\},\\Q_{2}&=\{O_{3},O_{5},O_{7},O_{9},O_{10}\},\\Q_{3}&=\{O_{4},O_{6},O_{8}\}.\end{aligned}}} 属性集合Q の別の属性集合P への依存性 は次のように表される 。γ P ( 質問 ) 、 {\displaystyle \gamma _{P}(Q),}
γ P ( Q ) = | ∑ i = 1 N P _ Q i | | U | ≤ 1 {\displaystyle \gamma _{P}(Q)={\frac {\left|\sum _{i=1}^{N}{\underline {P}}Q_{i}\right|}{\left|\mathbb {U} \right|}}\leq 1} つまり、 の各同値クラスについて、その「下方近似値」(概略集合 を参照)のサイズをP の属性で合計します。つまり、 です。簡単に言うと、この近似値は、属性セットP 上でターゲットセットに属していると明確に識別できるオブジェクトの数です。 上記の分子のすべての同値クラスにわたって加算された値は、属性セットP に基づき、属性Q によって誘導される分類に従って確実に分類できるオブジェクトの合計数を表します。 したがって、依存比は、そのような分類可能なオブジェクトの割合(全体の中で)を表し、ある意味では、 2 つの概念構造と の「同期」を捉えています。依存は、「情報システム内で、 Pの属性の値を知っていれば Q の属性の値を判断できるようなオブジェクトの割合として解釈できます」(Ziarko & Shan 1995)。 Q i {\displaystyle Q_{i}} [ x ] Q , {\displaystyle [x]_{Q},} P _ Q i . {\displaystyle {\underline {P}}Q_{i}.} Q i . {\displaystyle Q_{i}.} [ x ] Q , {\displaystyle [x]_{Q},} [ x ] Q {\displaystyle [x]_{Q}} [ x ] P . {\displaystyle [x]_{P}.} γ P ( Q ) {\displaystyle \gamma _{P}(Q)}
定義を終えたので、概念の粒度(つまり属性の選択)の選択が、属性間の依存関係の検出に影響を与えるという単純な観察ができます。上記の属性値テーブルをもう一度考えてみましょう。
サンプル情報システム 物体 P 1 {\displaystyle P_{1}} P 2 {\displaystyle P_{2}} P 3 {\displaystyle P_{3}} P 4 {\displaystyle P_{4}} P 5 {\displaystyle P_{5}} O 1 {\displaystyle O_{1}} 1 2 0 1 1 O 2 {\displaystyle O_{2}} 1 2 0 1 1 O 3 {\displaystyle O_{3}} 2 0 0 1 0 O 4 {\displaystyle O_{4}} 0 0 1 2 1 O 5 {\displaystyle O_{5}} 2 1 0 2 1 O 6 {\displaystyle O_{6}} 0 0 1 2 2 O 7 {\displaystyle O_{7}} 2 0 0 1 0 O 8 {\displaystyle O_{8}} 0 1 2 2 1 O 9 {\displaystyle O_{9}} 2 1 0 2 2 O 10 {\displaystyle O_{10}} 2 0 0 1 0
属性セットの属性セットへの依存性を考慮してください。 つまり、の知識に基づいて、オブジェクトのどの程度の割合が のクラスに正しく分類できるかを知りたいのです。の同値クラスと の同値クラスを以下に示します。 Q = { P 4 , P 5 } {\displaystyle Q=\{P_{4},P_{5}\}} P = { P 2 , P 3 } . {\displaystyle P=\{P_{2},P_{3}\}.} [ x ] Q {\displaystyle [x]_{Q}} [ x ] P . {\displaystyle [x]_{P}.} [ x ] Q {\displaystyle [x]_{Q}} [ x ] P {\displaystyle [x]_{P}}
[ x ] Q {\displaystyle [x]_{Q}} [ x ] P {\displaystyle [x]_{P}} { { O 1 , O 2 } { O 3 , O 7 , O 10 } { O 4 , O 5 , O 8 } { O 6 , O 9 } {\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{7},O_{10}\}\\\{O_{4},O_{5},O_{8}\}\\\{O_{6},O_{9}\}\end{cases}}} { { O 1 , O 2 } { O 3 , O 7 , O 10 } { O 4 , O 6 } { O 5 , O 9 } { O 8 } {\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{7},O_{10}\}\\\{O_{4},O_{6}\}\\\{O_{5},O_{9}\}\\\{O_{8}\}\end{cases}}}
に基づく概念構造に従って明確に 分類できるオブジェクトはセット内のオブジェクトであり、これらは 6 つあるため、Qの P への依存性は、それ自体が興味深い依存性であると考えられるかもしれませんが、おそらく特定のデータ マイニング アプリケーションでは、より強い依存性のみが望まれます。 [ x ] Q {\displaystyle [x]_{Q}} [ x ] P {\displaystyle [x]_{P}} { O 1 , O 2 , O 3 , O 7 , O 8 , O 10 } , {\displaystyle \{O_{1},O_{2},O_{3},O_{7},O_{8},O_{10}\},} γ P ( Q ) = 6 / 10. {\displaystyle \gamma _{P}(Q)=6/10.}
次に、より小さな属性集合の属性集合への依存性について考えてみましょう 。からへ の移行は、後ほど説明するように、クラス構造の粗大化を引き起こします。ここで再び知りたいのは、の知識に基づいて、(今やより大きくなった)のクラスに正しく分類できるオブジェクトの割合です。新しいのとの同値類を以下に示します。 Q = { P 4 } {\displaystyle Q=\{P_{4}\}} P = { P 2 , P 3 } . {\displaystyle P=\{P_{2},P_{3}\}.} Q = { P 4 , P 5 } {\displaystyle Q=\{P_{4},P_{5}\}} Q = { P 4 } {\displaystyle Q=\{P_{4}\}} [ x ] Q , {\displaystyle [x]_{Q},} [ x ] Q {\displaystyle [x]_{Q}} [ x ] P . {\displaystyle [x]_{P}.} [ x ] Q {\displaystyle [x]_{Q}} [ x ] P {\displaystyle [x]_{P}}
[ x ] Q {\displaystyle [x]_{Q}} [ x ] P {\displaystyle [x]_{P}} { { O 1 , O 2 , O 3 , O 7 , O 10 } { O 4 , O 5 , O 6 , O 8 , O 9 } {\displaystyle {\begin{cases}\{O_{1},O_{2},O_{3},O_{7},O_{10}\}\\\{O_{4},O_{5},O_{6},O_{8},O_{9}\}\end{cases}}} { { O 1 , O 2 } { O 3 , O 7 , O 10 } { O 4 , O 6 } { O 5 , O 9 } { O 8 } {\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{7},O_{10}\}\\\{O_{4},O_{6}\}\\\{O_{5},O_{9}\}\\\{O_{8}\}\end{cases}}}
明らかに、は以前よりも粒度が粗くなっています。に基づく概念構造に従って明確に 分類できるオブジェクトは、完全なユニバース を構成し、したがってQの P への依存性 が構成されます。つまり、カテゴリセットに従ったメンバーシップの知識は、 カテゴリのメンバーシップを完全に確実に決定するのに十分です。この場合、 と言えるかもしれません。したがって、概念構造を粗くすることで、より強い(決定論的な)依存性を見つけることができました。ただし、この決定論的な依存性を得るために必要な解像度の低下から に誘導されるクラス自体が大きく、数が少ないことにも注意してください。その結果、発見した依存性は強いものの、 の高解像度のビューの下で以前に発見された弱い依存性ほど価値がない可能性があります。[ x ] Q {\displaystyle [x]_{Q}} [ x ] Q {\displaystyle [x]_{Q}} [ x ] P {\displaystyle [x]_{P}} { O 1 , O 2 , … , O 10 } {\displaystyle \{O_{1},O_{2},\ldots ,O_{10}\}} γ P ( Q ) = 1. {\displaystyle \gamma _{P}(Q)=1.} [ x ] P {\displaystyle [x]_{P}} [ x ] Q {\displaystyle [x]_{Q}} P → Q . {\displaystyle P\rightarrow Q.} [ x ] Q {\displaystyle [x]_{Q}} [ x ] Q . {\displaystyle [x]_{Q}.}
一般的に、すべての属性セットをテストして、どの誘導概念構造が最も強い依存関係を生み出すかを判断することは不可能であるため、この探索はある程度の知性に基づいて行う必要があります。この問題、および粒度のインテリジェントな利用に関するその他の問題を議論した論文としては、以下の#参考文献 に記載されているYY YaoとLotfi Zadeh による論文があります。
コンポーネントの顆粒化 概念粒度に関する別の視点は、カテゴリーのパラメトリックモデルに関する研究から得られるかもしれません。例えば、混合モデル学習では、データセットは異なる ガウス 分布(またはその他の分布)の混合として説明されます。したがって、大量のデータが少数の分布に「置き換えられる」ことになります。これらの分布の数とサイズの選択は、やはり概念粒度 の問題として捉えることができます。一般的に、分布またはパラメータの数が多いほどデータへの適合度は高くなりますが、意味のあるパターンを抽出するためには、分布の数を制限する必要があり、それによって概念解像度を意図的に 粗くする 必要があります。「適切な」概念解像度を見つけることは難しい問題であり、多くの手法(例えば、AIC 、BIC 、MDLなど)が提案されており、これらはしばしば「 モデル正則化 」という枠組みで考察されます。
粒度コンピューティングのさまざまな解釈 粒状コンピューティングは、問題解決 のプロセスにおいて情報の粒度を活用する理論、方法論、技術、ツールの枠組みとして捉えることができます。この意味で、粒状コンピューティングは、これまで様々な分野で個別に研究されてきたトピックを包括する包括的な用語として用いられています。これらの既存研究を粒状コンピューティングという統一的な枠組みに照らして検討し、共通点を抽出することで、問題解決のための一般理論を構築できる可能性があります。
より哲学的な意味で言えば、粒度コンピューティングとは、現実世界を様々な粒度(すなわち抽象化)で認識する人間の能力に依拠した思考方法であり、特定の関心事に役立つものだけを抽象化して考察し、異なる粒度間を切り替える能力を指します。異なる粒度レベルに焦点を当てることで、異なるレベルの知識を獲得し、固有の知識構造をより深く理解することができます。このように、粒度コンピューティングは人間の問題解決に不可欠であり、インテリジェントシステムの設計と実装に非常に大きな影響を与えます。
参照
参考文献 An, Aijun; Cercone, Nick (1999)「分類ルール学習のための連続属性の離散化」、Ning Zhong; Lizhu Zhou (編)、『知識発見とデータマイニングの方法論:第3回太平洋アジア会議議事録』PAKDD-99 、コンピュータサイエンス講義ノート、第1574巻、北京、中国 、pp. 509– 514、doi : 10.1007/3-540-48912-6_69 、ISBN 978-3-540-65866-5 {{citation }}: CS1 maint: location missing publisher (link ) 。Bargiela, A. および Pedrycz, W. (2003) 『Granular Computing. An Introduction 』 Kluwer Academic Publishers ベイ、スティーブン・D.(2001)、「セットマイニングのための多変量離散化」、知識と情報システム 、3 (4):491– 512、CiteSeerX 10.1.1.217.921 、doi :10.1007/PL00011680 、S2CID 10945544 。Catlett, J. (1991)、「連続属性を順序付き離散属性に変換することについて」 、Y. Kodratoff (編)、機械学習—EWSL-91: 学習に関する欧州ワーキングセッション 、ポルトガル、ポルト 、pp. 164– 178、ISBN 9780387538167 {{citation }}: CS1 maint: location missing publisher (link ) 。Chiu, David KY; Cheung, Benny (1989)「階層的最大エントロピー離散化」、Ryszard Janicki; Waldemar W. Koczkodaj (編)、『コンピューティングと情報:国際コンピューティングと情報会議 (ICCI '89) の議事録』 、トロント、オンタリオ州 、カナダ:North-Holland、pp. 237– 242 。Chiu, David KY; Cheung, Benny; Wong, Andrew KC (1990)「階層的最大エントロピー離散化に基づく情報合成」、Journal of Experimental and Theoretical Artificial Intelligence 、2 (2): 117– 129、doi : 10.1080/09528139008953718 。Chiu, David KY; Wong, Andrew KC; Cheung, Benny (1991)「階層的最大エントロピー離散化と合成による情報発見」、Gregory Piatetsky-Shapiro; William J. Frawley (編)『データベースにおける知識発見』 、ケンブリッジ、マサチューセッツ州 :MITプレス、pp. 126– 140 。Chmielewski, Michal R.; Grzymala-Busse, Jerzy W. (1996)、「機械学習の前処理としての連続属性のグローバル離散化」 (PDF) 、International Journal of approximate Reasoning 、15 (4):319– 331、doi :10.1016/s0888-613x(96)00074-6 。Dougherty, James; Kohavi, Ron; Sahami, Mehran (1995) 「連続特徴量の教師ありおよび教師なし離散化」 、Armand Prieditis; Stuart Russell (編)、『機械学習:第12回国際会議(ICML 1995)の議事録』 、カリフォルニア州タホシティ :Morgan Kaufmann、pp. 194– 202 。Duda, Richard O.; Hart, Peter E.; Stork, David G. (2001), Pattern Classification (第2版), New York City : John Wiley & Sons, ISBN 978-0-471-05669-0 Fayyad, Usama M.; Irani, Keki B. (1993)、「分類学習のための連続値属性の多重区間離散化」、第13回国際人工知能合同会議(IJCAI-93)の議事録 、フランス、シャンベリー 、pp. 1022– 1027 {{citation }}: CS1 maint: location missing publisher (link ) 。Grzymala-Busse, Jerzy W.; Stefanowski, Jerzy (2001)、「ルール誘導のための3つの離散化手法」、International Journal of Intelligent Systems 、16 (1): 29– 38、CiteSeerX 10.1.1.330.2975 、doi : 10.1002/1098-111X(200101)16:1<29::AID-INT4>3.0.CO;2-0 。ハスティー、トレバー 、ティブシラニ、ロバート 、フリードマン、ジェローム(2001年)、統計学習の要素:データマイニング、推論、予測 、ニューヨーク :シュプリンガー、ISBN 978-0-387-84857-0 Kraskov, Alexander; Stögbauer, Harald; Andrzejak, Ralph G.; Grassberger, Peter (2003), Hierarchical clustering based on mutual information , arXiv : q-bio/0311039 , Bibcode : 2003q.bio....11039K 。Lee, Changhwan; Shin, Dong-Guk (1994)、「分類学習のための数値属性の文脈依存離散化」、AG Cohn (編)、第11回ヨーロッパ人工知能会議 (ECAI 94) の議事録 、NL 、pp. 428– 432 {{citation }}: CS1 maint: location missing publisher (link ) 。Liu, Chao-Lin; Wellman, Michael (2002)、「柔軟な状態空間抽象化手法を用いたベイジアンネットワークの評価」、International Journal of approximate Reasoning 、30 (1): 1– 39、CiteSeerX 10.1.1.127.7040 、doi : 10.1016/S0888-613X(01)00067-6 、S2CID 17529419 。Liu, Chao-Lin; Wellman, Michael (2004)、「ベイジアンネットワークにおける質的影響を用いた確率的関係の境界設定:方法と応用」、International Journal of approximate Reasoning 、36 (1): 31– 73、doi : 10.1016/j.ijar.2003.06.002 。Liu, Huan; Hussain, Farhad; Tan, Chew Lim; Dasii, Manoranjan (2002)、「離散化:有効な手法」、データマイニングと知識発見 、6 (4): 393– 423、doi : 10.1023/A:1016304305535 、S2CID 207609303 。Ludl, Marcus-Christopher; Widmer, Gerhard (2000)、「相関ルールマイニングのための相対的教師なし離散化」、Djamel A. Zighed、Jan Komorowski、Jan Zytkow (編)、『データマイニングと知識発見の原理に関する第4回ヨーロッパ会議 (PKDD 2000) の議事録』 、Lecture Notes in Computer Science、vol. 1910、リヨン、フランス 、pp. 148– 158、doi : 10.1007/3-540-45372-5_15 、ISBN 978-3-540-41066-9 {{citation }}: CS1 maint: location missing publisher (link ) 。Monti, Stefano; Cooper, Gregory F. (1999)、「多変量離散化のための潜在変数モデル」 、Uncertainty 99: 第7回人工知能と統計に関する国際ワークショップ 、フロリダ州フォートローダーデール {{citation }}: CS1 maint: location missing publisher (link ) 。Martino, Alessio; Giuliani, Alessandro; Rizzi, Antonello (2018)、「非計量空間におけるバイオインフォマティクスパターン認識問題のための粒度計算技術」、Pedrycz W.; Chen SM. (編)、『パターン認識のための計算知能』 、Studies in Computational Intelligence、vol. 777、Springer International Publishing、pp. 53– 81、doi : 10.1007/978-3-319-89629-8_3 、ISBN 978-3-319-89628-1 。Nguyen, Hung Son; Nguyen, Sinh Hoa (1998)、「データマイニングにおける離散化手法」、Lech Polkowski; Andrzej Skowron (編)、『ラフ集合による知識発見 1: 方法論と応用』 、Heidelberg : Physica-Verlag、pp. 451– 482 。Pfahringer, Bernhard (1995)、「連続属性の圧縮ベースの離散化」 、Armand Prieditis、Stuart Russell (編)、『機械学習:第12回国際会議(ICML 1995)の議事録』 、カリフォルニア州タホシティ :Morgan Kaufmann、pp. 456– 463 。レンチャー、アルビン C. (2002) 『多変量解析法 』ニューヨーク :ワイリー 。Simon, Herbert A.; Ando, Albert (1963)、「動的システムにおける変数の集約」、Albert Ando、Franklin M. Fisher、Herbert A. Simon (編)、『社会科学モデルの構造に関するエッセイ』 、マサチューセッツ州ケンブリッジ:MIT出版、pp. 64– 91 サイモン、ハーバート・A. ( 1996)、「複雑性のアーキテクチャ:階層的システム」、ハーバート・A・サイモン編『人工科学 』(第2版)、マサチューセッツ州ケンブリッジ:MIT出版、pp. 183-216 スレザック、ドミニク。シナク、ピョートル。ウォジナ、アルカディウシュ。 Wroblewski、Jakub (2013)、「大まかな近似の 2 つのデータベース関連解釈: データ構成とクエリ実行」、Fundamenta Informaticae 、127 ( 1–4 ): 445– 459、doi : 10.3233/FI-2013-920 。ティン、カイミン(1994)、連続値属性の離散化とインスタンスベース学習(技術レポートNo.491) 、シドニー :バッサーコンピュータサイエンス学部 。王 柯、劉 冰 (1998)、「複数属性の同時離散化」 、Springer (編)、第5回環太平洋国際人工知能会議議事録 、ロンドン :Springer-Verlag、pp. 250– 259 。渡辺聡 (1960)「多変量相関の情報理論的分析」IBM研究開発ジャーナル 、4 (1):66-82 、doi :10.1147/rd.41.0066 。渡辺聡 (1969)『知ることと推測すること:推論と情報の定量的研究 』ニューヨーク :ワイリー 。Witten, Ian H.; Frank, Eibe (2005), Data Mining: Practical Machine Learning Tools and Techniques (2 ed.), Amsterdam : Morgan Kaufmann, 2020年11月27日アーカイブ , 2007年2月11日取得 Yao, YY (2004)「粒度計算のパーティションモデル」、コンピュータサイエンスの講義ノート(近日公開予定) Yao, YY (2001). 「粒度計算によるデータマイニングのモデリングについて」 .第25回国際コンピュータソフトウェア・アプリケーション会議 (COMPSAC 2001) 議事録 . pp. 638– 643. Yao, Yiyu (2006). 「データマイニングのための粒度分布計算」 (PDF) 。Dasarathy , Belur V. (編). SPIE Conference on Data Mining, Intrusion Detection, Information Assurance, and Data Networks Security の議事録。2007年4月18日時点の オリジナル (PDF) からアーカイブ。 Yao, JT; Yao, YY (2002). 「粒度計算による分類規則の誘導」 (PDF) .第3回ラフ集合とコンピューティングの最新動向に関する国際会議 (TSCTC'02) の議事録 . 英国ロンドン: Springer-Verlag. pp. 331– 338. Zadeh, LA (1997)「ファジー情報粒度分布理論と人間の推論とファジー論理におけるその中心性に向けて」『ファジー集合とシステム 』90:111-127 Zighed, DA; Rabaséda, S.; Rakotomalala, R. (1998)、「FUSINTER:連続属性の離散化手法」 、International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 、6 (3): 307– 326、doi : 10.1142/s0218488598000264 。