Molecular interaction automated maps

Abstract

Determining the role of genomes and their interference in a cell life cycle has been at the center of metabolic network researches and experiments. Logical representations of such networks aim to guide scientists in their reasoning in general and to help them find inconsistencies and contradictions in their results in particular. This paper presents a new logical model capable of describing both positive (activation) and negative (inhibition) reactions of metabolic pathways based on a fragment of first order logic. An efficient automated deduction method will also be introduced, based on a translation procedure that transform first order formulas into quantifier free formulas.Then questions can either be answered by deduction to predict reaction results or by abductive reasoning to infer reactions and protein states