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

システム生物学応用に向けた仮説枚挙システムの実現

研究課題

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

若手研究(B)

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

研究代表者

山本 泰生  山梨大学, 大学院・医学工学総合研究部, 助教 (30550793)

研究協力者 守屋 央朗  岡山大学, 異分野融合先端コア, 准教授 (60500808)
研究期間 (年度) 2010 – 2012
研究課題ステータス 完了 (2012年度)
配分額 *注記
3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
2012年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2011年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2010年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
キーワード学習と知識獲得 / 仮説枚挙 / システム生物学 / 帰納推論 / グルコース抑制 / CF帰納法 / パスウェイ補完
研究概要

本研究では,従来の仮説推論システムが持っている2つの問題点: 解探索の不完全性と解の単一性を解決することを目的とし,仮説構成手続きの簡略化による解探索空間の削減と仮説の逐次枚挙を可能とする仮説推論システムの提案及び開発を行った.また酵母菌の遺伝子制御ネットワークにおいて未だ確認されていない制御因子を仮説推論の枠組みで発見する課題に着手し,システム生物学における仮説推論の新たな応用展開に取り組んだ.

報告書

(4件)
  • 2012 実績報告書   研究成果報告書 ( PDF )
  • 2011 実績報告書
  • 2010 実績報告書
  • 研究成果

    (26件)

すべて 2013 2012 2011 2010 その他

