Formal verification and automatic learning of logic programs for qualitative modeling with single-cell data - Archive ouverte HAL Access content directly
Theses Year : 2022

Formal verification and automatic learning of logic programs for qualitative modeling with single-cell data

Vérification formelle et apprentissage logique pour la modélisation qualitative à partir de données single-cell

(1)
1
Samuel Buchet
  • Function : Author
  • PersonId : 1147961
  • IdRef : 263235041

Abstract

The understanding of cellular mechanisms occurring inside human beings usually depends on the study of its gene expression.However, genes are implied in complex regulatory processes and their measurement is difficult to perform. In this context, the qualitative modeling of gene regulatory networks intends to establish the function of each gene from the discrete modeling of a dynamical interaction network. In this thesis, our goal is to implement this modeling approach from single-cell sequencing data. These data prove to be interesting for qualitative modeling since they bring high precision, and they can be interpreted in a dynamical way. Thus, we develop a method for the inference of qualitative models based on the automatic learning of logic programs. This method is applied on a single-cell dataset, and we propose several approaches to interpret the resulting models by comparing them with existing knowledge.
La compréhension des mécanismes cellulaires à l’œuvre au sein des organismes vivants repose généralement sur l’étude de leur expression génétique. Cependant, les gènes sont impliqués dans des processus de régulation complexes et leur mesureest difficile à réaliser. Dans ce contexte, la modélisation qualitative des réseaux de régulation génétique vise à établir la fonction de chaque gène à partir de la modélisation discrète d’un réseau d’interaction dynamique. Dans cette thèse, nous avons pour objectif de mettre en place cette approche de modélisation à partir des données de séquençage single-cell. Ces données se révèlent en effet intéressantes pour la modélisation qualitative, car elles apportent une grande précision et peuvent être interprétées de manière dynamique. Nous développons ainsi une méthode d’inférence de modèles qualitatifs basée sur l’apprentissage automatique de programmes logiques. Cette méthode est mise en œuvre sur des données single-cell et nous proposons plusieurs approches pour interpréter les modèles résultants en les confrontant avec des connaissances préétablies
Fichier principal
Vignette du fichier
S_BUCHET.pdf (12.17 Mo) Télécharger le fichier
Origin : Version validated by the jury (STAR)

Dates and versions

tel-03717511 , version 1 (08-07-2022)

Identifiers

  • HAL Id : tel-03717511 , version 1

Cite

Samuel Buchet. Vérification formelle et apprentissage logique pour la modélisation qualitative à partir de données single-cell. Apprentissage [cs.LG]. École centrale de Nantes, 2022. Français. ⟨NNT : 2022ECDN0011⟩. ⟨tel-03717511⟩
84 View
21 Download

Share

Gmail Facebook Twitter LinkedIn More