Applications de Prolog

Participants : Olivier Ridoux, Igor Stéphan

Nous utilisons l'implémentation de Prolog à des applications les plus variées possibles. L'objectif est d'explorer les possibilités du langage et de son implémentation. Ceci nécessite un investissement important pour la compréhension des domaines d'application. Nous nous sommes focalisés en 1995 sur deux applications principales :

• Analyse de la langue naturelle : La forme des clauses de Prolog convient particulièrement au codage direct des règles grammaticales établissant des liens à distance par des formules logiques. L'interprétation intuitioniste des connecteurs joue alors un rôle fondamental [5]. Sur le plan sémantique, les -termes simplement typés qu'offre Prolog permettent un codage direct de la sémantique des phrases lues. Ce travail s'effectue en collaboration avec Solange Coupet-Grimal du Laboratoire d'Informatique de Marseille.
• Reconnaissance de partitions musicales: Les partitions musicales sont des documents complexes mais fortement structurés par des règles de cohérence interne. C'est le type même de documents dont la lecture nécessite de faire collaborer un niveau d'analyse d'image (segmentation, etc.) et un niveau d'analyse symbolique (structure de la notation musicale). Nous avons mis en oeuvre ces deux niveaux en utilisant des outils conçus indépendamment et dans des langages différents. La partie symbolique est modélisée par une grammaire bidimensionnelle qui se code en Prolog par une extension du système de grammaires héréditaires de Harrop (HHG) conçu dans le projet. Cette application est développée en collaboration avec Bertrand Coüasnon du projet Imadoc et Pascal Brisset de l'École Nationale de l'Aviation Civile.