Metabolic networks, formed by a series of metabolic pathways, are made of intracellular and extracellular reactions that determine the biochemical properties of a cell, and by a set of interactions that guide and regulate the activity of these reactions. Most of these pathways are formed by an intricate and complex network of chain reactions, and can be represented in a human readable form using graphs which describe the cell cycle checkpoint pathways. This paper proposes a method to represent Molecular Interaction Maps (graphical representations of complex metabolic networks) in Linear Temporal Logic. The logical representation of such networks allows one to reason about them, in order to check, for instance, whether a graph satisfies a given property φ, as well as to find out which initial conditions would guarantee φ, or else how can the graph be updated in order to satisfy φ. Both the translation and resolution methods have been implemented in a tool capable of addressing such questions thanks to a reduction to propositional logic which allows exploiting classical SAT solvers.

Alliot, J., Cialdea, M., Demolombe, R., Diéguez, M., Fariñas del Cerro, L. (2021). A Framework for Modelling Molecular Interaction Maps. JOURNAL OF APPLIED LOGICS, 8(7), 1917-1951.

A Framework for Modelling Molecular Interaction Maps

Marta Cialdea Mayer;
2021-01-01

Abstract

Metabolic networks, formed by a series of metabolic pathways, are made of intracellular and extracellular reactions that determine the biochemical properties of a cell, and by a set of interactions that guide and regulate the activity of these reactions. Most of these pathways are formed by an intricate and complex network of chain reactions, and can be represented in a human readable form using graphs which describe the cell cycle checkpoint pathways. This paper proposes a method to represent Molecular Interaction Maps (graphical representations of complex metabolic networks) in Linear Temporal Logic. The logical representation of such networks allows one to reason about them, in order to check, for instance, whether a graph satisfies a given property φ, as well as to find out which initial conditions would guarantee φ, or else how can the graph be updated in order to satisfy φ. Both the translation and resolution methods have been implemented in a tool capable of addressing such questions thanks to a reduction to propositional logic which allows exploiting classical SAT solvers.
Alliot, J., Cialdea, M., Demolombe, R., Diéguez, M., Fariñas del Cerro, L. (2021). A Framework for Modelling Molecular Interaction Maps. JOURNAL OF APPLIED LOGICS, 8(7), 1917-1951.
File in questo prodotto:
File Dimensione Formato  
2021-ifcolog.pdf

accesso aperto

Descrizione: Parte del numero di journal liberamente disponibile sul sito dell'editore
Tipologia: Versione Editoriale (PDF)
Licenza: DRM non definito
Dimensione 1.22 MB
Formato Adobe PDF
1.22 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11590/387811
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact