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

2011 Fiscal Year Final Research Report

Inference-based Hypothesis-finding and its Application to Systems Biology

Research Project

  • PDF
Project/Area Number 20240016
Research Category

Grant-in-Aid for Scientific Research (A)

Allocation TypeSingle-year Grants
Section一般
Research Field Intelligent informatics
Research InstitutionNational Institute of Informatics

Principal Investigator

INOUE Katsumi  国立情報学研究所, 情報学プリンシプル研究系, 教授 (10252321)

Co-Investigator(Kenkyū-buntansha) SATO Taisuke  東京工業大学, 大学院・情報理工学研究科, 教授 (90272690)
KAMEYA Yoshitaka  東京工業大学, 大学院・情報理工学研究科, 助教 (60361789)
IWANUMA Koji  山梨大学, 大学院・医学工学総合研究部, 教授 (30176557)
NABESHIMA Hidetomo  山梨大学, 大学院・医学工学総合研究部, 准教授 (10334848)
YAMAMOTO Yoshitaka  山梨大学, 大学院・医学工学総合研究部, 助教 (30550793)
SAKAMA Chiaki  和歌山大学, システム工学部, 教授 (20273873)
Co-Investigator(Renkei-kenkyūsha) FUJIYAMA Asao  国立情報学研究所, 情報学プリンシプル研究系, 教授 (60142311)
Project Period (FY) 2008 – 2011
Keywords人工知能 / 推論 / システム生物学 / 仮説発見 / 結論発見 / 確率推論 / 帰納論理プログラミング / アブダクション
Research Abstract

Systems biology is an emergent field that aims to understand living organisms as biological systems. To find useful information from biological data, we focus on inference methods, induction and abduction, based on logic-based Artificial Intelligence. Both abduction and induction are used to infer hypotheses in inductive logic programming(ILP), and can be implemented using the consequence finding procedure SOLAR. However, in the current inference methods, efficiency of inference needs to be improved, and mechanisms for hypotheses selection are necessarily developed. Hence, the following three subtasks are set in this project:
(1) Improving hypothesis finding methods based on SOLAR and related techniques;
(2) Developing effective hypothesis selection methods based on both statistical and non-statistical approaches;
(3) Applying those methods to problems in systems biology.

  • Research Products

    (28 results)

