| 講演名 | 2006-05-18 計算論理と機械学習の関係への新たなアプローチ(「自動化:推論,発見,学習,データマイニング」及び一般) 山本 章博, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | データからの知識発見手法の一つである機械学習に定理自動証明や論理プログラミングを利用する研究はこれまで数多くなされてきた.その基本的な考えは,与えられたデータの性質を説明するための仮説の探索と検証において,論理における意味論と証明論の手法を利用する,というものである.本講では,このような従来研究とは異なるアプローチによる計算論理と機械学習の関係構築の取り組みについて述べる.具体的には,論理とパラメータ推定との関係,論理とデータマイニングの関係,論理とサポートベクトルマシンの関係,計算代数と正データ学習との関係などについて最近の結果を述べる. |
| 抄録(英) | The relation between Logic and Machine Learning is investigated for a long time. The major approach to the goal is using logic in learning: using syntax of logic for representation of data and knowledge, applying automated theorem proving to keeping consistency of hypotheses to given examples, and guaranteeing the appropriateness of learning with semantics of logic. Recently researches on new approaches to the relation have appeared. In this survey we introduce such new researches, in particular, relation between logic and parameter estimation, relation between logic and data-mining, application of logic to the Support Vector Machine, and Machine Learning in Computational Algebra. |
| キーワード(和) | 計算論理 / 機械学習 / 帰納論理プログラミング |
| キーワード(英) | Computational Logic / Machine Learning / Inductive Logic Programming |
| 資料番号 | AI2006-7 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 2006/5/11(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 計算論理と機械学習の関係への新たなアプローチ(「自動化:推論,発見,学習,データマイニング」及び一般) |
| サブタイトル（和） | |
| タイトル（英） | New Approaches to the Relation between Computational Learning and Machine Learning |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 計算論理 / Computational Logic |
| キーワード(2)（和/英） | 機械学習 / Machine Learning |
| キーワード(3)（和/英） | 帰納論理プログラミング / Inductive Logic Programming |
| 第 1 著者 氏名（和/英） | 山本 章博 / Akihiro YAMAMOTO |
| 第 1 著者 所属（和/英） | 京都大学 情報学研究科 Graduate School of Informatics, Kyoto University |
| 発表年月日 | 2006-05-18 |
| 資料番号 | AI2006-7 |
| 巻番号（vol） | vol.106 |
| 号番号（no） | 38 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |