はじめにデータマイニングとは、大量のデータから隠された知識や新しい規則を発見するプロセスです。これは述語論理を使用することで豊かな表現力を持ち、可読性の高い解析が行うことができます。ILPの枠組みにおけるデータマイニングでは多くの手法が提案されてきましたが、多くの手法はパターンの候補が膨大に存在し、それらを調べるのに多くの時間がかかってしまうという問題があります。よって、本研究では対象となる事例に見られる性質に注目することで、高速にマイニングを行う手法を提案します。アイディア図のような家族関係のデータがあったとします。y)とxの性別を表すmale(x)、female(x)という述語で表すことができます。図の*がついている名前はfemaleを満足するものであるとします。目標事例としてgfatherの表も与えられています。目標事例はその特徴が未知であるか、その特徴が分かっていても、実際の例に見られる特徴に興味があるとします。この家族関係のデータベースにおいて事例gfather(Koji)に見られる述語の組として以下のようなものがあります。Kyoichi)∧male(Kyoichi).これは「KojiがKyoichiという孫息子をもつ」という事実であり、このような事例が表す述語の組の中でも意味のある述語の組を性質と考えます。この性質を使用して、意味のあるパターンに限定してマイニングを行うことが本提案手法のアイディアです。性質を利用して以下の方法でマイニングを行います。性質を使ってマイニングをおこなう性質を使ったマイニングの方法として3つの方法を考えます。MAPIXまずそれぞれの性質について、その性質を持つかどうかの真偽を一つの属性と考えることで、相関ルールマイニングをおこないます。相関ルールマイニングとは、マーケットバスケット分析を目的として提起された方法論で、マーケットで売られている個々の商品について、どのように買われているかの規則性を見つけることが目的です。相関ルールは、効率的な探索をおこなう手法としてAprioriアルゴリズムが考案されています。マイニングの方法は、(1)性質を事例から取り出し、(2)それぞれの性質を事例が満たしているかどうか調べ、(3)Aprioriアルゴリズムを利用して、性質を組み合わせて頻出なパターンを枚挙します。これによって、より高速にILPの枠組みでマイニングをおこなうことができますが、問題点として得ることのできないパターンが存在します。DUPLIPIXDUPLIPIXは,MAPIXの出力するパターンの問題点を解決する手法です。以下のような事例について考えます。C)∧male(C)」を満たします。現れる「息子と孫息子がおり、孫息子は息子の息子である」というパターンにはなりません。よってDUPLIPIXでは、性質を使って事例の部分的な構造を生成することを考えます。具体的には、「調べたい性質の組み合わせを実際に事例に見られるような述語の組で取り出す方法」を提案し、それらの複数の性質をパターンと考えマイニングをおこないます。このアルゴリズムの問題点として、論理的に同値なパターンが出力されるため、それらを出さないように削除するなどして制御する必要はありますが、この処理には多くの時間がかかってしまうことです。EQUIVPIX前節のDUPLIPIXアルゴリズムは、事例に見られるすべての構造をマイニングすることができます。ILPデータマイニングでは事例には見られない構造でも、事例が満たすならば出力したいという要求があります。事例Kojiからは以下のようなパターンは、事例の本来の構造に無いため出力されません。D)∧male(D).しかし、A=Koji、B=Yozo、C=Yozo、D=Kyoichiとすることで、事例Kojiはパターンを満たすことがわかります。このようなパターンは,「息子がいる∧孫息子がいる」というような性質を連言で表したようなパターンになっています。このような要求を満たすために、EQUIVPIXでは,事例の部分的な論理構造を連言にもつパターンを効率よくマイニングすることを考ます。まとめ本研究ではデータマイニングに注目し、帰納推論と論理プログラミングを結合した強力なアプローチであるILPを使用することで、データマイニングに重要な可読性の高い知識を得る三つの手法を提案しました。提案手法では性質というものに注目し、性質を使うことで従来手法より高速にマイニングをおこなうことを可能にしました。