Automated reasoning in metabolic networks with inhibition - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

Automated reasoning in metabolic networks with inhibition


The use of artificial intelligence to represent and reason about metabolic networks has been widely investigated due to the complexity of their imbrication. Its main goal is to determine the catalytic role of genomes and their interference in the process. This paper presents a logical model for metabolic pathways capable of describing both positive and negative reactions (activations and inhibitions) based on a fragment of first order logic. We also present a translation procedure that aims to transform first order formulas into quantifier free formulas, creating an efficient automated deduction method allowing us to predict results by deduction and infer reactions and proteins states by abductive reasoning.
Fichier principal
Vignette du fichier
demolombe_13252.pdf (207.44 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01159682 , version 1 (03-06-2015)



Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid. Automated reasoning in metabolic networks with inhibition. 13th International Conference of the Italian Association for Artificial Intelligence (AI*IA), Dec 2013, Turin, Italy. pp. 37-47, ⟨10.1007/978-3-319-03524-6_4⟩. ⟨hal-01159682⟩
96 View
190 Download



Gmail Facebook X LinkedIn More