A framework for modelling Molecular Interaction Maps

08/21/2020
by   Jean-Marc Alliot, et al.
0

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 conditons would guarantee ϕ, or else how can the 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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 3

11/20/2020

LAGNet: Logic-Aware Graph Network for Human Interaction Understanding

Compared with the progress made on human activity classification, much l...
05/29/2019

Path-Augmented Graph Transformer Network

Much of the recent work on learning molecular representations has been b...
03/08/2021

Random 2-cell embeddings of multistars

By using permutation representations of maps, one obtains a bijection be...
06/07/2013

Accomplishable Tasks in Knowledge Representation

Knowledge Representation (KR) is traditionally based on the logic of fac...
03/30/2019

FO = FO3 for linear orders with monotone binary relations

We show that over the class of linear orders with additional binary rela...
03/07/2021

Termination of Multipartite Graph Series Arising from Complex Network Modelling

An intense activity is nowadays devoted to the definition of models capt...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.