Abstract FR:

Le but de cette these est de formaliser des outils de representation et d'apprentissage automatique pour un systeme d'aide a la composition musicale, et ceci afin d'augmenter la liberte du compositeur confronte a ce type de systeme. Cette these a ete realisee dans l'equipe de recherche musicale de l'ircam (institut de recherche et de coordination acoustique musique), qui reunit des chercheurs et des compositeurs. Elle comprend deux parties traitant d'une part de la representation des structures musicales et de leurs transforamtions, et d'autre part de l'apprentissage automatique de nouvelles structures et de nouvelles transformations. Nous representons les structures musicales avec des termes logiques types par des symboles fonctionnels. Les types sont decrits par une structure d'attributs abstraits, permettant de definir des operations primitives sur les elements de ces types. Des operateurs de composition de types sont definis afin de prendre en compte des structures musicales complexes. Ainsi, la plupart des concepts de la musique d'aujourd'hui sont representables dans cette structure de types. Une formalisation des transformations musicales est aussi presentee. Celle-ci permet de generer un ordre d'evaluation sur un ensemble de transforamtions musicales. Cet ordre permet au compositeur de definir des interrogations prolog simples (par l'intermediaire de graphiques) sur les structures musicales qu'il a definies auparavant. La deuxieme partie de la these decrit des outils aidant le compositeur a exprimer sa connaissance (evolutive) dans la structure de representation decrite plus haut. D'une part, des valeurs semantiques adaptees a la musique et des relations entre types (proches des graphes conceptuels de sowa) sont definies. Elles sont utilisees par des heuristiques simples afin de produire de nouveaux types. D'autre part, une nouvelle methode d'induction de programmes logiques est definie comme outil de programmation semi-automatique. Elle permet a un compositeur d'exprimer de nouvelles transformations musicales. On induit par cette methode une forme particuliere de clauses, derivee des clauses connexes et utilisant des termes types. Le typage des termes est utilise pour reduire la recherche. Basee sur la definition de nouveaux operateurs simples d'induction adaptes au domaine de la composition, cette methode permet de reduire le recours a la connaissance de base du systeme ou a l'oracle par rapport aux precedentes methodes d'induction