• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

論理式による実数の近似表現を用いた数値データからの機械学習手法

研究課題

研究課題/領域番号 19650029
研究種目

挑戦的萌芽研究

配分区分補助金
研究分野 知能情報学
研究機関京都大学

研究代表者

山本 章博  京都大学, 情報学研究科, 教授 (30230535)

研究分担者 立木 秀樹  京都大学, 人間・環境学研究科, 准教授 (10211377)
廣渡 栄寿  北九州市立大学, 基盤教育センター, 准教授 (60274429)
研究期間 (年度) 2007 – 2009
研究課題ステータス 完了 (2009年度)
配分額 *注記
3,300千円 (直接経費: 3,300千円)
2009年度: 1,000千円 (直接経費: 1,000千円)
2008年度: 1,000千円 (直接経費: 1,000千円)
2007年度: 1,300千円 (直接経費: 1,300千円)
キーワード機械学習 / 計算論的学習 / 実数計算 / 数理論理学 / 閉集合 / フラクタルアトラクタ
研究概要

大量データに潜む有用な知識を効率的に発見する手法(知識発見手法)の重要性が増す今日において,離散データと連続データが混在したデータからの知識発見手法の基盤を構築することが本研究の目標である.実数値データの計算論的な性質と機械学習の関係について解明することにより,実数値データからの知識発見と離散データからの知識発見と統一的な形で与えるこを目標としてきた.昨年度の成果として,実数を,近似値と誤差が測定の繰返しによって精度が増すデータと捉え,機械学習の対象を「関数」よりも一般的な「図形(数学的には閉集合)」に設定することとした.さらに,近似値と誤差を有理数を端点とする閉区間で表現し,さらにそれを論理項で表することにより,図形の近似表現を論理式で表現すした上で,学習対象とその近似表現の間の距離を導入し,学習のアルゴリズムと評価に用いるという基本的な成果を得た.この成果を発展させ,計算論的学習理論でしばしば行われるような,学習可能性の階層分析を行って論文としてまとめた上で,国際会議および国内会議での発表を行った.さらに,この理論を少し変形させると,統計学における仮説検定の代替手法として機能することに気づき,萌芽的な理論をまとめた.一方で,図形に制限しない一般的な対象め族に位相を導入して,計算論的学習の手法を位相の面から分析する研究を進展させ,Σ0α許容表現という表現クラスが,計算可能性解析学と密接に関係することを明らかにし,論文としてまとめて国際会議および国内会議での発表を行った.本研究は,京都大学・人間・環境学研究科 立木 秀樹准教授,北九州大学・基盤教育センター・廣渡 栄寿教授を連携研究者として,京都大学・情報学研究科・博士後期課程Matthew de Brecht君,杉山麿人君を研究協力者として遂行した.

報告書

(3件)
  • 2009 実績報告書
  • 2008 実績報告書
  • 2007 実績報告書
  • 研究成果

    (10件)

すべて 2010 2009 2008

すべて 雑誌論文 (3件) (うち査読あり 2件) 学会発表 (7件)

  • [雑誌論文] Topological properties of concept spaces2010

    • 著者名/発表者名
      de Brecht, Yamamoto, A.
    • 雑誌名

      Information and Computation 208

      ページ: 327-340

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] 代数学・数学基礎論における機械学習2009

    • 著者名/発表者名
      デ・ブレクト マシュー, 徳永浩雄, 山本章博
    • 雑誌名

      人工知能学会誌 24

      ページ: 788-796

    • 関連する報告書
      2009 実績報告書
  • [雑誌論文] Topological Properties of Concept Spaces2008

    • 著者名/発表者名
      de Brecht, M., Yamamoto A.
    • 雑誌名

      Lecture Notes in Artificial Intelligence 5254

      ページ: 374-388

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [学会発表] 計算論的学習理論に基づく統計的仮説検定の代替手法2010

    • 著者名/発表者名
      杉山麿人, 山本章博
    • 学会等名
      第77回人工知能基本問題研究会
    • 発表場所
      札幌
    • 年月日
      2010-03-17
    • 関連する報告書
      2009 実績報告書
  • [学会発表] ハウスドルフ距離を用いたフラクタルによる図形の学習2009

    • 著者名/発表者名
      杉山麿人, 廣渡栄寿, 立木秀樹, 山本章博
    • 学会等名
      第74回人工知能基本問題研究会
    • 発表場所
      広島
    • 年月日
      2009-09-14
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Interpreting Learners as Realizers for Σ02-Measurable Functions2009

    • 著者名/発表者名
      de Brecht, M., Yamamoto
    • 学会等名
      第74回人工知能基本問題研究会
    • 発表場所
      広島
    • 年月日
      2009-09-14
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Learning Figures with the Hausdorff Metric by Self-similar Sets2009

    • 著者名/発表者名
      杉山麿人
    • 学会等名
      記号論理と情報科学研究集会
    • 発表場所
      京都
    • 年月日
      2009-08-31
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Σ0α-Admissible Representations2009

    • 著者名/発表者名
      de Brecht, M., Yamamoto
    • 学会等名
      the Sixth International Conference on Computability and Complexity in Analysis
    • 発表場所
      京都
    • 年月日
      2009-08-16
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Learning Figures with the Hausdorff Metric by Self-similar Sets2009

    • 著者名/発表者名
      Sugiyama, M., Hirowatari, E., Tsuiki, H., Yamamoto, A.
    • 学会等名
      Sixth Workshop on Learning with Logics and Logics for Learning
    • 発表場所
      京都
    • 年月日
      2009-07-06
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 正データからの極限同定における極小言語戦略への精密化の適用2008

    • 著者名/発表者名
      大内聖紫, 山本章博
    • 学会等名
      電子情報通信学会 人工知能研究会・情報処理学会 知能と複雑系研究会 合同研究会
    • 発表場所
      札幌
    • 年月日
      2008-03-07
    • 関連する報告書
      2007 実績報告書

URL: 

公開日: 2007-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi