帰納論理プログラミング

帰納論理プログラミングは、1990年代初頭に英国オックスフォード大学のStephen Muggleton らによって創造された概念で、述語論理に基づく帰納推論を用いた機械（コンピュータによる）学習プログラミングのことです。その中心課題は多くの分類問題への適用・解決であり、すでに分子生物学・環境科学・医学・システム科学・社会科学ほかに幅広く適用されはじめていて、数々の成果が報告されています。ことに、概念間の依存関係を反映した「背景知識」が使えることから、テキストマイニング・遺伝子解析といった現代の難問解決に大きな期待が寄せられております。 本書は、その久しく待望されていた、日本語での初の包括的入門解説書であります。論理に基づく帰納推論を一貫したテーマとし、命題論理学習器として決定木を取り上げ、一階述語論理学習木として、有名なProgol を取り上げています。 第1部　導入 第1章　序論 第2部 演繹推論 第2章　論理と表現 第3章　命題論理 第4章　述語論理 第5章　Prolog 第3部　帰納推論 第6章　決定木の学習 第7章　計算論的学習理論の考え方 第8章　帰納論理プログラミング 第9章　仮説の検定と予測精度の評価 第10章　帰納論理プログラミングの応用 第11章　今後の展開 第4部 付録 付録A. 帰納論理プログラミングシステムProgolの使い方 付録B. Progolの学習アルゴリズム 参考文献 索引