Show simple document record

dc.contributor.advisorFrappier, Marcfr
dc.contributor.authorBargiel, Maximfr
dc.date.accessioned2014-05-16T15:36:30Z
dc.date.available2014-05-16T15:36:30Z
dc.date.created2009fr
dc.date.issued2009fr
dc.identifier.urihttp://savoirs.usherbrooke.ca/handle/11143/4845
dc.description.abstractLa 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.fr
dc.language.isofrefr
dc.publisherUniversité de Sherbrookefr
dc.rights© Maxime Bargielfr
dc.titleÉtude et extension du procédé @L-is pour la vérification et l'enrichissement automatiques de glossaires formelsfr
dc.typeMémoirefr
tme.degree.disciplineInformatiquefr
tme.degree.grantorFaculté des sciencesfr
tme.degree.levelMaîtrisefr
tme.degree.nameM. Sc.fr


Files in this document

Thumbnail

This document appears in the following Collection(s)

Show simple document record