Jakob L. Andersen, Akbar Davoodi, Rolf Fagerberg, Christoph Flamm, Walter Fontana, Juri Kolčák, Christophe V. F. P. Laurent, Daniel Merkle, Nikolai Nøjgaard
{"title":"Automated Inference of Graph Transformation Rules","authors":"Jakob L. Andersen, Akbar Davoodi, Rolf Fagerberg, Christoph Flamm, Walter Fontana, Juri Kolčák, Christophe V. F. P. Laurent, Daniel Merkle, Nikolai Nøjgaard","doi":"arxiv-2404.02692","DOIUrl":null,"url":null,"abstract":"The explosion of data available in life sciences is fueling an increasing\ndemand for expressive models and computational methods. Graph transformation is\na model for dynamic systems with a large variety of applications. We introduce\na novel method of the graph transformation model construction, combining\ngenerative and dynamical viewpoints to give a fully automated data-driven model\ninference method. The method takes the input dynamical properties, given as a \"snapshot\" of the\ndynamics encoded by explicit transitions, and constructs a compatible model.\nThe obtained model is guaranteed to be minimal, thus framing the approach as\nmodel compression (from a set of transitions into a set of rules). The\ncompression is permissive to a lossy case, where the constructed model is\nallowed to exhibit behavior outside of the input transitions, thus suggesting a\ncompletion of the input dynamics. The task of graph transformation model inference is naturally highly\nchallenging due to the combinatorics involved. We tackle the exponential\nexplosion by proposing a heuristically minimal translation of the task into a\nwell-established problem, set cover, for which highly optimized solutions\nexist. We further showcase how our results relate to Kolmogorov complexity\nexpressed in terms of graph transformation.","PeriodicalId":501325,"journal":{"name":"arXiv - QuanBio - Molecular Networks","volume":"1 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - QuanBio - Molecular Networks","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2404.02692","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
The explosion of data available in life sciences is fueling an increasing
demand for expressive models and computational methods. Graph transformation is
a model for dynamic systems with a large variety of applications. We introduce
a novel method of the graph transformation model construction, combining
generative and dynamical viewpoints to give a fully automated data-driven model
inference method. The method takes the input dynamical properties, given as a "snapshot" of the
dynamics encoded by explicit transitions, and constructs a compatible model.
The obtained model is guaranteed to be minimal, thus framing the approach as
model compression (from a set of transitions into a set of rules). The
compression is permissive to a lossy case, where the constructed model is
allowed to exhibit behavior outside of the input transitions, thus suggesting a
completion of the input dynamics. The task of graph transformation model inference is naturally highly
challenging due to the combinatorics involved. We tackle the exponential
explosion by proposing a heuristically minimal translation of the task into a
well-established problem, set cover, for which highly optimized solutions
exist. We further showcase how our results relate to Kolmogorov complexity
expressed in terms of graph transformation.