All 2012 2011 2010 2009 2008 Other

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

  • [Journal Article] Inverse Subsumption for Complete Explanatory Induction2012

    • Author(s)
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
    • Journal Title

      Machine Learning

      Volume: 86(1) Pages: 115-139

    • DOI

      DOI:10.1007/s10994-011-5250-y

    • Peer Reviewed
  • [Journal Article] ILP Turns 20 : Biography and Future Challenges2012

    • Author(s)
      Stephen Muggleton, Luc De Raedt, David Poole, Ivan Bratko, Peter Flach, Katsumi Inoue, Ashwin Srinivasan
    • Journal Title

      Machine Learning

      Volume: 86(1) Pages: 3-23

    • DOI

      DOI:10.1007/s10994-011-5259-2

    • Peer Reviewed
  • [Journal Article] Constraint-based Probabilistic Modeling for Statistical Abduction2011

    • Author(s)
      Taisuke Sato, Masakazu Ishihata, Katsumi Inoue
    • Journal Title

      Machine Learning

      Volume: 83(2) Pages: 241-264

    • DOI

      DOI:10.1007/s10994-010-5206-7

    • Peer Reviewed
  • [Journal Article] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming2011

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Journal Title

      Machine Learning

      Volume: 83(1) Pages: 1-29

    • DOI

      DOI:10.1007/s10994-010-5189-4

    • Peer Reviewed
  • [Journal Article] 一階論理上の等号推論:理論と実際2011

    • Author(s)
      岩沼宏治,鍋島英知,井上克巳
    • Journal Title

      コンピュータソフトウェア

      Volume: 28(4) Pages: 282-305

    • URL

      http://JST.JSTAGE/jssst/28.4_282

    • Peer Reviewed
  • [Journal Article] アブダクションとインダクション2010

    • Author(s)
      井上克巳
    • Journal Title

      人工知能学会誌

      Volume: 25(3) Pages: 389-399

    • URL

      http://ci.nii.ac.jp/naid/110007610263/ja/

    • Peer Reviewed
  • [Journal Article] Oliver Ray SOLAR : An Automated Deduction System for Consequence Finding2010

    • Author(s)
      Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
    • Journal Title

      AI Communications

      Volume: 23(2-3) Pages: 183-203

    • DOI

      DOI:10.3233/AIC-2010-0465

    • Peer Reviewed
  • [Journal Article] Brave Induction : A Logical Framework for Learning from Incomplete Information2009

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Journal Title

      Machine Learning

      Volume: 76(1) Pages: 3-35

    • DOI

      DOI:10.1007/s10994-009-5113-y

    • Peer Reviewed
  • [Journal Article] Equivalence Issues in Abduction and Induction2009

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Journal Title

      Journal of Applied Logic

      Volume: 7(3) Pages: 318-328

    • DOI

      DOI:10.1016/j.jal.2008.10.006

    • Peer Reviewed
  • [Journal Article] Reconsideration of Circumscriptive Induction with Pointwise Circumscription2009

    • Author(s)
      Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
    • Journal Title

      Journal of Applied Logic

      Volume: 7(3) Pages: 307-317

    • DOI

      DOI:10.1016/j.jal.2008.10.005

    • Peer Reviewed
  • [Presentation] Partition-Based Consequence Finding2011

    • Author(s)
      Gauvain Bourgne, Katsumi Inoue
    • Organizer
      The 23rd IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2011)
    • Place of Presentation
      Palm Beach County, Florida, USA
    • Year and Date
      2011-11-09
  • [Presentation] Time Series Discretization via MDL-Based Histogram Density Estimation2011

    • Author(s)
      Yoshitaka Kameya
    • Organizer
      The 23rd IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2011)
    • Place of Presentation
      Palm Beach County, Florida, USA
    • Year and Date
      2011-11-09
  • [Presentation] Comparison of Upward and Downward Generalization in CF-Induction2011

    • Author(s)
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
    • Organizer
      The 21st International Conference on Inductive Logic Programming(ILP 2011)
    • Place of Presentation
      Windsor, Great Park, UK
    • Year and Date
      2011-08-01
  • [Presentation] DNF Hypotheses in Bottom-Directed ILP2011

    • Author(s)
      Katsumi Inoue
    • Organizer
      The 21st International Conference on Inductive Logic Programming(ILP 2011)
    • Place of Presentation
      Windsor, Great Park, UK
    • Year and Date
      2011-08-01
  • [Presentation] Logic Programming for Boolean Networks2011

    • Author(s)
      Katsumi Inoue
    • Organizer
      The 22nd International Joint Conference on Artificial Intelligence(IJCAI-11)
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2011-07-22
  • [Presentation] Dishonest Reasoning by Abduction2011

    • Author(s)
      Chiaki Sakama
    • Organizer
      The 22nd International Joint Conference on Artificial Intelligence(IJCAI-11)
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2011-07-22
  • [Presentation] A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling2011

    • Author(s)
      Taisuke Sato
    • Organizer
      The 22nd International Joint Conference on Artificial Intelligence(IJCAI-11)
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2011-07-22
  • [Presentation] Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology2011

    • Author(s)
      Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato
    • Organizer
      The 2011 International Conference on Bioinformatics Models, Methods and Algorithms(BIOINFORMATICS 2011)
    • Place of Presentation
      Rome, Italy
    • Year and Date
      2011-01-27
  • [Presentation] A Bayesian Hybrid Approach to Unsupervised Time Series Discretization2010

    • Author(s)
      Yoshitaka Kameya, Gabriel Synnaeve, Andrei Doncescu, Katsumi Inoue, Taisuke Sato
    • Organizer
      The 15th Conference on Technologies and Applications of Artificial Intelligence(TAAI 2010)
    • Place of Presentation
      Hsinchu, Taiwan
    • Year and Date
      2010-11-20
  • [Presentation] Abduction of Distributed Theories through Local Interactions2010

    • Author(s)
      Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet
    • Organizer
      The 19th European Conference on Artificial Intelligence(ECAI 2010)
    • Place of Presentation
      Lisbon, Portugal
    • Year and Date
      2010-08-20
  • [Presentation] Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation2010

    • Author(s)
      Takehide Soh, Katsumi Inoue
    • Organizer
      The 6th Conference on Prestigious Applications of Artificial Intelligence(PAIS 2010)
    • Place of Presentation
      Lisbon, Portugal
    • Year and Date
      2010-08-18
  • [Presentation] Hypothesizing about Networks by Meta-level Abduction2010

    • Author(s)
      Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima
    • Organizer
      The 20th International Conference on Inductive Logic Programming(ILP 2010)
    • Place of Presentation
      Firenze, Italy
    • Year and Date
      2010-06-29
  • [Presentation] Evaluating Abductive Hypotheses Using an EM Algorithm on BDDs2009

    • Author(s)
      Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima
    • Organizer
      The 21st International Joint Conference on Artificial Intelligence(IJCAI-09)
    • Place of Presentation
      Pasadena, USA
    • Year and Date
      2009-07-14
  • [Presentation] Toward an Efficient Equality Computation in Connection Tableaux : A Modification Method without Symmetry Transformation2009

    • Author(s)
      Koji Iwanuma, Hidetomo Nabeshima, Katsumi Inoue
    • Organizer
      The 7th International Workshop on First-Order Theorem Proving(FTP 2009)
    • Place of Presentation
      Oslo, Norway
    • Year and Date
      2009-07-06
  • [Presentation] Comparing Abductive Theories2008

    • Author(s)
      Katsumi Inoue, Chiaki Sakama
    • Organizer
      The 18th European Conference on Artificial Intelligence(ECAI 2008)
    • Place of Presentation
      Patras, Greece
    • Year and Date
      2008-07-24
  • [Book] Physiological Analysis of Yeast Cell by Intelligent Signal Processing, Applied Biological Engineering. Principles and Practice, Chapter 192012

    • Author(s)
      Andrei Doncescu, Sebastien Regis, Katsumi Inoue, Nathalie Goma
    • Total Pages
      435-460
  • [Book] Integrating Abduction and Induction in Biological Inference using CF-Induction. In : Huma Lodhi and Stephen Muggleton(eds.), Elements of Computational Systems Biology, Chapter 92009

    • Author(s)
      Yoshitaka Yamamoto, Katsumi Inoue, Andrei Doncescu
    • Total Pages
      213-234
  • [Remarks]

    • URL

      http://research.nii.ac.jp/il/event/project_a.html

URL: 

Published: 2013-07-31  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi