A Logical Model for Metabolic Networks with Inhibition - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue South American Journal of Logic Année : 2015

A Logical Model for Metabolic Networks with Inhibition

Résumé

Metabolic networks formed by long sequences of biochemical reactions have been widely investigated to determine the catalytic role of genomes and how they interfere in the process. Many tumors have been reported to be the result of a pathology in the cell’s pathway. Knowing that the complexity of the imbrication of such networks is beyond human reasoning, the use of artificial intelligence to help scientists in their experiments might seem adapted. This paper aims to present 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 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
13-Demelombe-Farinas-Obeid-SAJL.pdf (692.84 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-04127894 , version 1 (14-06-2023)

Identifiants

  • HAL Id : hal-04127894 , version 1

Citer

Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid. A Logical Model for Metabolic Networks with Inhibition. South American Journal of Logic , 2015, 1 (1), pp.299-319. ⟨hal-04127894⟩
18 Consultations
9 Téléchargements

Partager

Gmail Facebook X LinkedIn More