Hypothesis Enumeration for Knowledge Discovery in Systems Biology

• Project/Area Number: 22700141
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Intelligent informatics
• Research Institution: University of Yamanashi
• Principal Investigator: YAMAMOTO Yoshitaka 山梨大学, 大学院・医学工学総合研究部, 助教 (30550793)
• Research Collaborator: MORIYA Hisao 岡山大学, 異分野融合先端コア, 准教授 (60500808)
• Project Period (FY): 2010 – 2012
• Project Status: Completed (Fiscal Year 2012)
• Budget Amount: ¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000); Fiscal Year 2012: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2011: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2010: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
• Keywords: 学習と知識獲得 / 仮説枚挙 / システム生物学 / 帰納推論 / グルコース抑制 / CF帰納法 / パスウェイ補完

Research Abstract

This research project aims at studying the methodology for finding inductive hypotheses in inductive logic programming (ILP), and applying it to systems biology. We first address two problems: incompleteness and uniqueness in terms of hy

Research Products

• [Journal Article] Heuristic Inverse Subsumption in Full-clausal Theories (2013)
  • Author(s): Y. Yamamoto, K. Inoue, K. Iwanuma
  • Journal Title: 22ndInternational Conference on Inductive Logic Programming (ILP2012) Revised Selected Papers Volume: Vol.7842 Pages: 241-256
• [Journal Article] Heuristic Inverse Subsumption in Full-clausal Theories (2013)
  • 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] Comparison of Upward and Downward Generalizations in CF-induction (2012)
  • Author(s): Y. Yamamoto, K. Inoue, K. Iwanuma
  • Journal Title: 21stInternational Conference on Inductive Logic Programming (ILP2011) Revised Selected Papers, Lecture Notes in Artificial Intelligence Volume: Vol. 7207 Pages: 373-388
• [Journal Article] Non-monotone Dualization via Monotone Dualization (2012)
  • 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
• [Journal Article] Inverse Subsumption for Complete Explanatory Induction (2012)
  • Author(s): Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
  • Journal Title: Machine Learning Volume: 86(1) Issue: 1 Pages: 115-139
  • DOI: 10.1007/s10994-011-5250-y
  • Peer Reviewed
• [Journal Article] Inverse Subsumption for Complete Explanatory Induction (2011)
  • Author(s): Y. Yamamoto, K. Inoue, K. Iwanuma
  • Journal Title: Journal of Machine Learning Volume: Vol.86 Pages: 115-139
• [Journal Article] Comparison of Upward and Downward Generalizations in CF-induction (2011)
  • Author(s): Y.Yamamoto, K.Inoue, K.Iwanuma
  • Journal Title: 21^<st> Int.Conf.on Inductive Logic Programming (An extended version is to appear in Revised Selected Papers from ILP2011, Lecture Notes in Artificial Intelligence, 2012) Volume: (掲載確定)
  • Peer Reviewed
• [Journal Article] From Inverse Entailment to Inverse Subsumption (2010)
  • Author(s): Y.Yamamoto, K.Inoue, K.Iwanuma
  • Journal Title: 20^<th> Int.Conf.on Inductive Logic Programming (ILP 2010)
  • Peer Reviewed
• [Presentation] Late Breaking Papers of the 22nd (2012)
  • Author(s): Y. Yamamoto, K. Iwanuma, K. Inoue.
  • Organizer: International Conference on Inductive Logic Programming (ILP2012)
  • Place of Presentation: CEUR
• [Presentation] 多値論理を用いた生体ネットワークシステムのモデル検査 (2012)
  • Author(s): 坂本悠,山本泰生,岩沼宏治
  • Organizer: 情報処理学会バイオ情報学第29回研究会
• [Presentation] 時系列信号処理に基づくSAT解法: Wave-SATソルバの実現に向けて (2012)
  • Author(s): 宮城智輝,山本泰生,岩沼宏治
  • Organizer: 人工知能学会全国大会 (第26回)
• [Presentation] 多値論理を用いた生体ネットワークシステムのモデル検査 (2012)
  • Author(s): 坂本 悠，山本 泰生，岩沼 宏治 (坂本 悠)
  • Organizer: 情報処理学会 バイオ情報学第29回研究会 (SIG-BIO)
  • Place of Presentation: 沖縄科学技術大学院大学 (沖縄県)
• [Presentation] 時系列信号処理に基づくSAT解法: Wave-SATソルバの実現に向けて (2012)
  • Author(s): 宮城 智輝，山本 泰生，岩沼 宏治 (宮城 智輝)
  • Organizer: 人工知能学会全国大会 (第26回)
  • Place of Presentation: 山口県教育会館 (山口県)
• [Presentation] 一般双対化問題における冗長節生成の抑止法とその評価 (2011)
  • Author(s): 山本泰生, 鍋島英知, 岩沼宏治
  • Organizer: 2011年度人工知能全国大会(JSAI2011)
  • Place of Presentation: いわて県民情報交流センター(岩手)
  • Year and Date: 2011-06-03
• [Presentation] 論理モデルによるグルコース抑制機構のパスウェイ補完 (2011)
  • Author(s): 坂本悠, 山本泰生, 岩沼宏治
  • Organizer: 2011年度人工知能全国大会(JSAI2011)
  • Place of Presentation: いわて県民情報交流センター(岩手)
  • Year and Date: 2011-06-02
• [Presentation] 単調双対化計算に基づく一般双対化問題の解法 (2011)
  • Author(s): 山本泰生, 鍋島英知, 岩沼宏治
  • Organizer: 第81回人工知能学会人工知能基本問題研究会
  • Place of Presentation: 山梨大学(山梨県)
  • Year and Date: 2011-01-31
• [Presentation] 論理モデルによるグルコース抑制機構のパスウェイ補完 (2011)
  • Author(s): 坂本悠,山本泰生,岩沼宏治
  • Organizer: 人工知能学会全国大会 (第25回)
• [Presentation] 一般双対化問題における冗長節生成の抑制法とその評価 (2011)
  • Author(s): 山本泰生,鍋島英知,岩沼宏治
  • Organizer: 人工知能学会全国大会 (第25回)
• [Presentation] Incremental Hypothesis Enumeration with Inverse Subsumption (2010)
  • Author(s): Y. Yamamoto
  • Organizer: Imperial College-NII Learning Workshop
• [Presentation] From Inverse Entailment to Inverse Subsumption (2010)
  • Author(s): Y. Yamamoto, K. Inoue, K. Iwanuma
  • Organizer: 20thInt. Conf. on Inductive Logic Programming (ILP 2010)
• [Remarks] 仮説推論システム
  • URL: http://www.iwlab.org/our-lab/our-staff/yy/software
• [Remarks] 研究代表者HP
  • URL: http://www.iwlab.org/our-lab/our-staff/yy
• [Remarks] CF帰納法に基づく仮説推論システム
  • URL: http://www.iwlab.org/our-lab/our-staff/yy/software
• [Remarks] 研究者HP
  • URL: http://www.iwlab.org/our-lab/our-staff/yy
• [Remarks] 研究者HP:
  • URL: http://www.iwlab.org/our-lab/our-staff/yy
• [Remarks] ILP2010 Best Paper Award:よりSession M1を参照のこと
  • URL: http://ilp2010.dsi.unifi.it/schedule.html