Sciweavers

Share
ECAI
2004
Springer

Towards a Logical Analysis of Biochemical Reactions

10 years 9 months ago
Towards a Logical Analysis of Biochemical Reactions
We provide a logical model of biochemical reactions and show how hypothesis generation using weakest sufficient and strongest necessary conditions may be used to provide additional information in the context of an incomplete model of metabolic pathways. 1 A Logical Model for the Analysis of Biochemical Reactions The analysis of biochemical pathways has been considered in numerous papers (see, e.g., [1, 2]). In this paper, a bipartite graph representation of chemical reactions will be used (see, e.g., [2]). It is assumed that any reaction is specified by: n : c1 + . . . + ck α(n) −→ c1 + . . . + cl, (1) where n is a label (name) of the reaction, c1, . . . , ck are reactants (inputs for n), c1, . . . , cl are products of n and α(n) is a formula that specifies additional conditions necessary for the reaction, such as temperature, pressure, presence of catalyzers, etc. In this paper, the classical first-order logic is used for specifying reactions. Reaction nodes will be represe...
Patrick Doherty, Steve Kertes, Martin Magnusson, A
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where ECAI
Authors Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas
Comments (0)
books