すべて 雑誌論文 (8件) (うち査読あり 5件) 学会発表 (12件) 備考 (6件)

  • [雑誌論文] Heuristic Inverse Subsumption in Full-clausal Theories2013

    • 著者名/発表者名
      Y. Yamamoto, K. Inoue, K. Iwanuma
    • 雑誌名

      22ndInternational Conference on Inductive Logic Programming (ILP2012) Revised Selected Papers

      巻: Vol.7842 ページ: 241-256

    • 関連する報告書
      2012 研究成果報告書
  • [雑誌論文] Heuristic Inverse Subsumption in Full-clausal Theories2013

    • 著者名/発表者名
      Y. Yamamoto, K. Inoue, K. Iwanuma (Y. Yamamoto)
    • 雑誌名

      Revised Selected Papers from Int. Conf. on Inductive Logic Programming2012, Lecture Notes in Artificial Intelligence

      巻: 7842 ページ: 241-256

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] Comparison of Upward and Downward Generalizations in CF-induction2012

    • 著者名/発表者名
      Y. Yamamoto, K. Inoue, K. Iwanuma
    • 雑誌名

      21stInternational Conference on Inductive Logic Programming (ILP2011) Revised Selected Papers, Lecture Notes in Artificial Intelligence

      巻: Vol. 7207 ページ: 373-388

    • 関連する報告書
      2012 研究成果報告書
  • [雑誌論文] Non-monotone Dualization via Monotone Dualization2012

    • 著者名/発表者名
      Y. Yamamoto, K. Iwanuma, K. Inoue (Y. Yamamoto)
    • 雑誌名

      Late Breaking Papers of the 22nd Int. Conf. on Inductive Logic Programming, CEUR proceedings

      巻: 975 ページ: 74-79

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] Inverse Subsumption for Complete Explanatory Induction2012

    • 著者名/発表者名
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
    • 雑誌名

      Machine Learning

      巻: 86(1) 号: 1 ページ: 115-139

    • DOI

      10.1007/s10994-011-5250-y

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Inverse Subsumption for Complete Explanatory Induction2011

    • 著者名/発表者名
      Y. Yamamoto, K. Inoue, K. Iwanuma
    • 雑誌名

      Journal of Machine Learning

      巻: Vol.86 ページ: 115-139

    • 関連する報告書
      2012 研究成果報告書
  • [雑誌論文] Comparison of Upward and Downward Generalizations in CF-induction2011

    • 著者名/発表者名
      Y.Yamamoto, K.Inoue, K.Iwanuma
    • 雑誌名

      21^<st> Int.Conf.on Inductive Logic Programming (An extended version is to appear in Revised Selected Papers from ILP2011, Lecture Notes in Artificial Intelligence, 2012)

      巻: (掲載確定)

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] From Inverse Entailment to Inverse Subsumption2010

    • 著者名/発表者名
      Y.Yamamoto, K.Inoue, K.Iwanuma
    • 雑誌名

      20^<th> Int.Conf.on Inductive Logic Programming (ILP 2010)

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [学会発表] Late Breaking Papers of the 22nd2012

    • 著者名/発表者名
      Y. Yamamoto, K. Iwanuma, K. Inoue.
    • 学会等名
      International Conference on Inductive Logic Programming (ILP2012)
    • 発表場所
      CEUR
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] 多値論理を用いた生体ネットワークシステムのモデル検査2012

    • 著者名/発表者名
      坂本悠,山本泰生,岩沼宏治
    • 学会等名
      情報処理学会バイオ情報学第29回研究会
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] 時系列信号処理に基づくSAT解法: Wave-SATソルバの実現に向けて2012

    • 著者名/発表者名
      宮城智輝,山本泰生,岩沼宏治
    • 学会等名
      人工知能学会全国大会 (第26回)
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] 多値論理を用いた生体ネットワークシステムのモデル検査2012

    • 著者名/発表者名
      坂本 悠,山本 泰生,岩沼 宏治 (坂本 悠)
    • 学会等名
      情報処理学会 バイオ情報学第29回研究会 (SIG-BIO)
    • 発表場所
      沖縄科学技術大学院大学 (沖縄県)
    • 関連する報告書
      2012 実績報告書
  • [学会発表] 時系列信号処理に基づくSAT解法: Wave-SATソルバの実現に向けて2012

    • 著者名/発表者名
      宮城 智輝,山本 泰生,岩沼 宏治 (宮城 智輝)
    • 学会等名
      人工知能学会全国大会 (第26回)
    • 発表場所
      山口県教育会館 (山口県)
    • 関連する報告書
      2012 実績報告書
  • [学会発表] 一般双対化問題における冗長節生成の抑止法とその評価2011

    • 著者名/発表者名
      山本泰生, 鍋島英知, 岩沼宏治
    • 学会等名
      2011年度人工知能全国大会(JSAI2011)
    • 発表場所
      いわて県民情報交流センター(岩手)
    • 年月日
      2011-06-03
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 論理モデルによるグルコース抑制機構のパスウェイ補完2011

    • 著者名/発表者名
      坂本悠, 山本泰生, 岩沼宏治
    • 学会等名
      2011年度人工知能全国大会(JSAI2011)
    • 発表場所
      いわて県民情報交流センター(岩手)
    • 年月日
      2011-06-02
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 単調双対化計算に基づく一般双対化問題の解法2011

    • 著者名/発表者名
      山本泰生, 鍋島英知, 岩沼宏治
    • 学会等名
      第81回人工知能学会人工知能基本問題研究会
    • 発表場所
      山梨大学(山梨県)
    • 年月日
      2011-01-31
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 論理モデルによるグルコース抑制機構のパスウェイ補完2011

    • 著者名/発表者名
      坂本悠,山本泰生,岩沼宏治
    • 学会等名
      人工知能学会全国大会 (第25回)
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] 一般双対化問題における冗長節生成の抑制法とその評価2011

    • 著者名/発表者名
      山本泰生,鍋島英知,岩沼宏治
    • 学会等名
      人工知能学会全国大会 (第25回)
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] Incremental Hypothesis Enumeration with Inverse Subsumption2010

    • 著者名/発表者名
      Y. Yamamoto
    • 学会等名
      Imperial College-NII Learning Workshop
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] From Inverse Entailment to Inverse Subsumption2010

    • 著者名/発表者名
      Y. Yamamoto, K. Inoue, K. Iwanuma
    • 学会等名
      20thInt. Conf. on Inductive Logic Programming (ILP 2010)
    • 関連する報告書
      2012 研究成果報告書
  • [備考] 仮説推論システム

    • URL

      http://www.iwlab.org/our-lab/our-staff/yy/software

    • 関連する報告書
      2012 研究成果報告書
  • [備考] 研究代表者HP

    • URL

      http://www.iwlab.org/our-lab/our-staff/yy

    • 関連する報告書
      2012 研究成果報告書
  • [備考] CF帰納法に基づく仮説推論システム

    • URL

      http://www.iwlab.org/our-lab/our-staff/yy/software

    • 関連する報告書
      2012 実績報告書
  • [備考] 研究者HP

    • URL

      http://www.iwlab.org/our-lab/our-staff/yy

    • 関連する報告書
      2011 実績報告書
  • [備考] 研究者HP:

    • URL

      http://www.iwlab.org/our-lab/our-staff/yy

    • 関連する報告書
      2010 実績報告書
  • [備考] ILP2010 Best Paper Award:よりSession M1を参照のこと

    • URL

      http://ilp2010.dsi.unifi.it/schedule.html

    • 関連する報告書
      2010 実績報告書

URL: 

公開日: 2010-08-23   更新日: 2019-07-29  

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

Powered by NII kakenhi