Hypothesis Enumeration for Knowledge Discovery in Systems Biology

2012 Fiscal Year Final Research Report

• 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
• Keywords: 学習と知識獲得 / 仮説枚挙

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] 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] 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
• [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
  • Year and Date: 20121200
• [Presentation] 多値論理を用いた生体ネットワークシステムのモデル検査 (2012)
  • Author(s): 坂本悠,山本泰生,岩沼宏治
  • Organizer: 情報処理学会バイオ情報学第29回研究会
  • Year and Date: 20120600
• [Presentation] 時系列信号処理に基づくSAT解法: Wave-SATソルバの実現に向けて (2012)
  • Author(s): 宮城智輝,山本泰生,岩沼宏治
  • Organizer: 人工知能学会全国大会 (第26回)
  • Year and Date: 20120600
• [Presentation] 論理モデルによるグルコース抑制機構のパスウェイ補完 (2011)
  • Author(s): 坂本悠,山本泰生,岩沼宏治
  • Organizer: 人工知能学会全国大会 (第25回)
  • Year and Date: 20110600
• [Presentation] 一般双対化問題における冗長節生成の抑制法とその評価 (2011)
  • Author(s): 山本泰生,鍋島英知,岩沼宏治
  • Organizer: 人工知能学会全国大会 (第25回)
  • Year and Date: 20110600
• [Presentation] Incremental Hypothesis Enumeration with Inverse Subsumption (2010)
  • Author(s): Y. Yamamoto
  • Organizer: Imperial College-NII Learning Workshop
  • Year and Date: 20101200
• [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)
  • Year and Date: 20101000
• [Remarks] 仮説推論システム
  • URL: http://www.iwlab.org/our-lab/our-staff/yy/software
• [Remarks] 研究代表者HP
  • URL: http://www.iwlab.org/our-lab/our-staff/yy