Carla : acquisition et induction sur le materiau compositionnel

par Francis Courtot

Thèse de doctorat en Informatique

Sous la direction de Marie-Odile Cordier.

Soutenue en 1992

à Rennes 1 .

    mots clés mots clés


  • Résumé

    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

  • Titre traduit

    Carca: acquisition and induction on compositional material


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (V-151 p.).
  • Annexes : 115 REF

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : I-COU
  • Bibliothèque : Université Charles de Gaulle. Centre d'Étude des Arts Contemporains. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : 181 COUR
  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1992/9
  • Bibliothèque : Ecole nationale supérieure de sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Cote : I 1. 1. COU.
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.