The 2008-2011 JSPS Grant-in-Aid for Scientific Research (A)
Inference-based Hypothesis-finding and
its Application to Systems Biology
Purpose of this Research Project
Systems biology is an emergent field that aims to understand living organisms as biological systems.
In particular, it is important to identify master reactions in metabolic pathways,
which are involved in physiological states.
If we can obtain these information,
it helps the way to macroscopically analyze with previous methods like the one using differential equation.
In order to find such information,
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 are characterized in an ILP system called
CF-induction based on
SOL-resolution.
CF-Induction is the only existing system which is sound and complete for finding inductive
hypotheses from full clausal theories, and thus can be used for inducing not only definite
clauses but also non-Horn (indefinite) clauses.
However, the current inference methods need to improve search space exploration and hypotheses selection.
Therefore we set the following tasks to be achieved in this project:
(A) Improving hypothesis finding methods based on SOL-resolution and CF-Induction.
(B) Developing a hypothesis selection method based on both statistical and non-statistical ways.
(C) Applying those methods to systems biology and evaluating it from a biological viewpoint.
Specifically, we aim at finding hypotheses in systems biology by
abduction and induction, then selecting the most likely hypothesis
by computing each probability of hypotheses.
Members
Support
This project is supported by the 2008-2011 JSPS Grant-in-Aid for
Scientific Research (A) (No.20240016).
Meetings
Contact
Takehide Soh: soh at nii.ac.jp
Back
Webmaster: Takehide Soh (E-mail soh at nii.ac.jp)