Méthodes avancées de raisonnement en logique propositionnelle : application aux réseaux métaboliques - Laboratoire Interdisciplinaire des Sciences du Numérique Access content directly
Theses Year : 2016

Advanced reasoning methods in propositional logics: application to metabolic networks

Méthodes avancées de raisonnement en logique propositionnelle : application aux réseaux métaboliques

Abstract

The thesis deals with the application and extension of SAT and SMT methods for systems biology. Focus is more particularly on problems issued from study of metabolic networks. State of the art in the study of metabolic networks uses linear programming which is very efficient for enumerating all solutions. In order to compte with linear programming we do not consider the enumeration of all pathways but of those verifying user-specified constraints. The use of SMT and those supplementary constraints allow us using optimizations inaccessible to linear programming.
La thèse s'intéresse à l'application et l'extension des méthodes SAT et SMT pour la biologie des systèmes. Plus particulièrement sont visées les problématiques issues de l'étude des réseaux métaboliques. L'état de l'art dans l'étude des réseaux métaboliques utilise de la programmation linéaire qui est extrêmement efficace pour lister toutes les solutions. Afin de pouvoir concurrencer la programmation linéaire nous nous orientons non pas vers l'énumération de toutes les voies mais vers l'énumération de voies satisfaisant des contraintes spécifiées par l'utilisateur. L'utilisation de SMT et les contraintes supplémentaires nous permettent d'utiliser des optimisations inaccessibles à la programmation linéaire.
Fichier principal
Vignette du fichier
thesis.pdf (1.55 Mo) Télécharger le fichier
Loading...

Dates and versions

tel-01486750 , version 1 (10-03-2017)

Identifiers

  • HAL Id : tel-01486750 , version 1

Cite

Martin Morterol. Méthodes avancées de raisonnement en logique propositionnelle : application aux réseaux métaboliques. Intelligence artificielle [cs.AI]. Université Paris-Saclay, 2016. Français. ⟨NNT : ⟩. ⟨tel-01486750⟩
266 View
247 Download

Share

Gmail Mastodon Facebook X LinkedIn More