HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

A Machine Learning approach to Biochemical Reaction Rules Discovery

Abstract : Beyond numerical simulation, the possibility of performing symbolic computation on bio-molecular interaction networks opens the way to the design of new automated reasoning tools for biologists/modelers. The Biochemical Abstract machine BIOCHAM provides a precise semantics to biomolecular interaction maps as concurrent transition systems. Based on this formal semantics, BIOCHAM offers a compositional rule-based language for modeling biochemical systems, and an original query language based on temporal logic for expressing biological queries about reachability, checkpoints, oscillations or stability. Turning the temporal logic query language into a specification language for expressing the observed behavior of the system (in wild-life and mutated organisms) makes it possible to use machine learning techniques for completing or correcting biological models semi-automatically. Machine learning from temporal logic formulae is quite new however, both from the machine learning perspective and from the Systems Biology perspective. In this paper, we report on the machine learning system of BIOCHAM which allows to discover, on the one hand, interaction rules from a partial model with constraints on the system behavior expressed in temporal logic, and on the other hand, kinetic parameter values from a temporal logic specification with constraints on numerical concentrations.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

Contributor : Sylvain Soliman Connect in order to contact the contributor
Submitted on : Monday, November 21, 2005 - 2:54:59 PM
Last modification on : Thursday, February 3, 2022 - 11:18:16 AM
Long-term archiving on: : Friday, April 2, 2010 - 5:52:52 PM


  • HAL Id : inria-00000812, version 1



Laurence Calzone, Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman. A Machine Learning approach to Biochemical Reaction Rules Discovery. Proceedings of Foundations of Systems Biology and Engineering , 2005, Santa Barbara, pp.375--379. ⟨inria-00000812⟩



Record views


Files downloads