| Budget Amount *help |
¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
Fiscal Year 2015: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2014: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2013: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
|
|---|
| Outline of Final Research Achievements |
This research aims at improving logic-based hypothesis-finding methods and furthermore prompting to apply them to real problems in systems biology. First, we focus on so-called Inverse Subsumption (IS), which is a novel approach for finding hypotheses from observations with the background theory. Recently, it has been growing interests in IS to find such hypotheses that cannot be inherently obtained by the previously proposed approach. IS however has yet to achieve sufficient scalability in real problems. We consider to improve the two procedures of IS (dualization and subsumption-lattice search) in this research. Next, we focus on so-called SGBN, which is the standard markup language to describe molecular networks in systems biology. We establish an efficient way to translate SBGN into first-order logic (FOL). Together with SBGN-FOL translation, we apply hypothesis-finding methods to derive new knowledge in real SBGN-based molecular networks of cells.
|
