| 研究分担者 |
佐藤 泰介 東京工業大学, 情報理工学研究科, 教授 (90272690)
亀谷 由隆 東京工業大学, 情報理工学研究科, 助教 (60361789)
岩沼 宏治 山梨大学, 医学工学総合研究部, 教授 (30176557)
鍋島 英知 山梨大学, 医学工学総合研究部, 准教授 (10334848)
坂間 千秋 和歌山大学, システム工学部, 教授 (20273873)
|
|---|
| 研究概要 |
以下に示すような当初設定した(A)～(C)の研究分担にしたがって研究を進めた.
(A1)演繹推論による仮説発見システムの開発:帰納推論の効率化と高度化のために,SOL結論発見手続きに等号推論を効果的に組み込む手法について,Modification法の改良による推論の高速化技術,等号を含む結論発見の完全性等の理論的性質について考察した.また,大規模仮説発見問題を解くために,複数の観測事例に対し,個別の観測に対する仮説を生成した後に統合する分割統治法に基づく手法を考案し,結論発見システムSOLARに組み込んだ.
(A2)帰納推論による仮説発見システムの開発:論理ベースの仮説発見手続きであるCF帰納法において,ユーザーが欲する仮説を特徴仮説集合と呼ぶ解集合に限定した枚挙アルゴリズムを構築した.また,SOLARを用いて,メタアブダクションと呼ばれる,規則を生成する新たなアブダクション方式を開発した.
(B1)確率的な仮説選択手法の開発:論理関数をコンパクトに表現するBDDを用いて確率計算を行う研究を進め,複数のBDDの共通部分を共用するshared BDD上の確率計算法および確率パラメータ学習法を提案した.また,機械学習における実数値データの重要性に鑑み,実数値データをガウシアン隠れマルコフモデルにより離散データに変換するアルゴリズムを導出し,生物学データに適用して有効性を確認した.
(B2)非確率的な仮説選択手法の開発:遺伝子間の相互作用をモデル化するために,遺伝子状態を論理プログラムの解集合を使って表現し,複数の遺伝子間の相互作用を複数のプログラムが持つ解集合の相互作用として形式化した.
(C)システム生物学における仮説発見:(A1)-(B1)を組み合わせて,パスウェイ上の反応の阻害関係を表す仮説を計算する問題に適用し,SOLARが出力する複数仮説を評価し,生物学者が見て合理的な解を得ることに成功した.また,代謝経路において目標代謝物集合を生成するための極小の反応集合を命題論理を用いて求める手法を開発した.
|
