WhichHypothesecanbefoundwithInverse-京都大学数学教室.ppt

帰納論理プログラミングの論理的基礎 山本 章博 京都大学 情報学研究科 http://www.i.kyoto-u.ac.jp/~akihiro mail: akihiro@ i.kyoto-u.ac.jp 目次 １．帰納論理プログラミングとは 帰納とは 論理プログラミング ２．計算論的な学習 概念と仮説 学習のモデル化に必要な項目 完全提示からの極限同定 ３．精密化の利用 正データからの学習 Model Inference System (負データを用いた学習) ４．最近の研究動向 ポイント “帰納”という推論操作を計算論?論理的に定式化するための枠組み “精密化”による論理的な仮説生成 “帰納に潜む数学?論理”から “数学?論理に潜む帰納” １．帰納論理プログラミングとは 帰納論理プログラミング (Inductive Logic Programming) 　＝　帰納的な推論＋論理プログラミング 　帰納論理プログラミング(ILP)とは，具体的な観測事例から，それを一般的に説明する規則性を論理プログラムの形で構成する手法を対象とする研究分野である．ILPは機械学習や知識のマイニングなどの帰納推論への応用を目的としているが，観測事例を仕様，規則性をプログラムと考えれば，論理プログラムの合成と捉えることもできる． 帰納(induction)とは 機械学習(machine learning) 訓練例を与えることにより，一般的な法則を構成して，未知の事例に対処する． 知識発見(knowledge discovery) 実験結果や収集したデータ(観測事実)を説明できる法則（知識）を発見する プログラミングの観点から 規則?命題?法則 = プログラム プログラムが必要な利用者が，直接にプログラミングをすることなく，訓練例?観測事実に相当するデータからプログラムを構成する．[Rivest改] フロンティア G. Plotkin (1971) 論理実証主義(Hintikka and Hilpen)による発見の定式化 E. Shapiro (1981) 批判的合理主義(Hume, Popper)による発見の定式化 論理プログラミング(1) 論理プログラミング: プログラミング言語 Prolog の原理 論理プログラム = 確定節の有限集合 確定節 : A ? B1, B2,...,Bn　 A, B1, B2,...,Bn は原子論理式 (atomic formula) Prolog言語では A :- B1, B2,...,Bn . 例 (自然数の計算) plus(s(X),Y, s(Z)) ? plus(X, Y, Z) plus(0, X, X) ? 論理プログラミング(2) 例(構造体計算) app([A|X], Y, [A|Z]) ? app(X, Y, Z) app([ ], X, X) ? mem(A,[A | X]) ? mem(A,[B| X]) ? mem(A, X) 例(データベース計算) gf(X, Y) ? pt(X, Z), pt(Z, Y), ml(X) pt(bob, alice) ? pt(alice, catherine) ? ml(bob) ? 論理プログラミング(3) 導出原理(融合原理, resolution)によるゴール節からのプログラムの実行 ? plus(s(s(0)), s(0), Z) plus(s(X1), Y1, s(Z1)) ? plus(X1, Y1, Z1) ? plus(s(0), s(0), Z1) plus(s(X2), Y2, s(Z2)) ? plus(X1, Y1, Z2) ? plus(0, s(0), Z2) plus(0, X3, X3) ? ? 論理プログラミング(4) 解の検証 ? plus(s(s(0)), s(0), s(s(s(0))) ) plus(s(X1), Y1, s(Z1)) ? plus(X1, Y1, Z1) ? plus(s(0), s(0), s(s(0))) plus(s(X2), Y2, s(Z2)) ? plus(X1, Y1, Z2) ? plus(0, s(0), s(0)) plus(0, X3, X3) ? ? 最小Herbrandモデル(1) 論理プログラム P の最小Herbrandモデル M(P) = P のHerbrandモデルで最小 　　　　　　= {A | A は基礎原子