Résumé
Issue de la biologie de la conservation, la planification systématique de la conservation (PSC) est une approche pratique qui se propose de fournir une aide à la décision dans la planification des actions de conservation en intégrant les objectifs écologiques avec les contraintes des gestionnaires. Basée sur la modélisation, l’optimisation et l’informatique, la PSC offre un cadre rationnel pour aborder les problématiques environnementales et réduire le fossé entre recherche et gestion.Dans cette thèse, nous avons introduit une approche formelle pour modéliser et résoudre des problèmes de PSC basée sur la programmation par contraintes, une méthode issue de l'intelligence artificielle et fondée sur le raisonnement automatique. Notre motivation principale était d'apporter plus d'expressivité à la PSC (i.e. d'accroître l'étendue et la variété des problèmes qui peuvent être représentés et résolus), notamment par l'intégration de contraintes spatiales avancées et d'indices du paysage. Cette approche permet également d’obtenir des garanties sur la qualité des solutions produites (satisfaisabilité, optimalité) qui peuvent améliorer considérablement la qualité de l'aide à la décision.Nous avons appliqué cette approche sur des données réelles issues des forêts de Nouvelle-Calédonie, un point chaud de la biodiversité qui doit faire face à de nombreux défis pour la conservation de sa biodiversité. Le contexte développé, insulaire et peu peuplé de cet archipel permet une grande proximité entre les différents acteurs de la conservation, ce qui en fait un terrain d'étude approprié pour expérimenter de nouveaux outils pour la conservation. Nous avons illustré cette particularité à travers un cas d'étude mené en étroite collaboration avec les gestionnaires du parc provincial de la « Côte Oubliée -– Woen Vùù – Pwa Pereeù ». Dans cette étude, nous avons fourni une aide à la décision dans un projet de reforestation, en mettant l'accent sur la réduction de la fragmentation et l'amélioration de la connectivité structurelle. Dans l'ensemble, nous avons démontré le caractère générique, la flexibilité et l'expressivité de l'approche basée sur les contraintes appliquée à la PSC. Nos résultats ont également ouvert de nouvelles perspectives pour l'aide à la décision en Nouvelle-Calédonie, la PSC, et la programmation par contraintes.