Etude et réalisation d'un système de satisfaction de contraintes avec application à l'harmonisation musicale40

P. Roy

IBP-Laforia 1995/06: Rapport de Recherche Laforia / Laforia research reports
 pages - Mai/May 1995 - French document.

PostScript : 128 Ko /Kb

Titre / Title: Etude et réalisation d'un système de satisfaction de contraintes avec application à l'harmonisation musicale40

Résumé : Ce rapport est une mise à jour du rapport de stage de DEA IRO de Pierre Roy, effectué au LAFORIA de juin à septembre 1994. Il concerne l'étude de l'état de l'art en matière de techniques de propagation de contraintes, en particulier les techniques dites d' arc-cohérence, et une implémentation en Smalltalk-80 des algorithmes principaux. En outre, ce travail comporte une application de ces techniques à un problème réputé difficile: l'harmonisation automatique de chorals à 4 voix. Les résultats de ce système sont comparés aux approches existantes. Ils montrent que l'utilisation systématique d'objets, au sens de la PPO (structure et méthodes) permet de réduire considérablement la complexité du système, en limitant le nombre de variables contraintes.

Abstract : This is the final version of Pierre Roy's report for his research project (DEA-IRO) spent at LAFORIA from June to September 1994. It concerns the study of the state of the art in constraint propagation techniques, especially arc consistency techniques, and an implementation in Smalltalk of the main algorithms. Moreover, we applied these techniques to a problem known to be hard: automatic harmonization of four-voice chorals. The performances of the resulting system are compared to previous approaches. They show that the systematic use of objects (structures and methods) allows to reduce drastically the system's complexity by limiting the number of constrained variables.

Publications internes Laforia 1995 / Laforia research reports 1995