Skip to Main content Skip to Navigation
Theses

Reasoning on the response of logical signaling networks with answer set programming

Santiago Videla 1
1 Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Résumé : Décrypter le fonctionnement des réseaux biologiques est une des missions centrales de la biologie des systèmes. En particulier, les réseaux de transduction du signal sont essentiels pour la compréhension de la réponse cellulaire à des perturbations externes ou internes. Pour faire face à la complexité de ces réseaux, des modélisations aussi bien numériques que formelles sont nécessaires. Nous proposons un cadre de modélisation formelle, dans le cadre de réseaux logiques, afin d'obtenir des prédictions robustes sur le comportement et le contrôle des voies de signalisation. Nous modélisons la réponse des réseaux logiques de signalisation par du raisonnement automatique à l'aide de Programmation par Ensembles-Réponses (Answer Set Programming, ASP). ASP fournit un langage déclaratif pour la modélisation de divers problèmes de représentation des connaissances et de raisonnement. Des solveurs permettent plusieurs modes de raisonnement pour étudier la multitude d'ensembles réponses. En s'appuyant sur la richesse du langage de modélisation et ses capacités de résolution très efficaces, nous utilisons ASP pour modéliser et résoudre trois problèmes dans le contexte des réseaux logiques de signalisation: apprentissage de réseaux booléens, calculs de plan d'expériences, et l'identification des contrôleurs. Globalement, la contribution de cette thèse est de trois ordres. Premièrement, nous introduisons un cadre formel pour la caractérisation et le raisonnement sur la réponse des réseaux logiques de signalisation. Deuxièmement, nous contribuons à une liste croissante d'applications réussies d'ASP en biologie des systèmes. Troisièmement, nous présentons un logiciel fournissant un pipeline complet de raisonnement automatisé sur la réponse des réseaux logiques de signalisation.
Document type :
Theses
Complete list of metadatas

Cited literature [147 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01070436
Contributor : Abes Star :  Contact
Submitted on : Wednesday, October 1, 2014 - 12:32:09 PM
Last modification on : Friday, July 10, 2020 - 4:03:03 PM
Document(s) archivé(s) le : Friday, January 2, 2015 - 10:56:15 AM

File

VIDELA_Santiago.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01070436, version 1

Citation

Santiago Videla. Reasoning on the response of logical signaling networks with answer set programming. Bioinformatics [q-bio.QM]. Université Rennes 1, 2014. English. ⟨NNT : 2014REN1S035⟩. ⟨tel-01070436⟩

Share

Metrics

Record views

587

Files downloads

501