Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download

https://hal.inria.fr/inria-00520287
Contributor : Christophe Lecoutre <>
Submitted on : Wednesday, September 22, 2010 - 6:38:13 PM
Last modification on : Thursday, November 26, 2020 - 10:30:09 AM
Long-term archiving on: : Thursday, December 23, 2010 - 3:15:31 AM

File

chhel.pdf
Explicit agreement for this submission

Identifiers

  • 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. ⟨inria-00520287⟩

Share

Metrics

Record views

178

Files downloads

757