Une contrainte globale pour une classe de problèmes d’optimisation temporelle

Session : SS10-2 / SS10 : Contraintes
Vendredi 12 février 15:00 - 16:00 Salle : RP13
Alban Derrien, Jean-Guillaume Fages, Thierry Petit et Charles Prud'Homme

Les relations temporelles permettent d’analyser le contenu d’un document pour inférer des informations haut-niveau. L’étude des raisonnements temporels est un domaine de recherche très actif, avec des champs d’application aussi variés que le droit, la bio-informatique ou les médias. Par exemple, récemment des techniques d’intelligence artificielle ont été proposées afin de générer automatiquement le résumé d’un match de tennis, après séquençage de l’enregistrement vidéo et audio. La programmation par contraintes est une technique adaptée à la création de résumés vidéo. Dans ce cadre, les segments vidéo à retenir y sont encodés par les variables, les règles inhérentes à la génération de résumés sportifs (sélectionner les points importants, avoir un contenu homogène, des transitions fluides, etc) sont satisfaites à l’aide des contraintes. Nous suggérons une transcription de combinaisons de relations de l’algèbre des intervalles d’Allen sous la forme d’une contrainte globale. Cette approche permet d’une part de simplifier la déclaration du modèle mais également d’en améliorer la résolution en intégrant une vue globale du problème et ainsi multiplier les déductions.

Mots clés : programmation par contraintes, contraintes globales, recherche opérationnelle, optimisation