Conception d'un système ASP basé sur une nouvelle sémantique et application aux problèmes biologiques
Auteur / Autrice : | Tarek Khaled |
Direction : | Belaïd Benhamou |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance le 16/12/2019 |
Etablissement(s) : | Aix-Marseille |
Ecole(s) doctorale(s) : | Ecole doctorale Mathématiques et Informatique de Marseille (Marseille ; 1994-....) |
Partenaire(s) de recherche : | Laboratoire : Laboratoire d’Informatique et Systèmes (LIS) (Marseille, Toulon) |
Jury : | Président / Présidente : Pierre Siegel |
Examinateurs / Examinatrices : Dalila Boughaci | |
Rapporteurs / Rapporteuses : Chumin Li, Lakhdar Saïs |
Mots clés
Mots clés contrôlés
Mots clés libres
Résumé
La programmation par ensemble réponse (Answer Set Programming, ASP) est un paradigme de programmation déclaratif basé sur la logique. Dans la première partie de la thèse, nous exploitons une nouvelle sémantique pour les programmes logiques dans la conception d'un nouveau système ASP. La sémantique nous donne la possibilité de calculer tous les modèles stables d'un programme logique, et de calculer des extra-modèles lorsque le programme logique n'a pas de modèles stables. Nous avons aussi proposé une approche pour exploiter les symétries et éviter ainsi l'exploration d'espaces isomorphes dans l'arbre de recherche. Les symétries sont traitées de manière statique en ajoutant dans une phase de prétraitement des contraintes supplémentaires pour les éliminer. La seconde partie de la thèse traite les problèmes biologiques via l'approche ASP décrite en première partie. Dans un premier temps, nous avons proposé une méthode dédiée à la recherche d’attracteurs pour un mode de mise à jour choisi (synchrone ou asynchrone). Dans cette approche, la détection d'attracteurs passe par la simulation de la dynamique des réseaux booléens, puis par la vérification de l'existence des attracteurs. Dans un second temps, une approche pour la détection d’attracteurs est proposée. Dans celle-ci, aucune simulation n'est effectuée. L'approche se concentrera sur le cas particulier des circuits qui jouent un rôle important dans les systèmes biologiques. Nous avons mentionné qu'il existe certaines propriétés communes entre les circuits et la nouvelle sémantique. En plus de la recherche d'attracteurs, nous avons traité la formalisation et le raisonnement sur des réseaux de gènes