計算論理と機械学習の関係への新たなアプローチ(「自動化:推論,発見,学習,データマイニング」及び一般)
スポンサーリンク
概要
- 論文の詳細を見る
データからの知識発見手法の一つである機械学習に定理自動証明や論理プログラミングを利用する研究はこれまで数多くなされてきた.その基本的な考えは,与えられたデータの性質を説明するための仮説の探索と検証において,論理における意味論と証明論の手法を利用する,というものである.本講では,このような従来研究とは異なるアプローチによる計算論理と機械学習の関係構築の取り組みについて述べる.具体的には,論理とパラメータ推定との関係,論理とデータマイニングの関係,論理とサポートベクトルマシンの関係,計算代数と正データ学習との関係などについて最近の結果を述べる.
- 社団法人電子情報通信学会の論文
- 2006-05-11
著者
関連論文
- 人工知能基本問題研究会(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回情報論的学習理論ワークショップ)
- 述語項構造から生成されるタプル集合の比較による歴史事件の説明文書評価(社会システムと情報技術)