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...

• Type: Conference
• Year: 2004
• Where: ECAI
• Authors: Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas
• Keywords: Artificial Intelligence, Biochemical Reactions, ECAI 2004, Logical Model, Strongest Necessary Conditions