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

SAT変換を用いた制約充足問題の解法とシステム生物学への応用

研究課題

研究課題/領域番号 10J02321
研究種目

特別研究員奨励費

配分区分補助金
応募区分国内
研究分野 知能情報学
研究機関大学共同利用機関法人情報・システム研究機構(新領域融合研究センター) (2011)
総合研究大学院大学 (2010)
特別研究員 宋 剛秀  大学共同利用機関法人情報・システム研究機構(新領域融合研究センター), 新領域融合研究センター, 融合プロジェクト特任研究員
研究期間 (年度) 2010 – 2011
研究課題ステータス 完了 (2011年度)
配分額 *注記
1,400千円 (直接経費: 1,400千円)
2011年度: 700千円 (直接経費: 700千円)
2010年度: 700千円 (直接経費: 700千円)
キーワード人工知能 / SAT技術 / インクリメンタルSAT解法 / システム生物学 / 命題論理 / SAT / モデル生成
研究概要

最終年度の報告として、これまでの研究成果について以下にまとめる。
本研究では化学反応法則を満たしつつ入力代謝物集合から出力代謝物集合を生成可能なパスウェイを活性パスウェイ呼び、特にその包含関係において極小なものを極小活性パスウェイと呼ぶ。研究ではまず極小活性パスウェイを列挙する問題を極小活性パスウェイ同定問題として定義を行った。代謝パスウェイの解析を行う際には既存のデータから問題を構築する必要がある。そこで更新頻度において優れていることから、生物学的知識のデータベースEcoCyc(http://ecocyc.org/)から問題を構成して評価を行った。このデータから構成した問題をSAT技術によって解くために本研究では次の枠組みを用いた:(1)まず問題を命題論理式に符号化する、(2)SATソルバを漸増的に適用するインクリメンタルSAT解法を用いて符号化された命題論理式から極小モデルを計算する、(3)得られた極小モデルを逆符号化することで問題の解である極小活性パスウェイを得る。
提案した問題および解法の評価のためにEcoCycのデータから極小活性パスウェイ同定問題を構成し、SAT技術を用いて解を求めた。結果として9個の極小活性パスウェイを同定し、その中の2個が生物学における既存の知識と一致したパスウェイ(参照パスウェイ)であることを確認している。また専門家との議論で提案された制約を命題論理式に追加することでより精緻なパスウェイを計算することに成功した。この成果は国内雑誌論文として発表を行った。また代謝パスウェイに対する解集合プログラミングを用いた解析研究についても国際会議の会議録で発表を行った。
さらにより具体的な生物学の問題に適用するために、大腸菌における単一遺伝子ノックアウトの影響予測を極小活性パスウェイの同定によって行う手法の研究を国立遺伝学研究所の研究チームと共同して進めた。大腸菌の解糖系に対して計算機実験を行った結果,提案手法の予測が生物実験の結果とよく一致することを確認した。この成果は国際会議において発表を行った。

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

本研究の目的は生物学分野における代謝パスウェイの解析に対してSAT技術、特にインクリメンタルSAT解法、を適用し評価を行うことである。最終年度はこれまでの研究成果である極小活性パスウェイ同定問題とその解法、実験結果を博士論文の一部としてまとめ、さらに研究を発展させるために極小活性パスウェイの同定を大腸菌における単一遺伝子欠損の影響予測に適用した。極小活性パスウェイの同定に関する成果は、雑誌論文として発表し、単一遺伝子欠損の影響予測については国際会議論文として発表を行った。このように得られた研究成果をより実際的な生物学の問題へ適用し結果を得ていることが成果として評価できる。

今後の研究の推進方策

研究成果として大腸菌の単一遺伝子欠損の影響予測手法の開発があるが、今後はこの予測手法を発展させることが課題の一つである。具体的には遺伝子の複数欠損の影響予測や、マウスなど他のモデル生物について実験結果を評価・解析することが挙げられる。
これに加えてSAT技術を利用した計算手法の継続的な研究が必要である。特に漸増的に計算を行っていくインクリメンタルSAT解法には、実世界の問題において様々な応用が存在する。インクリメンタルSAT解法についてより詳細な評価と応用を考えることも今後の課題である。

報告書

(2件)
  • 2011 実績報告書
  • 2010 実績報告書

研究成果

(10件)

すべて 2012 2011 2010 その他

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

  • [雑誌論文] Predicting Gtene Knockout Effects by Minimal Pathway Enumeration2012

    • 著者名/発表者名
      Takehide Soh, Katsumi Inoue, Tomoya Baba, Toyoyuki Takada, Toshihiko Shiroishi
    • 雑誌名

      Proceeding of the 4th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies

      ページ: 11-19

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] モデル生成を用いた代謝ネットワークにおける極小活性パスウェイの列挙2012

    • 著者名/発表者名
      宋剛秀, 井上克巳
    • 雑誌名

      人工知能学会論文誌

      巻: 27 号: 3 ページ: 204-212

    • DOI

      10.1527/tjsai.27.204

    • NAID

      130001878758

    • ISSN
      1346-0714, 1346-8030
    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Analyzing Pathways Using ASP-Based Approaches2011

    • 著者名/発表者名
      Oliver Ray, Takehide Soh, Katsumi Inoue
    • 雑誌名

      Algebraic and Numeric Biology : Proceedings of the 2010 International Conference (ANB'10), Lecture Notes in Computer Science

      巻: 6479 ページ: 167-183

    • DOI

      10.1007/978-3-642-28067-2_10

    • ISBN
      9783642280665, 9783642280672
    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010

    • 著者名/発表者名
      Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima.
    • 雑誌名

      Fundamenta Informaticae

      巻: 102(3-4) ページ: 467-487

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation2010

    • 著者名/発表者名
      Takehide Soh, Katsumi Inoue
    • 雑誌名

      Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010)

      ページ: 277-282

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Finding Minimal Reaction Sets in Large Metabolic Pathways2010

    • 著者名/発表者名
      Takehide Soh, Katsumi Inoue
    • 雑誌名

      Proceedings of the Workshop on Constraint Based Methods for Bioinformatics (WCB 2010)

      ページ: 54-68

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [学会発表] 極小活性パスウェイの列挙を用いた大腸菌における遺伝子欠損の影響予測2012

    • 著者名/発表者名
      宋剛秀, 井上克巳, 馬場知哉, 高田豊行, 城石俊彦
    • 学会等名
      情報処理学会第165回知能システム研究発表会
    • 発表場所
      国立情報学研究所
    • 年月日
      2012-01-12
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 極小活性パスウェイの列挙を用いた遺伝子ノックアウトの影響予測2011

    • 著者名/発表者名
      宋剛秀, 井上克巳, 馬場知哉, 高田豊行, 城石俊彦
    • 学会等名
      第47回人工知能学会分子生物情報研究会
    • 発表場所
      慶応義塾大学日吉キャンパス
    • 年月日
      2011-12-15
    • 関連する報告書
      2011 実績報告書
  • [学会発表] モデル生成を用いた代謝ネットワークにおける極小部分パスウェイの同定2010

    • 著者名/発表者名
      宋剛秀, 井上克巳
    • 学会等名
      人工知能学会全国大会
    • 発表場所
      長崎ブリックホール
    • 年月日
      2010-06-09
    • 関連する報告書
      2010 実績報告書
  • [備考]

    • URL

      http://kix.istc.kobe-u.ac.jp/~soh/jp/publications.html

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

URL: 

公開日: 2010-12-03   更新日: 2016-04-21  

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

Powered by NII kakenhi