|
形式グラフ体系(Formal Graph System, FGS)は、Uchidaら(1994)によって導入されたグラフを対象とする一種の論理プログラムである。本研究課題では、3つの計算論的学習モデル、すなわち正例からの多項式時間帰納推論モデル、質問学習モデル、PAC学習モデルを用いて、グラフパターンと形式グラフ体系の多項式時間学習可能性を議論した。特に、形式グラフ体系がPAC学習可能であるための十分条件を、論理プログラムの各種パラメータを用いて明らかにした。また、部分グラフの分布情報を利用する分布学習アプローチにより形式グラフ体系の一部のクラスが多項式時間質問学習可能であることを示した。
|
