• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2010 Fiscal Year Self-evaluation Report

Inference-based Hypothesis-finding and its Application to Systems Biology

Research Project

  • PDF
Project/Area Number 20240016
Research Category

Grant-in-Aid for Scientific Research (A)

Allocation TypeSingle-year Grants
Section一般
Research Field Intelligent informatics
Research InstitutionNational Institute of Informatics

Principal Investigator

INOUE Katsumi  National Institute of Informatics, 情報学プリンシプル研究系, 教授 (10252321)

Project Period (FY) 2008 – 2011
Keywords人工知能 / 推論 / システム生物学 / 仮説発見 / 結論発見 / 確率推論 / 帰納論理プログラミング / アブダクション
Research Abstract

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

  • Research Products

    (12 results)

All 2011 2010 2009 2008 Other

All Journal Article (5 results) (of which Peer Reviewed: 5 results) Presentation (5 results) Book (1 results) Remarks (1 results)

  • [Journal Article] Inverse Subsumption for Complete Explanatory Induction.2011

    • Author(s)
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma.
    • Journal Title

      Machine Learning; to appear

    • Peer Reviewed
  • [Journal Article] Constraint-based Probabilistic Modeling for Statistical Abduction.2011

    • Author(s)
      Taisuke Sato, Masakazu Ishihata, Katsumi Inoue.
    • Journal Title

      Machine Learning 83(2)

      Pages: 241-264

    • Peer Reviewed
  • [Journal Article] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming.2011

    • Author(s)
      Chiaki Sakama, Katsumi Inoue.
    • Journal Title

      Machine Learning 83(1)

      Pages: 1-29

    • Peer Reviewed
  • [Journal Article] SOLAR : An Automated Deduction System for Consequence Finding.2010

    • Author(s)
      Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray.
    • Journal Title

      AI Communications 23(2-3)

      Pages: 183-203

    • Peer Reviewed
  • [Journal Article] Brave Induction : A Logical Framework for Learning from Incomplete Information.2009

    • Author(s)
      Chiaki Sakama, Katsumi Inoue.
    • Journal Title

      Machine Learning 76(1)

      Pages: 3-35

    • Peer Reviewed
  • [Presentation] Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology.2011

    • Author(s)
      Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato.
    • Organizer
      The 2011 International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2011)
    • Place of Presentation
      Rome, Italy
    • Year and Date
      2011-01-07
  • [Presentation] Hypothesizing about Networks by Meta-level Abduction.2010

    • Author(s)
      Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima.
    • Organizer
      The 20th International Conference on Inductive Logic Programming (ILP 2010)
    • Place of Presentation
      Firenze, Italy
    • Year and Date
      2010-06-29
  • [Presentation] Evaluating Abductive Hypotheses using an EM Algorithm on BDDs.2009

    • Author(s)
      Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima.
    • Organizer
      The 21st International, Joint Conference on Artificial Intelligence (TJCAT-09)
    • Place of Presentation
      Pasadena, USA
    • Year and Date
      2009-07-14
  • [Presentation] Toward an Efficient Equality Computation in Connection Tableaux : A Modification Method without Symmetry Transformation.2009

    • Author(s)
      Koji Iwanuma, Hidetomo Nabeshima Katsumi Inoue.
    • Organizer
      The 7th International Workshop on First-Order Theorem Proving (FTP 2009)
    • Place of Presentation
      Oslo, Norway
    • Year and Date
      2009-07-06
  • [Presentation] Comparing Abductive Theories.2008

    • Author(s)
      Katsumi Inoue, Chiaki Sakama.
    • Organizer
      The 18th European Conference on Artificial Intelligence (ECAI 2008)
    • Place of Presentation
      Patras, Greece
    • Year and Date
      2008-07-24
  • [Book] 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

    • Author(s)
      Yoshitaka Yamamoto, Katsumi Inoue,Andrei Doncescu.
    • Publisher
      Wiley Book Series on Bioinformatics
  • [Remarks] ホームページ

    • URL

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

URL: 

Published: 2012-02-13   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi