Étude et extension du procédé @L-is pour la vérification et l'enrichissement automatiques de glossaires formels

Abstract

La représentation des connaissances (« Knowledge Representation ») est un domaine de recherche qui a connu son essor dans les années 70 et 80 et qui est aujourd'hui le sujet de nombreux efforts de recherche. Plusieurs langages et méthodologies ont été inventés, utilisant divers paradigmes (programmation logique, réseaux sémantiques, etc.) et approchant des problèmes différents (connaissances terminologiques, connaissances subjectives, connaissances incomplètes ou incertaines, etc.). L'une de ces méthodologies, le procédé @L-is, a été inventée dans les années 2000 par M. Philippe Michelin, président de la compagnie ¥bis inc., afin de résoudre la problématique de la connaissance et de la compréhension des mots d'un langage. Doté d'un langage, d'un interpréteur et d'une méthode d'utilisation bien définie, ce procédé est en constante évolution tandis qu'iEbis repousse sans cesse ses limites. C'est dans ce contexte que s'inscrit le présent projet de recherche. L'objectif de nos recherches était d'analyser les composantes du procédé @L-is afin de trouver de nouveaux mécanismes de validation et d'enrichissement de glossaires @L-is. À cette fin, le recours au logiciel d'assistance à la preuve Coq s'est révélé être une mauvaise piste. C'est plutôt l'extension des algorithmes de l'interpréteur @L-is qui ont permis de mieux utiliser les propriétés du langage @L-is et d'augmenter son expressivité dans le contexte de manipulations par un ordinateur.