Best viewed in 24pt and full-screen
next up previous contents
Next: Des démonstrateurs enfouis Up: Applications Previous: Applications

Technologie mixte

Le système de reconnaissance automatique de partitions d'orchestre (plusieurs pupitres et plusieurs voix) conçu par Bertrand Coüasnon [Coüasnon et al. 95, Coüasnon 96] est une application particulièrement intéressante par la complexité de sa mise en tex2html_wrap52064uvre. Elle combine la reconnaissance de primitives graphiques par des méthodes de type traitement du signal, et la reconnaissance de leur agencement formalisé à l'aide d'une grammaire bidimensionnelle. C'est le second type de reconnaissance qui emploie tex2html_wrap_inline56836Prolog.

L'objectif de cette recherche était d'étudier comment la connaissance de l'application (ici, reconnaissance de partitions d'orchestre, mais plus généralement reconnaissance d'un type particulier de document formaté) permet de traiter des documents de mauvaise qualité où les primitives graphiques sont altérées. Ici, des symboles musicaux peuvent être collés entre eux, d'autres peuvent être scindés en parties déconnectées, des pixels peuvent être attribués à tort à des symboles musicaux alors qu'ils appartiennent aux lignes de portée et vice-versa, et enfin les lignes de portée peuvent ne pas être droites (effet fréquent de la photocopie) ou être interrompues. De plus, et indépendamment de la qualité de la reproduction du document, sa composition peut être imprécise, avec en particulier un alignement vertical des différentes voix qui ne respecte pas les temps. Cela arrive surtout pour des partitions composées à la main. La connaissance a priori du format des partitions d'orchestre permet au système de reconnaissance de s'attendre à trouver tel ou tel symbole en tel ou tel endroit, et de l'y trouver même mutilé. Le slogan «pas de reconnaissance sans connaissance a priori» résume cette idée.

Une des originalités de ce système est que les deux niveaux de reconnaissance communiquent dans les deux sens. C'est d'ailleurs pourquoi l'auteur de ce système a choisi tex2html_wrap_inline52896* pour le mettre en tex2html_wrap52064uvre. Le système tex2html_wrap_inline52896 permet d'interfacer de manière complexe un composant symbolique écrit en tex2html_wrap_inline56836Prolog et un composant numérique. Dans le cas de cette application, le niveau traitement du signal extrait d'une image binaire des primitives graphiques qu'il communique au niveau grammatical. Celui-ci tente d'y reconnaître les éléments d'une partition, et lorsqu'il n'y arrive pas demande au premier niveau de scinder ou amalgamer des primitives selon ce que suggère la connaissance a priori. Cette manière de faire permet de restaurer les informations altérées dans un document de mauvaise qualité graphique en utilisant la connaissance a priori codée sous la forme d'une grammaire bidimensionnelle de partition qui décrit le «langage» des armures, des altérations, etc.

C'est seulement dans un second temps que Coüasnon a utilisé le potentiel de l'ordre supérieur pour manipuler des structures complexes. Ainsi, la partie symbolique du reconnaisseur de partition est produite automatiquement à partir de la grammaire bidimensionnelle des partitions. C'est à nouveau un cas de métaprogrammation. L'analyseur produit utilise intensivement le prédicat de contrôle freeze pour s'affranchir de la stratégie de sélection des buts de gauche à droite. Cette application contient environ 8000 lignes de tex2html_wrap_inline56836Prolog, 2000 de grammaire des partitions d'orchestre, et 20000 de C et C++. Le temps d'exécution de cette application est également réparti entre la partie numérique et la partie symbolique.

On retrouve cette structure en deux niveaux communiquant dans une application d'analyse de données agriculturales en Australie (Australian Defence Force Academy). Ici, c'est un niveau de traitement statistique qui cohabite avec le niveau symbolique. Nous savons assez peu de chose sur cette application car ses auteurs sont fort discrets. C'est la rançon de la distribution anonyme d'un logiciel. Au nombre des utilisations «discrètes» de tex2html_wrap_inline52896 on peut compter aussi la synthèse de circuits intégrés à l'université d'Oxford [McPhee 95]. Notons enfin que cette application utilise aussi de manière cruciale la faculté de suspendre l'exécution d'un but (gel ou freeze).


next up previous contents
Next: Des démonstrateurs enfouis Up: Applications Previous: Applications

Olivier Ridoux
Mon Apr 27 11:10:23 MET DST 1998