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

2012 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number 22700141
Research InstitutionUniversity of Yamanashi

Principal Investigator

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

Project Period (FY) 2010-04-01 – 2013-03-31
Keywords仮説枚挙 / システム生物学 / 帰納推論 / グルコース抑制 / CF帰納法 / パスウェイ補完
Research Abstract

当初計画した研究計画に基づき,以下に示す2つの研究課題に取り組んだ.
1.CF帰納法に基づく仮説枚挙システムの実現とその高度化:
ヒューリスティクスを導入した逆包摂法を提案し,昨年度に開発したCF帰納法に基づく仮説推論システムに導入した.また従来の代表的なシステムであるProgolと生成される仮説の予測精度に関する比較を行いその性能を実証的に評価した.さらにCF帰納法の手続きの中で必要となる非単調双対化処理について理論的な考察を進め,非単調双対化問題が2つの単調双対化問題に変換できることを明らかにした.本研究の成果は当該分野の国際会議の一つであるInt. Conf. on Inductive Logic Programming (2012) において発表し,前者の研究成果については,Revised and selected papersの一つとして採録された.
2.帰納推論技術による酵母菌のグルコース抑制に関する知識発見:
酵母菌のグルコース抑制に関する論理モデルについて,観測データである各変異株における遺伝子発現データを用いて,論理的に可能性のある未知のインタラクションを推定・補完する手法を構築した.またその結果について生物学の専門家からヒアリングおよび専門データベースとの照合を通して検証を行った.その結果,データベース上ですでに存在が確認されていたものを含め実際に有用な複数のインタラクションを抽出することに成功した.また,モデルの定性的検証方法について再検討を行い,4値論理の枠組みを用いて遺伝子発現の変化量データを定性的に扱うモデル検査手法を提案した.またこの結果は,情報処理学会バイオ情報学第29回研究会において発表した.

Current Status of Research Progress
Reason

24年度が最終年度であるため、記入しない。

Strategy for Future Research Activity

24年度が最終年度であるため、記入しない。

  • Research Products

    (5 results)

All 2013 2012 Other

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

  • [Journal Article] Heuristic Inverse Subsumption in Full-clausal Theories2013

    • Author(s)
      Y. Yamamoto, K. Inoue, K. Iwanuma (Y. Yamamoto)
    • Journal Title

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

      Volume: 7842 Pages: 241-256

    • Peer Reviewed
  • [Journal Article] Non-monotone Dualization via Monotone Dualization2012

    • Author(s)
      Y. Yamamoto, K. Iwanuma, K. Inoue (Y. Yamamoto)
    • Journal Title

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

      Volume: 975 Pages: 74-79

    • Peer Reviewed
  • [Presentation] 多値論理を用いた生体ネットワークシステムのモデル検査2012

    • Author(s)
      坂本 悠,山本 泰生,岩沼 宏治 (坂本 悠)
    • Organizer
      情報処理学会 バイオ情報学第29回研究会 (SIG-BIO)
    • Place of Presentation
      沖縄科学技術大学院大学 (沖縄県)
    • Year and Date
      20120629-20120629
  • [Presentation] 時系列信号処理に基づくSAT解法: Wave-SATソルバの実現に向けて2012

    • Author(s)
      宮城 智輝,山本 泰生,岩沼 宏治 (宮城 智輝)
    • Organizer
      人工知能学会全国大会 (第26回)
    • Place of Presentation
      山口県教育会館 (山口県)
    • Year and Date
      20120612-20120612
  • [Remarks] CF帰納法に基づく仮説推論システム

    • URL

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

URL: 

Published: 2014-07-24  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi