Caractérisation de souches bactériennes à l'aide de la logique propositionnelle - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

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

Abstract

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.
Fichier principal
Vignette du fichier
chhel.pdf (26.18 Ko) Télécharger le fichier
Origin : Explicit agreement for this submission
Loading...

Dates and versions

inria-00520287 , version 1 (22-09-2010)

Identifiers

  • HAL Id : inria-00520287 , version 1

Cite

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⟩
83 View
272 Download

Share

Gmail Facebook X LinkedIn More