帰納論理プログラミングの基礎理論とその展開(<特集>新しいソフトウェアの実現,サイバー増大号)
スポンサーリンク
概要
- 論文の詳細を見る
帰納論理プログラミングとは,論理プログラムを用いた機械学習手法であり,構造化データからのデータ分析と知識獲得への応用が進められている.本稿では,計算の立場から学習という行為を捉えた上で,パラメータ推定と比較しつつ,論理プログラミングの理論と計算論的学習理論を基礎にして帰納論理プログラミングの基礎理論について解説する.そして,演鐸的な推論によって定義される順序関係である精密化が,帰納論理プログラミングの学習アルゴリズムの設計と分析に威力を発揮することを詳述する.さらに,帰納論理プログラミングの最近の研究動向についても述べる.
- 一般社団法人日本ソフトウェア科学会の論文
- 2006-04-26
著者
関連論文
- 人工知能基本問題研究会(SIG-FPAI)(研究会総覧)
- MusicXMLデータからの頻出フレーズパターンの発見 (「AIを深化させるための基本問題」および一般)
- 内包カーネルと配列分割法を用いたRNA識別
- 包摂関係を利用したカーネル関数を計算するアルゴリズム (テーマ:特集「スキルサイエンス」および一般)
- グラフ表現された仮説の管理支援手法とその実装 (特集 「知識発見の生命科学への応用」および一般)
- 分散データベースからの頻出飽和アイテム集合の発見 (特集 「知識発見の生命科学への応用」および一般)
- Extracting the structures of open source software programs from their developer mailing lists (特集 「大規模データからの機械学習と自然言語処理への応用」および一般)
- 仮説をグラフ表現するReasoning Webモデルの再検討 (特集 「大規模データからの機械学習と自然言語処理への応用」および一般)
- 構造を持つ楽曲データを対象とした質問学習にもとづく楽曲生成(音楽(創作))
- RNA識別における内包カーネルの性質 (「生命情報からの知識発見」及び一般)
- 木文法により圧縮された複数の半構造化文書からの共通頻出木パターンの発見(「自動化:推論,発見,学習,データマイニング」及び一般)
- 単語の出現区間推定を利用した物語構造の抽出(情報抽出,特集「Web情報処理」及び一般)
- 単語の出現区間推定を利用した物語構造の抽出
- RNA配列識別のための内包カーネル関数の設計 (特集 「ウェブマイニング」および一般)
- 区間構造を利用した物語構造の抽出と物語の再生 (特集 「人と技術とAI」および一般)
- 単語の出現区間推定を利用した物語構造の抽出 (テーマ:「Web情報処理」および一般発表)
- 木文法を用いた半構造化文書の圧縮と反単一化(「自動化:推論,発見,学習,データマイニング」及び一般)
- 符号化ダイバージェンスによる2つの集合の異なり具合の定量化(一般講演(符号化・モデル選択,機械学習とその応用)
- RNA配列の二次構造候補の列挙アルゴリズムの改善 (特集 「AIの基本問題SATと応用技術」および一般)
- 人工知能における計算論的学習理論と Noether 環
- 妥当な推測を表すためのグラフモデルとそれに基づく仮説構築支援システム(「社会システムにおける知能」および一般)
- 妥当な推測を表すためのグラフモデルとそれに基づく仮説構築支援システム(一般,「社会システムにおける知能」および一般)
- 離散量と連続量が混在するデータに対する形式概念分析を用いた半教師あり学習 (特集 「ベイジアン・ネットワーク」および一般)
- The Gray-coding divergence for computational data mining from continuous data (特集 「脳科学と知識処理」および一般)
- An alternative to statistical hypothesis testing based on computational learning theory (特集 「知識発見の生命科学への応用」および一般)
- 代数学・数学基礎論における機械学習(機械学習の科学研究への応用)
- 機械学習の科学研究への応用
- Interpreting learners as realizers for Σ[0]2-measurable functions (extended abstract) (特集 「機械学習の諸科学への応用」および一般)
- 正データからの極限同定における極小言語戦略への精密化の適用(「社会システムにおける知能」および一般)
- 正データからの極限同定における極小言語戦略への精密化の適用(一般,「社会システムにおける知能」および一般)
- Topological properties of concept spaces: extended abstract (特集「知識発見の諸科学への応用」および一般)
- 木構造を利用した自然画像の部分領域検索とフラクタル圧縮・マイニングへの応用 (情報論的学習理論と機械学習)
- 符号化ダイバージェンスを用いたクラス分類のためのオンラインアルゴリズム (情報論的学習理論と機械学習)
- Noether閉集合族の有限和の学習 (「AIを深化させるための基本問題」および一般)
- モデル検査法における詳細化概念の導入によるソフトウェア信頼性担保手法
- 木構造を利用した自然画像の部分領域検索とフラクタル圧縮・マイニングへの応用(離散系と機械学習,テキスト・Webマイニング,一般)
- 符号化ダイバージェンスを用いたクラス分類のためのオンラインアルゴリズム(分類・回帰・クラスタリング,テキスト・Webマイニング,一般)
- ZDDを用いた頻出飽和パターンのプライバシー保護マイニング(離散系と機械学習,テキスト・Webマイニング,一般)
- 質問学習とメタアルゴリズムの組合せによる文字列画像検索(画像処理,テキスト・Webマイニング,一般)
- 完備特徴例集合を用いた言語の有界和の正データからの学習--多項式イデアルから木パターン言語へ (「生命情報からの知識発見」及び一般)
- 計算論理と機械学習の関係への新たなアプローチ(「自動化:推論,発見,学習,データマイニング」及び一般)
- 帰納論理プログラミングの基礎理論とその展開(新しいソフトウェアの実現,サイバー増大号)
- 研究会コミュニティの広がりと相互作用
- 節論理における導出原理に基づく確率推論 (「マルチエージェントの基礎理論とその応用」および一般)
- SATソルバーを用いた帰納論理プログラミング (「マルチエージェントの基礎理論とその応用」および一般)
- 言明を表す論理式間への順序関係付与における形式概念解析の利用 (特集 一般)
- 分割表の独立性に基づく二値データ生成過程の推定法(ポスターセッション,第14回情報論的学習理論ワークショップ)
- 述語項構造から生成されるタプル集合の比較による歴史事件の説明文書評価(社会システムと情報技術)