Apprentissage de règles de réactions biochimiques à partir de propriétés en logique temporelle - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

Apprentissage de règles de réactions biochimiques à partir de propriétés en logique temporelle

Laurence Calzone
Francois Fages
Sylvain Soliman

Abstract

Avec le développement de langages formels pour modéliser les systèmes d' interactions biomoléculaires, la possibilité d'effectuer des calculs symboliques au delà des simulations numér iques ouvre la voie à la conception de nouveaux outils de raisonnement automatique destinés au biologiste modélisateur. La machine abstraite biochimique BIOCHAM est un environnement logiciel qui offre un langage simple de règles pour modéliser les interactions biomoléculaires et un langage original fondé sur la logique temporelle pour formaliser les propriétés biologiques du système. En s'appuyant sur ces deux langages formels, il devient possible d'utiliser des techniques d'apprentissage automatique pour inférer de nouvelles règles de réaction moléculaire à partir de propriétés temporelles observées. Dans ce contexte, le but est de corriger ou compléter les modèles BIOCHAM semi-automatiquement. Dans cet article, nous décrivons le système d'apprentissage automatique de BIOCHAM, qui permet, d'une part, de trouver de nouvelles règles d'interaction à partir d' un modèle partiel et de contraintes exprimées en logique temporelle, et d'autre part, d'estimer les valeurs de paramètres cinétiques à partir de propriétés formalisées en logique temporelle avec contraintes numériques sur les concentrations ou leurs dérivées.
Fichier principal
Vignette du fichier
jobim05.pdf (85.04 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00000813 , version 1 (21-11-2005)

Identifiers

  • HAL Id : inria-00000813 , version 1

Cite

Laurence Calzone, Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman. Apprentissage de règles de réactions biochimiques à partir de propriétés en logique temporelle. Actes de {JOBIM}'05, Jul 2005, Lyon, pp.183--192. ⟨inria-00000813⟩

Collections

INRIA INRIA2
126 View
145 Download

Share

Gmail Facebook X LinkedIn More