一階論理式の学習と帰納論理プログラミング (<特集>計算学習理論の進展と応用可能性)
スポンサーリンク
概要
- 論文の詳細を見る
一階論理式の学習は, 歴史的に帰納論理プログラミング(ILP, Inductive Logic Programming)として発展してきた. ILPは, 一階論理に基づいた機械学習の研究であり, 表現言語として一階論理を用いることで, 従来の機械学習システムでは難しい構造データや背景知識を統一的な扱いを可能にすることを目標としている. 従来, ILP研究は応用面の研究が中心だったが, この数年, 意味論や学習理論の立場から, 新しい理論的研究が進んでいる. 本稿では, 論理プログラムおよび一階ホーン文の多項式時間学習に焦点を当て, 基本的概念と最新の理論的成果を紹介したい.
- 1999-09-01
著者
関連論文
- 人工知能基本問題研究会(SIG-FPAI)(研究会総覧)
- 九州大学における一般情報処理教育支援システムについて
- 数値データからの意外な回帰結合ルールの発見
- 帰納的実数値関数の帰納推論における論駁性と信頼性(アルゴリズム一般)
- 帰納的実数値関数の帰納推論における論駁性と信頼性
- ラベル無し順序木のqグラム距離
- 順序付き二分法定グラフの学習可能性
- 類推機能をもった対話型シークェント計算証明システムの開発(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(一般及び自動推論)
- 滑走窓や忘却の概念を用いたオンライン型半構造データマイニングアルゴリズム
- 滑走窓や忘却の概念を用いたオンライン型半構造データマイニングアルゴリズム
- 半構造データマイニングのための部分構造パターンの効率的探索
- 極小多重汎化によるパタン和推論アルゴリズムの実験的評価
- 極小多重汎化による正則パタン推論アルゴリズムの実験的評価
- WWWからの情報抽出 : Webラッパーの自動構築(WWW上の情報の知的アクセスのためのテキスト処理)
- テキストマイニングにおける最適パターン発見
- テキストマイニングにおける最適パターン発見(データ・テキストマイニング)
- HTMLからのテキストの自動切り出しアルゴリズムと実装
- 人間指向型汎用類推証明システムの開発 (計算機科学基礎理論の新展開)
- 類推機能をもった対話型シークェント計算証明システムの開発 (計算機科学基礎理論の新展開)
- Pre-Checkingに基づく効率的スキーママッチングアルゴリズム(LAシンポジウム(情報基礎理論ワークショップ)論文小特集)
- Pre-checkingを用いた効率的2階述語マッチングアルゴリズム (計算理論とアルゴリズムの新展開)
- スキーママッチングを用いたLK類推証明システムの開発
- スキーママッチングとその計算量
- スキーママッチングにおける計算の複雑さ (計算モデルとアルゴリズム)
- スキーママッチングの計算の複雑さ
- 古典的証明に基づく関数型言語の構築
- 1Y-8 重み付き分類規則による保健データからのデータマイニング(情報システムの分析・設計・評価,一般講演,コンピュータと人間社会)
- 分散記憶型並列計算機における大規模接尾辞配列の構築法
- テキストマイニングを用いたウェブデータからのキーワード獲得
- 分散記憶型並列計算機における大規模接尾辞配列の構築法
- HTMLからのテキストの自動切り出しアルゴリズムと実装
- テキストデータからの高速データマイニング : 探索的文書ブラウジングとウェブデータへの応用(発見科学)
- A Catalog for Prediction-Preserving Reducibility with Membership Queries on Formal Languages (New Developments of Theory of Computation and Algorithms)
- ALT'96報告
- 半構造データマイニングにおけるパターン発見技法
- 大規模木構造データからの頻出部分構造パターン発見アルゴリズム(文字列アルゴリズム)
- 半構造データからの効率よい無順序木パターン発見手法(インターネット環境でのデータ工学とディペンダビィリティ及び一般)
- 半構造データからの効率よい無順序木パターン発見手法(インターネット環境でのデータ工学とディペンダビィリティ及び一般)
- 半構造データからの効率よい無順序木パターン発見手法
- 大規模木構造データからの高速な部分構造発見(「21世紀の知識情報科学に向けて」,及び一般)
- データストリーム処理のための効率良いXPath問合せ機構(セッション4A : 時空間データ・ストリーム)
- データストリーム処理のための効率良いXPath問合せ機構(時空間データ・ストリーム)(「夏のデータベースワークショップ(DBWS2003)」一般)
- 最適パタン発見に基づくテキストデータマイニング : 大規模テキスト索引における高速な実装方式
- 文字列相関パタンの分類精度最大化問題について
- 無矛盾最小OBDD問題の近似困難性について
- データマイニング : ウェブデータからの知識発見を目指して
- 石灰石球の熱分解における熱移動と CO_2 ガスの流れ
- 32 石灰石球の熱分解における熱及び物質の移動(製銑基礎・コークス, 製銑, 日本鉄鋼協会第 84 回(秋季)講演大会)
- 巨大テキストデータからの高速パタン発見
- 一階論理式の学習と帰納論理プログラミング (計算学習理論の進展と応用可能性)
- テキストマイニング基盤技術(「テキストマイニング」)
- 部分語相関ルール発見のための高速アルゴリズム (アルゴリズムと計算の理論)
- 最適パタン発見に基づくテキストデータマイニング
- 大規模テキストデータのための探索的文書ブラウジング
- 1T-10 仮想接尾辞木 : テキストデータマイニングのための接尾辞配列を用いた高速な部分語頻度計算法
- 計算学習理論における学習(機械学習,それが人に及ばざる理由)
- TD-1-7 ウェブデータからの高速テキストマイニング
- Webマイニング(「テキストマイニング」)