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

2010 年度 自己評価報告書

推論による仮説発見とシステム生物学への応用

研究課題

  • PDF
研究課題/領域番号 20240016
研究種目

基盤研究(A)

配分区分補助金
応募区分一般
研究分野 知能情報学
研究機関国立情報学研究所

研究代表者

井上 克巳  国立情報学研究所, 情報学プリンシプル研究系, 教授 (10252321)

研究期間 (年度) 2008 – 2011
キーワード人工知能 / 推論 / システム生物学 / 仮説発見 / 結論発見 / 確率推論 / 帰納論理プログラミング / アブダクション
研究概要

本研究では、システム生物学において、未知で有用であるような知識を発見するために、論理的な仮説発見手法であるアブダクションとインダクションに着目し、これらに共通する推論の基盤技術を開発している。仮説発見のエンジンとして、SOL導出に基づく演繹手法である結論発見手続きSOLARを使用するが、推論効率の改善と仮説選択手段の開発が重要課題として挙げられる。そこで、本研究では次の3テーマを設定して取り組んだ。
(1)仮説発見のために、SOLARと関連する仮説生成手法の効率化と高機能化を図る。
(2)仮説選択のために、確率的・非確率的手法に基づいた有効な選択方法を開発する。
(3)システム生物学の問題に応用し評価する。

  • 研究成果

    (12件)

すべて 2011 2010 2009 2008 その他

すべて 雑誌論文 (5件) (うち査読あり 5件) 学会発表 (5件) 図書 (1件) 備考 (1件)

  • [雑誌論文] Inverse Subsumption for Complete Explanatory Induction.2011

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

      Machine Learning; to appear

    • 査読あり
  • [雑誌論文] Constraint-based Probabilistic Modeling for Statistical Abduction.2011

    • 著者名/発表者名
      Taisuke Sato, Masakazu Ishihata, Katsumi Inoue.
    • 雑誌名

      Machine Learning 83(2)

      ページ: 241-264

    • 査読あり
  • [雑誌論文] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming.2011

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue.
    • 雑誌名

      Machine Learning 83(1)

      ページ: 1-29

    • 査読あり
  • [雑誌論文] SOLAR : An Automated Deduction System for Consequence Finding.2010

    • 著者名/発表者名
      Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray.
    • 雑誌名

      AI Communications 23(2-3)

      ページ: 183-203

    • 査読あり
  • [雑誌論文] Brave Induction : A Logical Framework for Learning from Incomplete Information.2009

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue.
    • 雑誌名

      Machine Learning 76(1)

      ページ: 3-35

    • 査読あり
  • [学会発表] Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology.2011

    • 著者名/発表者名
      Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato.
    • 学会等名
      The 2011 International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2011)
    • 発表場所
      Rome, Italy
    • 年月日
      2011-01-07
  • [学会発表] Hypothesizing about Networks by Meta-level Abduction.2010

    • 著者名/発表者名
      Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima.
    • 学会等名
      The 20th International Conference on Inductive Logic Programming (ILP 2010)
    • 発表場所
      Firenze, Italy
    • 年月日
      2010-06-29
  • [学会発表] Evaluating Abductive Hypotheses using an EM Algorithm on BDDs.2009

    • 著者名/発表者名
      Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima.
    • 学会等名
      The 21st International, Joint Conference on Artificial Intelligence (TJCAT-09)
    • 発表場所
      Pasadena, USA
    • 年月日
      2009-07-14
  • [学会発表] Toward an Efficient Equality Computation in Connection Tableaux : A Modification Method without Symmetry Transformation.2009

    • 著者名/発表者名
      Koji Iwanuma, Hidetomo Nabeshima Katsumi Inoue.
    • 学会等名
      The 7th International Workshop on First-Order Theorem Proving (FTP 2009)
    • 発表場所
      Oslo, Norway
    • 年月日
      2009-07-06
  • [学会発表] Comparing Abductive Theories.2008

    • 著者名/発表者名
      Katsumi Inoue, Chiaki Sakama.
    • 学会等名
      The 18th European Conference on Artificial Intelligence (ECAI 2008)
    • 発表場所
      Patras, Greece
    • 年月日
      2008-07-24
  • [図書] Elements of Computational Systems Biology(Integrating Abduction and Induction in Biological Inference using CF-Induction.)(John Wiley and Sons, Inc.)(Huma Lodhi and Stephen Muggleton (eds.))2009

    • 著者名/発表者名
      Yoshitaka Yamamoto, Katsumi Inoue,Andrei Doncescu.
    • 出版者
      Wiley Book Series on Bioinformatics
  • [備考] ホームページ

    • URL

      http://research.nii.ac.jp/il/event/project_a.html

URL: 

公開日: 2012-02-13   更新日: 2016-04-21  

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

Powered by NII kakenhi