Caractérisation de souches bactériennes à l'aide de la logique propositionnelle

Résumé : Dans le domaine de la biologie végétale, l'acquisition des données n'est plus forcément un problème majeur mais leur traitement et leur utilisation soulèvent toujours des difficultés. Nous nous intéressons plus particulièrement ici à la caractérisation des souches de bactéries phytopathogènes constitue un enjeu important dans l'étude des pathologie végétales. De plus, les dégâts générés par ces bactéries sur les cultures ou leurs dangerosités (certaines sont recensées sur des listes d'organismes de quarantaine voire même sur des listes de bio-terrorisme) nécessite le développement rapide de tests de diagnostic permettant de déceler de telles menaces. A l'aide de données fournies par les biologistes indiquant la présence ou l'absence de gènes dans des souches bactériennes, nous proposons une modélisation du problème comme la recherche de formules en logique propositionnelle. Nous prouvons ensuite que ce problème appartient à la classe de complexité Sigma^p_2-complet. Enfin, nous proposons une méthode algorithmique permettant d'obtenir les plus petites caractérisations possibles. Cette méthode nous a permis de caractériser certaines souches et des tests de diagnostic ont pu être ainsi produits et utilisés.
Type de document :
Communication dans un congrès
JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.101-102, 2010
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00520287
Contributeur : Christophe Lecoutre <>
Soumis le : mercredi 22 septembre 2010 - 18:38:13
Dernière modification le : mercredi 21 février 2018 - 15:48:03
Document(s) archivé(s) le : jeudi 23 décembre 2010 - 03:15:31

Fichier

chhel.pdf
Accord explicite pour ce dépôt

Identifiants

  • HAL Id : inria-00520287, version 1

Collections

Citation

Fabien Chhel, Frédéric Lardeux, Frédéric Saubion. Caractérisation de souches bactériennes à l'aide de la logique propositionnelle. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.101-102, 2010. 〈inria-00520287〉

Partager

Métriques

Consultations de la notice

112

Téléchargements de fichiers

216