Recherche adaptative et contraintes musicales
نویسندگان
چکیده
RÉSUMÉ. Cet article présente un environnement de résolution de contraintes (CSP) musicales, basé sur le langage visuel OpenMusic. Nous présentons notamment une implémentation d’un algorithme de recherche locale, appelé recherche adaptative, dans le domaine musical. La recherche adaptative reprend le principe de résolution par optimisation d’une fonction de coût, mais en affinant la notion de coût de manière à tenir compte du poids de chaque variable. Nous montrons qu’un algorithme incomplet est particulièrement bien adapté dans le cas des CSP musicaux. Les premiers résultats expérimentaux sur des problèmes musicaux réels sont satisfaisants, notamment en temps de calcul.
منابع مشابه
Recherche locale dichotomique pour la résolution des CSP continus
RÉSUMÉ. Nous présentons un algorithme heuristique pour déterminer une solution d’un problème de satisfaction de contraintes continu. Cet algorithme, appelé Recherche Locale Dichotomique ( ), combine la recherche locale, la bissection et la contraction d’intervalles avec la propagation de contraintes. Nous présentons des résultats expérimentaux et les comparons avec un algorithme de recherche lo...
متن کاملGroupe de recherches musicales (GRM). Musique et informatique
Le Groupe de recherches musicales (GRM) de l’Ina1 est un témoin et acteur majeur de l’histoire de la musique depuis la deuxième moitié du XX siècle jusqu’à nos jours. Né en 1948 suite aux expériences de Pierre Schaeffer autour de la radio et de l’utilisation des outils radiophoniques pour la création musicale, la longue trajectoire du Groupe épouse l’histoire des technologies ainsi que l’évolut...
متن کاملDescription structurelle automatique de documents musicaux
Une nouvelle méthodologie d’extraction de motifs répétés au sein de partitions musicales est présentée. L’automatisation de la recherche de répétitions permet un approfondissement de l’analyse musicale, et rend possible la conception d’outils de gestion des masses de données musicales. L’approche proposée consiste en une explicitation des facteurs de redondance structurelle sousjacents à une te...
متن کاملRéutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne
D’années en années, le succès des approches basées sur SAT dans de nombreux domaines a contribué à la création de solveurs SAT robustes, efficaces, et pensés pour être réutilisables dans des applications tierces. Dans de nombreux cas, ces applications utilisent l’interface incrémentale des prouveurs SAT proposée par Minisat, qui leur permet d’utiliser les solveurs SAT comme des boites noires, c...
متن کاملUn modèle d'exécution réactif et interactif pour la programmation logique avec contraintes
Nous définissons un modèle d’exécution réactif et interactif pour la programmation logique avec contraintes (PLC). Ce modèle d’exécution s’appuie d’une part sur un système de transformation des dérivations CSLD pour l’ajout et le retrait de contraintes et d’atomes dans la requête, et d’autre part sur un résolveur de contraintes dynamiques supportant l’ajout et le retrait incrémental de contrain...
متن کامل